aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--circuits/full-adder.txt34
-rw-r--r--circuits/not-chain.txt2007
-rw-r--r--circuits/rej_feedback.txt22
-rw-r--r--circuits/rej_unconnected.txt16
4 files changed, 2079 insertions, 0 deletions
diff --git a/circuits/full-adder.txt b/circuits/full-adder.txt
new file mode 100644
index 0000000..d0c3854
--- /dev/null
+++ b/circuits/full-adder.txt
@@ -0,0 +1,34 @@
+# full adder circuit
+# vim:ft=cfg
+A: INPUT_HIGH;
+B: INPUT_HIGH;
+Cin: INPUT_LOW;
+Cout: PROBE;
+S: PROBE;
+NODE1: OR;
+NODE2: AND;
+NODE3: AND;
+NODE4: NOT;
+NODE5: AND;
+NODE6: OR;
+NODE7: NOT;
+NODE8: NOT;
+NODE9: AND;
+NODE10: AND;
+NODE11: OR;
+
+Cin: NODE3,NODE7,NODE10;
+A: NODE1,NODE2;
+B: NODE1,NODE2;
+NODE1: NODE3,NODE5;
+NODE2: NODE4,NODE6;
+NODE3: NODE6;
+NODE4: NODE5;
+NODE5: NODE8,NODE9;
+NODE6: Cout;
+NODE7: NODE9;
+NODE8: NODE10;
+NODE9: NODE11;
+NODE10: NODE11;
+NODE11: S;
+
diff --git a/circuits/not-chain.txt b/circuits/not-chain.txt
new file mode 100644
index 0000000..b7064c4
--- /dev/null
+++ b/circuits/not-chain.txt
@@ -0,0 +1,2007 @@
+# 1000 chained not-gates
+# vim:ft=cfg
+A: INPUT_HIGH;
+NODE0: NOT;
+NODE1: NOT;
+NODE2: NOT;
+NODE3: NOT;
+NODE4: NOT;
+NODE5: NOT;
+NODE6: NOT;
+NODE7: NOT;
+NODE8: NOT;
+NODE9: NOT;
+NODE10: NOT;
+NODE11: NOT;
+NODE12: NOT;
+NODE13: NOT;
+NODE14: NOT;
+NODE15: NOT;
+NODE16: NOT;
+NODE17: NOT;
+NODE18: NOT;
+NODE19: NOT;
+NODE20: NOT;
+NODE21: NOT;
+NODE22: NOT;
+NODE23: NOT;
+NODE24: NOT;
+NODE25: NOT;
+NODE26: NOT;
+NODE27: NOT;
+NODE28: NOT;
+NODE29: NOT;
+NODE30: NOT;
+NODE31: NOT;
+NODE32: NOT;
+NODE33: NOT;
+NODE34: NOT;
+NODE35: NOT;
+NODE36: NOT;
+NODE37: NOT;
+NODE38: NOT;
+NODE39: NOT;
+NODE40: NOT;
+NODE41: NOT;
+NODE42: NOT;
+NODE43: NOT;
+NODE44: NOT;
+NODE45: NOT;
+NODE46: NOT;
+NODE47: NOT;
+NODE48: NOT;
+NODE49: NOT;
+NODE50: NOT;
+NODE51: NOT;
+NODE52: NOT;
+NODE53: NOT;
+NODE54: NOT;
+NODE55: NOT;
+NODE56: NOT;
+NODE57: NOT;
+NODE58: NOT;
+NODE59: NOT;
+NODE60: NOT;
+NODE61: NOT;
+NODE62: NOT;
+NODE63: NOT;
+NODE64: NOT;
+NODE65: NOT;
+NODE66: NOT;
+NODE67: NOT;
+NODE68: NOT;
+NODE69: NOT;
+NODE70: NOT;
+NODE71: NOT;
+NODE72: NOT;
+NODE73: NOT;
+NODE74: NOT;
+NODE75: NOT;
+NODE76: NOT;
+NODE77: NOT;
+NODE78: NOT;
+NODE79: NOT;
+NODE80: NOT;
+NODE81: NOT;
+NODE82: NOT;
+NODE83: NOT;
+NODE84: NOT;
+NODE85: NOT;
+NODE86: NOT;
+NODE87: NOT;
+NODE88: NOT;
+NODE89: NOT;
+NODE90: NOT;
+NODE91: NOT;
+NODE92: NOT;
+NODE93: NOT;
+NODE94: NOT;
+NODE95: NOT;
+NODE96: NOT;
+NODE97: NOT;
+NODE98: NOT;
+NODE99: NOT;
+NODE100: NOT;
+NODE101: NOT;
+NODE102: NOT;
+NODE103: NOT;
+NODE104: NOT;
+NODE105: NOT;
+NODE106: NOT;
+NODE107: NOT;
+NODE108: NOT;
+NODE109: NOT;
+NODE110: NOT;
+NODE111: NOT;
+NODE112: NOT;
+NODE113: NOT;
+NODE114: NOT;
+NODE115: NOT;
+NODE116: NOT;
+NODE117: NOT;
+NODE118: NOT;
+NODE119: NOT;
+NODE120: NOT;
+NODE121: NOT;
+NODE122: NOT;
+NODE123: NOT;
+NODE124: NOT;
+NODE125: NOT;
+NODE126: NOT;
+NODE127: NOT;
+NODE128: NOT;
+NODE129: NOT;
+NODE130: NOT;
+NODE131: NOT;
+NODE132: NOT;
+NODE133: NOT;
+NODE134: NOT;
+NODE135: NOT;
+NODE136: NOT;
+NODE137: NOT;
+NODE138: NOT;
+NODE139: NOT;
+NODE140: NOT;
+NODE141: NOT;
+NODE142: NOT;
+NODE143: NOT;
+NODE144: NOT;
+NODE145: NOT;
+NODE146: NOT;
+NODE147: NOT;
+NODE148: NOT;
+NODE149: NOT;
+NODE150: NOT;
+NODE151: NOT;
+NODE152: NOT;
+NODE153: NOT;
+NODE154: NOT;
+NODE155: NOT;
+NODE156: NOT;
+NODE157: NOT;
+NODE158: NOT;
+NODE159: NOT;
+NODE160: NOT;
+NODE161: NOT;
+NODE162: NOT;
+NODE163: NOT;
+NODE164: NOT;
+NODE165: NOT;
+NODE166: NOT;
+NODE167: NOT;
+NODE168: NOT;
+NODE169: NOT;
+NODE170: NOT;
+NODE171: NOT;
+NODE172: NOT;
+NODE173: NOT;
+NODE174: NOT;
+NODE175: NOT;
+NODE176: NOT;
+NODE177: NOT;
+NODE178: NOT;
+NODE179: NOT;
+NODE180: NOT;
+NODE181: NOT;
+NODE182: NOT;
+NODE183: NOT;
+NODE184: NOT;
+NODE185: NOT;
+NODE186: NOT;
+NODE187: NOT;
+NODE188: NOT;
+NODE189: NOT;
+NODE190: NOT;
+NODE191: NOT;
+NODE192: NOT;
+NODE193: NOT;
+NODE194: NOT;
+NODE195: NOT;
+NODE196: NOT;
+NODE197: NOT;
+NODE198: NOT;
+NODE199: NOT;
+NODE200: NOT;
+NODE201: NOT;
+NODE202: NOT;
+NODE203: NOT;
+NODE204: NOT;
+NODE205: NOT;
+NODE206: NOT;
+NODE207: NOT;
+NODE208: NOT;
+NODE209: NOT;
+NODE210: NOT;
+NODE211: NOT;
+NODE212: NOT;
+NODE213: NOT;
+NODE214: NOT;
+NODE215: NOT;
+NODE216: NOT;
+NODE217: NOT;
+NODE218: NOT;
+NODE219: NOT;
+NODE220: NOT;
+NODE221: NOT;
+NODE222: NOT;
+NODE223: NOT;
+NODE224: NOT;
+NODE225: NOT;
+NODE226: NOT;
+NODE227: NOT;
+NODE228: NOT;
+NODE229: NOT;
+NODE230: NOT;
+NODE231: NOT;
+NODE232: NOT;
+NODE233: NOT;
+NODE234: NOT;
+NODE235: NOT;
+NODE236: NOT;
+NODE237: NOT;
+NODE238: NOT;
+NODE239: NOT;
+NODE240: NOT;
+NODE241: NOT;
+NODE242: NOT;
+NODE243: NOT;
+NODE244: NOT;
+NODE245: NOT;
+NODE246: NOT;
+NODE247: NOT;
+NODE248: NOT;
+NODE249: NOT;
+NODE250: NOT;
+NODE251: NOT;
+NODE252: NOT;
+NODE253: NOT;
+NODE254: NOT;
+NODE255: NOT;
+NODE256: NOT;
+NODE257: NOT;
+NODE258: NOT;
+NODE259: NOT;
+NODE260: NOT;
+NODE261: NOT;
+NODE262: NOT;
+NODE263: NOT;
+NODE264: NOT;
+NODE265: NOT;
+NODE266: NOT;
+NODE267: NOT;
+NODE268: NOT;
+NODE269: NOT;
+NODE270: NOT;
+NODE271: NOT;
+NODE272: NOT;
+NODE273: NOT;
+NODE274: NOT;
+NODE275: NOT;
+NODE276: NOT;
+NODE277: NOT;
+NODE278: NOT;
+NODE279: NOT;
+NODE280: NOT;
+NODE281: NOT;
+NODE282: NOT;
+NODE283: NOT;
+NODE284: NOT;
+NODE285: NOT;
+NODE286: NOT;
+NODE287: NOT;
+NODE288: NOT;
+NODE289: NOT;
+NODE290: NOT;
+NODE291: NOT;
+NODE292: NOT;
+NODE293: NOT;
+NODE294: NOT;
+NODE295: NOT;
+NODE296: NOT;
+NODE297: NOT;
+NODE298: NOT;
+NODE299: NOT;
+NODE300: NOT;
+NODE301: NOT;
+NODE302: NOT;
+NODE303: NOT;
+NODE304: NOT;
+NODE305: NOT;
+NODE306: NOT;
+NODE307: NOT;
+NODE308: NOT;
+NODE309: NOT;
+NODE310: NOT;
+NODE311: NOT;
+NODE312: NOT;
+NODE313: NOT;
+NODE314: NOT;
+NODE315: NOT;
+NODE316: NOT;
+NODE317: NOT;
+NODE318: NOT;
+NODE319: NOT;
+NODE320: NOT;
+NODE321: NOT;
+NODE322: NOT;
+NODE323: NOT;
+NODE324: NOT;
+NODE325: NOT;
+NODE326: NOT;
+NODE327: NOT;
+NODE328: NOT;
+NODE329: NOT;
+NODE330: NOT;
+NODE331: NOT;
+NODE332: NOT;
+NODE333: NOT;
+NODE334: NOT;
+NODE335: NOT;
+NODE336: NOT;
+NODE337: NOT;
+NODE338: NOT;
+NODE339: NOT;
+NODE340: NOT;
+NODE341: NOT;
+NODE342: NOT;
+NODE343: NOT;
+NODE344: NOT;
+NODE345: NOT;
+NODE346: NOT;
+NODE347: NOT;
+NODE348: NOT;
+NODE349: NOT;
+NODE350: NOT;
+NODE351: NOT;
+NODE352: NOT;
+NODE353: NOT;
+NODE354: NOT;
+NODE355: NOT;
+NODE356: NOT;
+NODE357: NOT;
+NODE358: NOT;
+NODE359: NOT;
+NODE360: NOT;
+NODE361: NOT;
+NODE362: NOT;
+NODE363: NOT;
+NODE364: NOT;
+NODE365: NOT;
+NODE366: NOT;
+NODE367: NOT;
+NODE368: NOT;
+NODE369: NOT;
+NODE370: NOT;
+NODE371: NOT;
+NODE372: NOT;
+NODE373: NOT;
+NODE374: NOT;
+NODE375: NOT;
+NODE376: NOT;
+NODE377: NOT;
+NODE378: NOT;
+NODE379: NOT;
+NODE380: NOT;
+NODE381: NOT;
+NODE382: NOT;
+NODE383: NOT;
+NODE384: NOT;
+NODE385: NOT;
+NODE386: NOT;
+NODE387: NOT;
+NODE388: NOT;
+NODE389: NOT;
+NODE390: NOT;
+NODE391: NOT;
+NODE392: NOT;
+NODE393: NOT;
+NODE394: NOT;
+NODE395: NOT;
+NODE396: NOT;
+NODE397: NOT;
+NODE398: NOT;
+NODE399: NOT;
+NODE400: NOT;
+NODE401: NOT;
+NODE402: NOT;
+NODE403: NOT;
+NODE404: NOT;
+NODE405: NOT;
+NODE406: NOT;
+NODE407: NOT;
+NODE408: NOT;
+NODE409: NOT;
+NODE410: NOT;
+NODE411: NOT;
+NODE412: NOT;
+NODE413: NOT;
+NODE414: NOT;
+NODE415: NOT;
+NODE416: NOT;
+NODE417: NOT;
+NODE418: NOT;
+NODE419: NOT;
+NODE420: NOT;
+NODE421: NOT;
+NODE422: NOT;
+NODE423: NOT;
+NODE424: NOT;
+NODE425: NOT;
+NODE426: NOT;
+NODE427: NOT;
+NODE428: NOT;
+NODE429: NOT;
+NODE430: NOT;
+NODE431: NOT;
+NODE432: NOT;
+NODE433: NOT;
+NODE434: NOT;
+NODE435: NOT;
+NODE436: NOT;
+NODE437: NOT;
+NODE438: NOT;
+NODE439: NOT;
+NODE440: NOT;
+NODE441: NOT;
+NODE442: NOT;
+NODE443: NOT;
+NODE444: NOT;
+NODE445: NOT;
+NODE446: NOT;
+NODE447: NOT;
+NODE448: NOT;
+NODE449: NOT;
+NODE450: NOT;
+NODE451: NOT;
+NODE452: NOT;
+NODE453: NOT;
+NODE454: NOT;
+NODE455: NOT;
+NODE456: NOT;
+NODE457: NOT;
+NODE458: NOT;
+NODE459: NOT;
+NODE460: NOT;
+NODE461: NOT;
+NODE462: NOT;
+NODE463: NOT;
+NODE464: NOT;
+NODE465: NOT;
+NODE466: NOT;
+NODE467: NOT;
+NODE468: NOT;
+NODE469: NOT;
+NODE470: NOT;
+NODE471: NOT;
+NODE472: NOT;
+NODE473: NOT;
+NODE474: NOT;
+NODE475: NOT;
+NODE476: NOT;
+NODE477: NOT;
+NODE478: NOT;
+NODE479: NOT;
+NODE480: NOT;
+NODE481: NOT;
+NODE482: NOT;
+NODE483: NOT;
+NODE484: NOT;
+NODE485: NOT;
+NODE486: NOT;
+NODE487: NOT;
+NODE488: NOT;
+NODE489: NOT;
+NODE490: NOT;
+NODE491: NOT;
+NODE492: NOT;
+NODE493: NOT;
+NODE494: NOT;
+NODE495: NOT;
+NODE496: NOT;
+NODE497: NOT;
+NODE498: NOT;
+NODE499: NOT;
+NODE500: NOT;
+NODE501: NOT;
+NODE502: NOT;
+NODE503: NOT;
+NODE504: NOT;
+NODE505: NOT;
+NODE506: NOT;
+NODE507: NOT;
+NODE508: NOT;
+NODE509: NOT;
+NODE510: NOT;
+NODE511: NOT;
+NODE512: NOT;
+NODE513: NOT;
+NODE514: NOT;
+NODE515: NOT;
+NODE516: NOT;
+NODE517: NOT;
+NODE518: NOT;
+NODE519: NOT;
+NODE520: NOT;
+NODE521: NOT;
+NODE522: NOT;
+NODE523: NOT;
+NODE524: NOT;
+NODE525: NOT;
+NODE526: NOT;
+NODE527: NOT;
+NODE528: NOT;
+NODE529: NOT;
+NODE530: NOT;
+NODE531: NOT;
+NODE532: NOT;
+NODE533: NOT;
+NODE534: NOT;
+NODE535: NOT;
+NODE536: NOT;
+NODE537: NOT;
+NODE538: NOT;
+NODE539: NOT;
+NODE540: NOT;
+NODE541: NOT;
+NODE542: NOT;
+NODE543: NOT;
+NODE544: NOT;
+NODE545: NOT;
+NODE546: NOT;
+NODE547: NOT;
+NODE548: NOT;
+NODE549: NOT;
+NODE550: NOT;
+NODE551: NOT;
+NODE552: NOT;
+NODE553: NOT;
+NODE554: NOT;
+NODE555: NOT;
+NODE556: NOT;
+NODE557: NOT;
+NODE558: NOT;
+NODE559: NOT;
+NODE560: NOT;
+NODE561: NOT;
+NODE562: NOT;
+NODE563: NOT;
+NODE564: NOT;
+NODE565: NOT;
+NODE566: NOT;
+NODE567: NOT;
+NODE568: NOT;
+NODE569: NOT;
+NODE570: NOT;
+NODE571: NOT;
+NODE572: NOT;
+NODE573: NOT;
+NODE574: NOT;
+NODE575: NOT;
+NODE576: NOT;
+NODE577: NOT;
+NODE578: NOT;
+NODE579: NOT;
+NODE580: NOT;
+NODE581: NOT;
+NODE582: NOT;
+NODE583: NOT;
+NODE584: NOT;
+NODE585: NOT;
+NODE586: NOT;
+NODE587: NOT;
+NODE588: NOT;
+NODE589: NOT;
+NODE590: NOT;
+NODE591: NOT;
+NODE592: NOT;
+NODE593: NOT;
+NODE594: NOT;
+NODE595: NOT;
+NODE596: NOT;
+NODE597: NOT;
+NODE598: NOT;
+NODE599: NOT;
+NODE600: NOT;
+NODE601: NOT;
+NODE602: NOT;
+NODE603: NOT;
+NODE604: NOT;
+NODE605: NOT;
+NODE606: NOT;
+NODE607: NOT;
+NODE608: NOT;
+NODE609: NOT;
+NODE610: NOT;
+NODE611: NOT;
+NODE612: NOT;
+NODE613: NOT;
+NODE614: NOT;
+NODE615: NOT;
+NODE616: NOT;
+NODE617: NOT;
+NODE618: NOT;
+NODE619: NOT;
+NODE620: NOT;
+NODE621: NOT;
+NODE622: NOT;
+NODE623: NOT;
+NODE624: NOT;
+NODE625: NOT;
+NODE626: NOT;
+NODE627: NOT;
+NODE628: NOT;
+NODE629: NOT;
+NODE630: NOT;
+NODE631: NOT;
+NODE632: NOT;
+NODE633: NOT;
+NODE634: NOT;
+NODE635: NOT;
+NODE636: NOT;
+NODE637: NOT;
+NODE638: NOT;
+NODE639: NOT;
+NODE640: NOT;
+NODE641: NOT;
+NODE642: NOT;
+NODE643: NOT;
+NODE644: NOT;
+NODE645: NOT;
+NODE646: NOT;
+NODE647: NOT;
+NODE648: NOT;
+NODE649: NOT;
+NODE650: NOT;
+NODE651: NOT;
+NODE652: NOT;
+NODE653: NOT;
+NODE654: NOT;
+NODE655: NOT;
+NODE656: NOT;
+NODE657: NOT;
+NODE658: NOT;
+NODE659: NOT;
+NODE660: NOT;
+NODE661: NOT;
+NODE662: NOT;
+NODE663: NOT;
+NODE664: NOT;
+NODE665: NOT;
+NODE666: NOT;
+NODE667: NOT;
+NODE668: NOT;
+NODE669: NOT;
+NODE670: NOT;
+NODE671: NOT;
+NODE672: NOT;
+NODE673: NOT;
+NODE674: NOT;
+NODE675: NOT;
+NODE676: NOT;
+NODE677: NOT;
+NODE678: NOT;
+NODE679: NOT;
+NODE680: NOT;
+NODE681: NOT;
+NODE682: NOT;
+NODE683: NOT;
+NODE684: NOT;
+NODE685: NOT;
+NODE686: NOT;
+NODE687: NOT;
+NODE688: NOT;
+NODE689: NOT;
+NODE690: NOT;
+NODE691: NOT;
+NODE692: NOT;
+NODE693: NOT;
+NODE694: NOT;
+NODE695: NOT;
+NODE696: NOT;
+NODE697: NOT;
+NODE698: NOT;
+NODE699: NOT;
+NODE700: NOT;
+NODE701: NOT;
+NODE702: NOT;
+NODE703: NOT;
+NODE704: NOT;
+NODE705: NOT;
+NODE706: NOT;
+NODE707: NOT;
+NODE708: NOT;
+NODE709: NOT;
+NODE710: NOT;
+NODE711: NOT;
+NODE712: NOT;
+NODE713: NOT;
+NODE714: NOT;
+NODE715: NOT;
+NODE716: NOT;
+NODE717: NOT;
+NODE718: NOT;
+NODE719: NOT;
+NODE720: NOT;
+NODE721: NOT;
+NODE722: NOT;
+NODE723: NOT;
+NODE724: NOT;
+NODE725: NOT;
+NODE726: NOT;
+NODE727: NOT;
+NODE728: NOT;
+NODE729: NOT;
+NODE730: NOT;
+NODE731: NOT;
+NODE732: NOT;
+NODE733: NOT;
+NODE734: NOT;
+NODE735: NOT;
+NODE736: NOT;
+NODE737: NOT;
+NODE738: NOT;
+NODE739: NOT;
+NODE740: NOT;
+NODE741: NOT;
+NODE742: NOT;
+NODE743: NOT;
+NODE744: NOT;
+NODE745: NOT;
+NODE746: NOT;
+NODE747: NOT;
+NODE748: NOT;
+NODE749: NOT;
+NODE750: NOT;
+NODE751: NOT;
+NODE752: NOT;
+NODE753: NOT;
+NODE754: NOT;
+NODE755: NOT;
+NODE756: NOT;
+NODE757: NOT;
+NODE758: NOT;
+NODE759: NOT;
+NODE760: NOT;
+NODE761: NOT;
+NODE762: NOT;
+NODE763: NOT;
+NODE764: NOT;
+NODE765: NOT;
+NODE766: NOT;
+NODE767: NOT;
+NODE768: NOT;
+NODE769: NOT;
+NODE770: NOT;
+NODE771: NOT;
+NODE772: NOT;
+NODE773: NOT;
+NODE774: NOT;
+NODE775: NOT;
+NODE776: NOT;
+NODE777: NOT;
+NODE778: NOT;
+NODE779: NOT;
+NODE780: NOT;
+NODE781: NOT;
+NODE782: NOT;
+NODE783: NOT;
+NODE784: NOT;
+NODE785: NOT;
+NODE786: NOT;
+NODE787: NOT;
+NODE788: NOT;
+NODE789: NOT;
+NODE790: NOT;
+NODE791: NOT;
+NODE792: NOT;
+NODE793: NOT;
+NODE794: NOT;
+NODE795: NOT;
+NODE796: NOT;
+NODE797: NOT;
+NODE798: NOT;
+NODE799: NOT;
+NODE800: NOT;
+NODE801: NOT;
+NODE802: NOT;
+NODE803: NOT;
+NODE804: NOT;
+NODE805: NOT;
+NODE806: NOT;
+NODE807: NOT;
+NODE808: NOT;
+NODE809: NOT;
+NODE810: NOT;
+NODE811: NOT;
+NODE812: NOT;
+NODE813: NOT;
+NODE814: NOT;
+NODE815: NOT;
+NODE816: NOT;
+NODE817: NOT;
+NODE818: NOT;
+NODE819: NOT;
+NODE820: NOT;
+NODE821: NOT;
+NODE822: NOT;
+NODE823: NOT;
+NODE824: NOT;
+NODE825: NOT;
+NODE826: NOT;
+NODE827: NOT;
+NODE828: NOT;
+NODE829: NOT;
+NODE830: NOT;
+NODE831: NOT;
+NODE832: NOT;
+NODE833: NOT;
+NODE834: NOT;
+NODE835: NOT;
+NODE836: NOT;
+NODE837: NOT;
+NODE838: NOT;
+NODE839: NOT;
+NODE840: NOT;
+NODE841: NOT;
+NODE842: NOT;
+NODE843: NOT;
+NODE844: NOT;
+NODE845: NOT;
+NODE846: NOT;
+NODE847: NOT;
+NODE848: NOT;
+NODE849: NOT;
+NODE850: NOT;
+NODE851: NOT;
+NODE852: NOT;
+NODE853: NOT;
+NODE854: NOT;
+NODE855: NOT;
+NODE856: NOT;
+NODE857: NOT;
+NODE858: NOT;
+NODE859: NOT;
+NODE860: NOT;
+NODE861: NOT;
+NODE862: NOT;
+NODE863: NOT;
+NODE864: NOT;
+NODE865: NOT;
+NODE866: NOT;
+NODE867: NOT;
+NODE868: NOT;
+NODE869: NOT;
+NODE870: NOT;
+NODE871: NOT;
+NODE872: NOT;
+NODE873: NOT;
+NODE874: NOT;
+NODE875: NOT;
+NODE876: NOT;
+NODE877: NOT;
+NODE878: NOT;
+NODE879: NOT;
+NODE880: NOT;
+NODE881: NOT;
+NODE882: NOT;
+NODE883: NOT;
+NODE884: NOT;
+NODE885: NOT;
+NODE886: NOT;
+NODE887: NOT;
+NODE888: NOT;
+NODE889: NOT;
+NODE890: NOT;
+NODE891: NOT;
+NODE892: NOT;
+NODE893: NOT;
+NODE894: NOT;
+NODE895: NOT;
+NODE896: NOT;
+NODE897: NOT;
+NODE898: NOT;
+NODE899: NOT;
+NODE900: NOT;
+NODE901: NOT;
+NODE902: NOT;
+NODE903: NOT;
+NODE904: NOT;
+NODE905: NOT;
+NODE906: NOT;
+NODE907: NOT;
+NODE908: NOT;
+NODE909: NOT;
+NODE910: NOT;
+NODE911: NOT;
+NODE912: NOT;
+NODE913: NOT;
+NODE914: NOT;
+NODE915: NOT;
+NODE916: NOT;
+NODE917: NOT;
+NODE918: NOT;
+NODE919: NOT;
+NODE920: NOT;
+NODE921: NOT;
+NODE922: NOT;
+NODE923: NOT;
+NODE924: NOT;
+NODE925: NOT;
+NODE926: NOT;
+NODE927: NOT;
+NODE928: NOT;
+NODE929: NOT;
+NODE930: NOT;
+NODE931: NOT;
+NODE932: NOT;
+NODE933: NOT;
+NODE934: NOT;
+NODE935: NOT;
+NODE936: NOT;
+NODE937: NOT;
+NODE938: NOT;
+NODE939: NOT;
+NODE940: NOT;
+NODE941: NOT;
+NODE942: NOT;
+NODE943: NOT;
+NODE944: NOT;
+NODE945: NOT;
+NODE946: NOT;
+NODE947: NOT;
+NODE948: NOT;
+NODE949: NOT;
+NODE950: NOT;
+NODE951: NOT;
+NODE952: NOT;
+NODE953: NOT;
+NODE954: NOT;
+NODE955: NOT;
+NODE956: NOT;
+NODE957: NOT;
+NODE958: NOT;
+NODE959: NOT;
+NODE960: NOT;
+NODE961: NOT;
+NODE962: NOT;
+NODE963: NOT;
+NODE964: NOT;
+NODE965: NOT;
+NODE966: NOT;
+NODE967: NOT;
+NODE968: NOT;
+NODE969: NOT;
+NODE970: NOT;
+NODE971: NOT;
+NODE972: NOT;
+NODE973: NOT;
+NODE974: NOT;
+NODE975: NOT;
+NODE976: NOT;
+NODE977: NOT;
+NODE978: NOT;
+NODE979: NOT;
+NODE980: NOT;
+NODE981: NOT;
+NODE982: NOT;
+NODE983: NOT;
+NODE984: NOT;
+NODE985: NOT;
+NODE986: NOT;
+NODE987: NOT;
+NODE988: NOT;
+NODE989: NOT;
+NODE990: NOT;
+NODE991: NOT;
+NODE992: NOT;
+NODE993: NOT;
+NODE994: NOT;
+NODE995: NOT;
+NODE996: NOT;
+NODE997: NOT;
+NODE998: NOT;
+NODE999: NOT;
+F: PROBE;
+
+A: NODE0;
+NODE0: NODE1;
+NODE1: NODE2;
+NODE2: NODE3;
+NODE3: NODE4;
+NODE4: NODE5;
+NODE5: NODE6;
+NODE6: NODE7;
+NODE7: NODE8;
+NODE8: NODE9;
+NODE9: NODE10;
+NODE10: NODE11;
+NODE11: NODE12;
+NODE12: NODE13;
+NODE13: NODE14;
+NODE14: NODE15;
+NODE15: NODE16;
+NODE16: NODE17;
+NODE17: NODE18;
+NODE18: NODE19;
+NODE19: NODE20;
+NODE20: NODE21;
+NODE21: NODE22;
+NODE22: NODE23;
+NODE23: NODE24;
+NODE24: NODE25;
+NODE25: NODE26;
+NODE26: NODE27;
+NODE27: NODE28;
+NODE28: NODE29;
+NODE29: NODE30;
+NODE30: NODE31;
+NODE31: NODE32;
+NODE32: NODE33;
+NODE33: NODE34;
+NODE34: NODE35;
+NODE35: NODE36;
+NODE36: NODE37;
+NODE37: NODE38;
+NODE38: NODE39;
+NODE39: NODE40;
+NODE40: NODE41;
+NODE41: NODE42;
+NODE42: NODE43;
+NODE43: NODE44;
+NODE44: NODE45;
+NODE45: NODE46;
+NODE46: NODE47;
+NODE47: NODE48;
+NODE48: NODE49;
+NODE49: NODE50;
+NODE50: NODE51;
+NODE51: NODE52;
+NODE52: NODE53;
+NODE53: NODE54;
+NODE54: NODE55;
+NODE55: NODE56;
+NODE56: NODE57;
+NODE57: NODE58;
+NODE58: NODE59;
+NODE59: NODE60;
+NODE60: NODE61;
+NODE61: NODE62;
+NODE62: NODE63;
+NODE63: NODE64;
+NODE64: NODE65;
+NODE65: NODE66;
+NODE66: NODE67;
+NODE67: NODE68;
+NODE68: NODE69;
+NODE69: NODE70;
+NODE70: NODE71;
+NODE71: NODE72;
+NODE72: NODE73;
+NODE73: NODE74;
+NODE74: NODE75;
+NODE75: NODE76;
+NODE76: NODE77;
+NODE77: NODE78;
+NODE78: NODE79;
+NODE79: NODE80;
+NODE80: NODE81;
+NODE81: NODE82;
+NODE82: NODE83;
+NODE83: NODE84;
+NODE84: NODE85;
+NODE85: NODE86;
+NODE86: NODE87;
+NODE87: NODE88;
+NODE88: NODE89;
+NODE89: NODE90;
+NODE90: NODE91;
+NODE91: NODE92;
+NODE92: NODE93;
+NODE93: NODE94;
+NODE94: NODE95;
+NODE95: NODE96;
+NODE96: NODE97;
+NODE97: NODE98;
+NODE98: NODE99;
+NODE99: NODE100;
+NODE100: NODE101;
+NODE101: NODE102;
+NODE102: NODE103;
+NODE103: NODE104;
+NODE104: NODE105;
+NODE105: NODE106;
+NODE106: NODE107;
+NODE107: NODE108;
+NODE108: NODE109;
+NODE109: NODE110;
+NODE110: NODE111;
+NODE111: NODE112;
+NODE112: NODE113;
+NODE113: NODE114;
+NODE114: NODE115;
+NODE115: NODE116;
+NODE116: NODE117;
+NODE117: NODE118;
+NODE118: NODE119;
+NODE119: NODE120;
+NODE120: NODE121;
+NODE121: NODE122;
+NODE122: NODE123;
+NODE123: NODE124;
+NODE124: NODE125;
+NODE125: NODE126;
+NODE126: NODE127;
+NODE127: NODE128;
+NODE128: NODE129;
+NODE129: NODE130;
+NODE130: NODE131;
+NODE131: NODE132;
+NODE132: NODE133;
+NODE133: NODE134;
+NODE134: NODE135;
+NODE135: NODE136;
+NODE136: NODE137;
+NODE137: NODE138;
+NODE138: NODE139;
+NODE139: NODE140;
+NODE140: NODE141;
+NODE141: NODE142;
+NODE142: NODE143;
+NODE143: NODE144;
+NODE144: NODE145;
+NODE145: NODE146;
+NODE146: NODE147;
+NODE147: NODE148;
+NODE148: NODE149;
+NODE149: NODE150;
+NODE150: NODE151;
+NODE151: NODE152;
+NODE152: NODE153;
+NODE153: NODE154;
+NODE154: NODE155;
+NODE155: NODE156;
+NODE156: NODE157;
+NODE157: NODE158;
+NODE158: NODE159;
+NODE159: NODE160;
+NODE160: NODE161;
+NODE161: NODE162;
+NODE162: NODE163;
+NODE163: NODE164;
+NODE164: NODE165;
+NODE165: NODE166;
+NODE166: NODE167;
+NODE167: NODE168;
+NODE168: NODE169;
+NODE169: NODE170;
+NODE170: NODE171;
+NODE171: NODE172;
+NODE172: NODE173;
+NODE173: NODE174;
+NODE174: NODE175;
+NODE175: NODE176;
+NODE176: NODE177;
+NODE177: NODE178;
+NODE178: NODE179;
+NODE179: NODE180;
+NODE180: NODE181;
+NODE181: NODE182;
+NODE182: NODE183;
+NODE183: NODE184;
+NODE184: NODE185;
+NODE185: NODE186;
+NODE186: NODE187;
+NODE187: NODE188;
+NODE188: NODE189;
+NODE189: NODE190;
+NODE190: NODE191;
+NODE191: NODE192;
+NODE192: NODE193;
+NODE193: NODE194;
+NODE194: NODE195;
+NODE195: NODE196;
+NODE196: NODE197;
+NODE197: NODE198;
+NODE198: NODE199;
+NODE199: NODE200;
+NODE200: NODE201;
+NODE201: NODE202;
+NODE202: NODE203;
+NODE203: NODE204;
+NODE204: NODE205;
+NODE205: NODE206;
+NODE206: NODE207;
+NODE207: NODE208;
+NODE208: NODE209;
+NODE209: NODE210;
+NODE210: NODE211;
+NODE211: NODE212;
+NODE212: NODE213;
+NODE213: NODE214;
+NODE214: NODE215;
+NODE215: NODE216;
+NODE216: NODE217;
+NODE217: NODE218;
+NODE218: NODE219;
+NODE219: NODE220;
+NODE220: NODE221;
+NODE221: NODE222;
+NODE222: NODE223;
+NODE223: NODE224;
+NODE224: NODE225;
+NODE225: NODE226;
+NODE226: NODE227;
+NODE227: NODE228;
+NODE228: NODE229;
+NODE229: NODE230;
+NODE230: NODE231;
+NODE231: NODE232;
+NODE232: NODE233;
+NODE233: NODE234;
+NODE234: NODE235;
+NODE235: NODE236;
+NODE236: NODE237;
+NODE237: NODE238;
+NODE238: NODE239;
+NODE239: NODE240;
+NODE240: NODE241;
+NODE241: NODE242;
+NODE242: NODE243;
+NODE243: NODE244;
+NODE244: NODE245;
+NODE245: NODE246;
+NODE246: NODE247;
+NODE247: NODE248;
+NODE248: NODE249;
+NODE249: NODE250;
+NODE250: NODE251;
+NODE251: NODE252;
+NODE252: NODE253;
+NODE253: NODE254;
+NODE254: NODE255;
+NODE255: NODE256;
+NODE256: NODE257;
+NODE257: NODE258;
+NODE258: NODE259;
+NODE259: NODE260;
+NODE260: NODE261;
+NODE261: NODE262;
+NODE262: NODE263;
+NODE263: NODE264;
+NODE264: NODE265;
+NODE265: NODE266;
+NODE266: NODE267;
+NODE267: NODE268;
+NODE268: NODE269;
+NODE269: NODE270;
+NODE270: NODE271;
+NODE271: NODE272;
+NODE272: NODE273;
+NODE273: NODE274;
+NODE274: NODE275;
+NODE275: NODE276;
+NODE276: NODE277;
+NODE277: NODE278;
+NODE278: NODE279;
+NODE279: NODE280;
+NODE280: NODE281;
+NODE281: NODE282;
+NODE282: NODE283;
+NODE283: NODE284;
+NODE284: NODE285;
+NODE285: NODE286;
+NODE286: NODE287;
+NODE287: NODE288;
+NODE288: NODE289;
+NODE289: NODE290;
+NODE290: NODE291;
+NODE291: NODE292;
+NODE292: NODE293;
+NODE293: NODE294;
+NODE294: NODE295;
+NODE295: NODE296;
+NODE296: NODE297;
+NODE297: NODE298;
+NODE298: NODE299;
+NODE299: NODE300;
+NODE300: NODE301;
+NODE301: NODE302;
+NODE302: NODE303;
+NODE303: NODE304;
+NODE304: NODE305;
+NODE305: NODE306;
+NODE306: NODE307;
+NODE307: NODE308;
+NODE308: NODE309;
+NODE309: NODE310;
+NODE310: NODE311;
+NODE311: NODE312;
+NODE312: NODE313;
+NODE313: NODE314;
+NODE314: NODE315;
+NODE315: NODE316;
+NODE316: NODE317;
+NODE317: NODE318;
+NODE318: NODE319;
+NODE319: NODE320;
+NODE320: NODE321;
+NODE321: NODE322;
+NODE322: NODE323;
+NODE323: NODE324;
+NODE324: NODE325;
+NODE325: NODE326;
+NODE326: NODE327;
+NODE327: NODE328;
+NODE328: NODE329;
+NODE329: NODE330;
+NODE330: NODE331;
+NODE331: NODE332;
+NODE332: NODE333;
+NODE333: NODE334;
+NODE334: NODE335;
+NODE335: NODE336;
+NODE336: NODE337;
+NODE337: NODE338;
+NODE338: NODE339;
+NODE339: NODE340;
+NODE340: NODE341;
+NODE341: NODE342;
+NODE342: NODE343;
+NODE343: NODE344;
+NODE344: NODE345;
+NODE345: NODE346;
+NODE346: NODE347;
+NODE347: NODE348;
+NODE348: NODE349;
+NODE349: NODE350;
+NODE350: NODE351;
+NODE351: NODE352;
+NODE352: NODE353;
+NODE353: NODE354;
+NODE354: NODE355;
+NODE355: NODE356;
+NODE356: NODE357;
+NODE357: NODE358;
+NODE358: NODE359;
+NODE359: NODE360;
+NODE360: NODE361;
+NODE361: NODE362;
+NODE362: NODE363;
+NODE363: NODE364;
+NODE364: NODE365;
+NODE365: NODE366;
+NODE366: NODE367;
+NODE367: NODE368;
+NODE368: NODE369;
+NODE369: NODE370;
+NODE370: NODE371;
+NODE371: NODE372;
+NODE372: NODE373;
+NODE373: NODE374;
+NODE374: NODE375;
+NODE375: NODE376;
+NODE376: NODE377;
+NODE377: NODE378;
+NODE378: NODE379;
+NODE379: NODE380;
+NODE380: NODE381;
+NODE381: NODE382;
+NODE382: NODE383;
+NODE383: NODE384;
+NODE384: NODE385;
+NODE385: NODE386;
+NODE386: NODE387;
+NODE387: NODE388;
+NODE388: NODE389;
+NODE389: NODE390;
+NODE390: NODE391;
+NODE391: NODE392;
+NODE392: NODE393;
+NODE393: NODE394;
+NODE394: NODE395;
+NODE395: NODE396;
+NODE396: NODE397;
+NODE397: NODE398;
+NODE398: NODE399;
+NODE399: NODE400;
+NODE400: NODE401;
+NODE401: NODE402;
+NODE402: NODE403;
+NODE403: NODE404;
+NODE404: NODE405;
+NODE405: NODE406;
+NODE406: NODE407;
+NODE407: NODE408;
+NODE408: NODE409;
+NODE409: NODE410;
+NODE410: NODE411;
+NODE411: NODE412;
+NODE412: NODE413;
+NODE413: NODE414;
+NODE414: NODE415;
+NODE415: NODE416;
+NODE416: NODE417;
+NODE417: NODE418;
+NODE418: NODE419;
+NODE419: NODE420;
+NODE420: NODE421;
+NODE421: NODE422;
+NODE422: NODE423;
+NODE423: NODE424;
+NODE424: NODE425;
+NODE425: NODE426;
+NODE426: NODE427;
+NODE427: NODE428;
+NODE428: NODE429;
+NODE429: NODE430;
+NODE430: NODE431;
+NODE431: NODE432;
+NODE432: NODE433;
+NODE433: NODE434;
+NODE434: NODE435;
+NODE435: NODE436;
+NODE436: NODE437;
+NODE437: NODE438;
+NODE438: NODE439;
+NODE439: NODE440;
+NODE440: NODE441;
+NODE441: NODE442;
+NODE442: NODE443;
+NODE443: NODE444;
+NODE444: NODE445;
+NODE445: NODE446;
+NODE446: NODE447;
+NODE447: NODE448;
+NODE448: NODE449;
+NODE449: NODE450;
+NODE450: NODE451;
+NODE451: NODE452;
+NODE452: NODE453;
+NODE453: NODE454;
+NODE454: NODE455;
+NODE455: NODE456;
+NODE456: NODE457;
+NODE457: NODE458;
+NODE458: NODE459;
+NODE459: NODE460;
+NODE460: NODE461;
+NODE461: NODE462;
+NODE462: NODE463;
+NODE463: NODE464;
+NODE464: NODE465;
+NODE465: NODE466;
+NODE466: NODE467;
+NODE467: NODE468;
+NODE468: NODE469;
+NODE469: NODE470;
+NODE470: NODE471;
+NODE471: NODE472;
+NODE472: NODE473;
+NODE473: NODE474;
+NODE474: NODE475;
+NODE475: NODE476;
+NODE476: NODE477;
+NODE477: NODE478;
+NODE478: NODE479;
+NODE479: NODE480;
+NODE480: NODE481;
+NODE481: NODE482;
+NODE482: NODE483;
+NODE483: NODE484;
+NODE484: NODE485;
+NODE485: NODE486;
+NODE486: NODE487;
+NODE487: NODE488;
+NODE488: NODE489;
+NODE489: NODE490;
+NODE490: NODE491;
+NODE491: NODE492;
+NODE492: NODE493;
+NODE493: NODE494;
+NODE494: NODE495;
+NODE495: NODE496;
+NODE496: NODE497;
+NODE497: NODE498;
+NODE498: NODE499;
+NODE499: NODE500;
+NODE500: NODE501;
+NODE501: NODE502;
+NODE502: NODE503;
+NODE503: NODE504;
+NODE504: NODE505;
+NODE505: NODE506;
+NODE506: NODE507;
+NODE507: NODE508;
+NODE508: NODE509;
+NODE509: NODE510;
+NODE510: NODE511;
+NODE511: NODE512;
+NODE512: NODE513;
+NODE513: NODE514;
+NODE514: NODE515;
+NODE515: NODE516;
+NODE516: NODE517;
+NODE517: NODE518;
+NODE518: NODE519;
+NODE519: NODE520;
+NODE520: NODE521;
+NODE521: NODE522;
+NODE522: NODE523;
+NODE523: NODE524;
+NODE524: NODE525;
+NODE525: NODE526;
+NODE526: NODE527;
+NODE527: NODE528;
+NODE528: NODE529;
+NODE529: NODE530;
+NODE530: NODE531;
+NODE531: NODE532;
+NODE532: NODE533;
+NODE533: NODE534;
+NODE534: NODE535;
+NODE535: NODE536;
+NODE536: NODE537;
+NODE537: NODE538;
+NODE538: NODE539;
+NODE539: NODE540;
+NODE540: NODE541;
+NODE541: NODE542;
+NODE542: NODE543;
+NODE543: NODE544;
+NODE544: NODE545;
+NODE545: NODE546;
+NODE546: NODE547;
+NODE547: NODE548;
+NODE548: NODE549;
+NODE549: NODE550;
+NODE550: NODE551;
+NODE551: NODE552;
+NODE552: NODE553;
+NODE553: NODE554;
+NODE554: NODE555;
+NODE555: NODE556;
+NODE556: NODE557;
+NODE557: NODE558;
+NODE558: NODE559;
+NODE559: NODE560;
+NODE560: NODE561;
+NODE561: NODE562;
+NODE562: NODE563;
+NODE563: NODE564;
+NODE564: NODE565;
+NODE565: NODE566;
+NODE566: NODE567;
+NODE567: NODE568;
+NODE568: NODE569;
+NODE569: NODE570;
+NODE570: NODE571;
+NODE571: NODE572;
+NODE572: NODE573;
+NODE573: NODE574;
+NODE574: NODE575;
+NODE575: NODE576;
+NODE576: NODE577;
+NODE577: NODE578;
+NODE578: NODE579;
+NODE579: NODE580;
+NODE580: NODE581;
+NODE581: NODE582;
+NODE582: NODE583;
+NODE583: NODE584;
+NODE584: NODE585;
+NODE585: NODE586;
+NODE586: NODE587;
+NODE587: NODE588;
+NODE588: NODE589;
+NODE589: NODE590;
+NODE590: NODE591;
+NODE591: NODE592;
+NODE592: NODE593;
+NODE593: NODE594;
+NODE594: NODE595;
+NODE595: NODE596;
+NODE596: NODE597;
+NODE597: NODE598;
+NODE598: NODE599;
+NODE599: NODE600;
+NODE600: NODE601;
+NODE601: NODE602;
+NODE602: NODE603;
+NODE603: NODE604;
+NODE604: NODE605;
+NODE605: NODE606;
+NODE606: NODE607;
+NODE607: NODE608;
+NODE608: NODE609;
+NODE609: NODE610;
+NODE610: NODE611;
+NODE611: NODE612;
+NODE612: NODE613;
+NODE613: NODE614;
+NODE614: NODE615;
+NODE615: NODE616;
+NODE616: NODE617;
+NODE617: NODE618;
+NODE618: NODE619;
+NODE619: NODE620;
+NODE620: NODE621;
+NODE621: NODE622;
+NODE622: NODE623;
+NODE623: NODE624;
+NODE624: NODE625;
+NODE625: NODE626;
+NODE626: NODE627;
+NODE627: NODE628;
+NODE628: NODE629;
+NODE629: NODE630;
+NODE630: NODE631;
+NODE631: NODE632;
+NODE632: NODE633;
+NODE633: NODE634;
+NODE634: NODE635;
+NODE635: NODE636;
+NODE636: NODE637;
+NODE637: NODE638;
+NODE638: NODE639;
+NODE639: NODE640;
+NODE640: NODE641;
+NODE641: NODE642;
+NODE642: NODE643;
+NODE643: NODE644;
+NODE644: NODE645;
+NODE645: NODE646;
+NODE646: NODE647;
+NODE647: NODE648;
+NODE648: NODE649;
+NODE649: NODE650;
+NODE650: NODE651;
+NODE651: NODE652;
+NODE652: NODE653;
+NODE653: NODE654;
+NODE654: NODE655;
+NODE655: NODE656;
+NODE656: NODE657;
+NODE657: NODE658;
+NODE658: NODE659;
+NODE659: NODE660;
+NODE660: NODE661;
+NODE661: NODE662;
+NODE662: NODE663;
+NODE663: NODE664;
+NODE664: NODE665;
+NODE665: NODE666;
+NODE666: NODE667;
+NODE667: NODE668;
+NODE668: NODE669;
+NODE669: NODE670;
+NODE670: NODE671;
+NODE671: NODE672;
+NODE672: NODE673;
+NODE673: NODE674;
+NODE674: NODE675;
+NODE675: NODE676;
+NODE676: NODE677;
+NODE677: NODE678;
+NODE678: NODE679;
+NODE679: NODE680;
+NODE680: NODE681;
+NODE681: NODE682;
+NODE682: NODE683;
+NODE683: NODE684;
+NODE684: NODE685;
+NODE685: NODE686;
+NODE686: NODE687;
+NODE687: NODE688;
+NODE688: NODE689;
+NODE689: NODE690;
+NODE690: NODE691;
+NODE691: NODE692;
+NODE692: NODE693;
+NODE693: NODE694;
+NODE694: NODE695;
+NODE695: NODE696;
+NODE696: NODE697;
+NODE697: NODE698;
+NODE698: NODE699;
+NODE699: NODE700;
+NODE700: NODE701;
+NODE701: NODE702;
+NODE702: NODE703;
+NODE703: NODE704;
+NODE704: NODE705;
+NODE705: NODE706;
+NODE706: NODE707;
+NODE707: NODE708;
+NODE708: NODE709;
+NODE709: NODE710;
+NODE710: NODE711;
+NODE711: NODE712;
+NODE712: NODE713;
+NODE713: NODE714;
+NODE714: NODE715;
+NODE715: NODE716;
+NODE716: NODE717;
+NODE717: NODE718;
+NODE718: NODE719;
+NODE719: NODE720;
+NODE720: NODE721;
+NODE721: NODE722;
+NODE722: NODE723;
+NODE723: NODE724;
+NODE724: NODE725;
+NODE725: NODE726;
+NODE726: NODE727;
+NODE727: NODE728;
+NODE728: NODE729;
+NODE729: NODE730;
+NODE730: NODE731;
+NODE731: NODE732;
+NODE732: NODE733;
+NODE733: NODE734;
+NODE734: NODE735;
+NODE735: NODE736;
+NODE736: NODE737;
+NODE737: NODE738;
+NODE738: NODE739;
+NODE739: NODE740;
+NODE740: NODE741;
+NODE741: NODE742;
+NODE742: NODE743;
+NODE743: NODE744;
+NODE744: NODE745;
+NODE745: NODE746;
+NODE746: NODE747;
+NODE747: NODE748;
+NODE748: NODE749;
+NODE749: NODE750;
+NODE750: NODE751;
+NODE751: NODE752;
+NODE752: NODE753;
+NODE753: NODE754;
+NODE754: NODE755;
+NODE755: NODE756;
+NODE756: NODE757;
+NODE757: NODE758;
+NODE758: NODE759;
+NODE759: NODE760;
+NODE760: NODE761;
+NODE761: NODE762;
+NODE762: NODE763;
+NODE763: NODE764;
+NODE764: NODE765;
+NODE765: NODE766;
+NODE766: NODE767;
+NODE767: NODE768;
+NODE768: NODE769;
+NODE769: NODE770;
+NODE770: NODE771;
+NODE771: NODE772;
+NODE772: NODE773;
+NODE773: NODE774;
+NODE774: NODE775;
+NODE775: NODE776;
+NODE776: NODE777;
+NODE777: NODE778;
+NODE778: NODE779;
+NODE779: NODE780;
+NODE780: NODE781;
+NODE781: NODE782;
+NODE782: NODE783;
+NODE783: NODE784;
+NODE784: NODE785;
+NODE785: NODE786;
+NODE786: NODE787;
+NODE787: NODE788;
+NODE788: NODE789;
+NODE789: NODE790;
+NODE790: NODE791;
+NODE791: NODE792;
+NODE792: NODE793;
+NODE793: NODE794;
+NODE794: NODE795;
+NODE795: NODE796;
+NODE796: NODE797;
+NODE797: NODE798;
+NODE798: NODE799;
+NODE799: NODE800;
+NODE800: NODE801;
+NODE801: NODE802;
+NODE802: NODE803;
+NODE803: NODE804;
+NODE804: NODE805;
+NODE805: NODE806;
+NODE806: NODE807;
+NODE807: NODE808;
+NODE808: NODE809;
+NODE809: NODE810;
+NODE810: NODE811;
+NODE811: NODE812;
+NODE812: NODE813;
+NODE813: NODE814;
+NODE814: NODE815;
+NODE815: NODE816;
+NODE816: NODE817;
+NODE817: NODE818;
+NODE818: NODE819;
+NODE819: NODE820;
+NODE820: NODE821;
+NODE821: NODE822;
+NODE822: NODE823;
+NODE823: NODE824;
+NODE824: NODE825;
+NODE825: NODE826;
+NODE826: NODE827;
+NODE827: NODE828;
+NODE828: NODE829;
+NODE829: NODE830;
+NODE830: NODE831;
+NODE831: NODE832;
+NODE832: NODE833;
+NODE833: NODE834;
+NODE834: NODE835;
+NODE835: NODE836;
+NODE836: NODE837;
+NODE837: NODE838;
+NODE838: NODE839;
+NODE839: NODE840;
+NODE840: NODE841;
+NODE841: NODE842;
+NODE842: NODE843;
+NODE843: NODE844;
+NODE844: NODE845;
+NODE845: NODE846;
+NODE846: NODE847;
+NODE847: NODE848;
+NODE848: NODE849;
+NODE849: NODE850;
+NODE850: NODE851;
+NODE851: NODE852;
+NODE852: NODE853;
+NODE853: NODE854;
+NODE854: NODE855;
+NODE855: NODE856;
+NODE856: NODE857;
+NODE857: NODE858;
+NODE858: NODE859;
+NODE859: NODE860;
+NODE860: NODE861;
+NODE861: NODE862;
+NODE862: NODE863;
+NODE863: NODE864;
+NODE864: NODE865;
+NODE865: NODE866;
+NODE866: NODE867;
+NODE867: NODE868;
+NODE868: NODE869;
+NODE869: NODE870;
+NODE870: NODE871;
+NODE871: NODE872;
+NODE872: NODE873;
+NODE873: NODE874;
+NODE874: NODE875;
+NODE875: NODE876;
+NODE876: NODE877;
+NODE877: NODE878;
+NODE878: NODE879;
+NODE879: NODE880;
+NODE880: NODE881;
+NODE881: NODE882;
+NODE882: NODE883;
+NODE883: NODE884;
+NODE884: NODE885;
+NODE885: NODE886;
+NODE886: NODE887;
+NODE887: NODE888;
+NODE888: NODE889;
+NODE889: NODE890;
+NODE890: NODE891;
+NODE891: NODE892;
+NODE892: NODE893;
+NODE893: NODE894;
+NODE894: NODE895;
+NODE895: NODE896;
+NODE896: NODE897;
+NODE897: NODE898;
+NODE898: NODE899;
+NODE899: NODE900;
+NODE900: NODE901;
+NODE901: NODE902;
+NODE902: NODE903;
+NODE903: NODE904;
+NODE904: NODE905;
+NODE905: NODE906;
+NODE906: NODE907;
+NODE907: NODE908;
+NODE908: NODE909;
+NODE909: NODE910;
+NODE910: NODE911;
+NODE911: NODE912;
+NODE912: NODE913;
+NODE913: NODE914;
+NODE914: NODE915;
+NODE915: NODE916;
+NODE916: NODE917;
+NODE917: NODE918;
+NODE918: NODE919;
+NODE919: NODE920;
+NODE920: NODE921;
+NODE921: NODE922;
+NODE922: NODE923;
+NODE923: NODE924;
+NODE924: NODE925;
+NODE925: NODE926;
+NODE926: NODE927;
+NODE927: NODE928;
+NODE928: NODE929;
+NODE929: NODE930;
+NODE930: NODE931;
+NODE931: NODE932;
+NODE932: NODE933;
+NODE933: NODE934;
+NODE934: NODE935;
+NODE935: NODE936;
+NODE936: NODE937;
+NODE937: NODE938;
+NODE938: NODE939;
+NODE939: NODE940;
+NODE940: NODE941;
+NODE941: NODE942;
+NODE942: NODE943;
+NODE943: NODE944;
+NODE944: NODE945;
+NODE945: NODE946;
+NODE946: NODE947;
+NODE947: NODE948;
+NODE948: NODE949;
+NODE949: NODE950;
+NODE950: NODE951;
+NODE951: NODE952;
+NODE952: NODE953;
+NODE953: NODE954;
+NODE954: NODE955;
+NODE955: NODE956;
+NODE956: NODE957;
+NODE957: NODE958;
+NODE958: NODE959;
+NODE959: NODE960;
+NODE960: NODE961;
+NODE961: NODE962;
+NODE962: NODE963;
+NODE963: NODE964;
+NODE964: NODE965;
+NODE965: NODE966;
+NODE966: NODE967;
+NODE967: NODE968;
+NODE968: NODE969;
+NODE969: NODE970;
+NODE970: NODE971;
+NODE971: NODE972;
+NODE972: NODE973;
+NODE973: NODE974;
+NODE974: NODE975;
+NODE975: NODE976;
+NODE976: NODE977;
+NODE977: NODE978;
+NODE978: NODE979;
+NODE979: NODE980;
+NODE980: NODE981;
+NODE981: NODE982;
+NODE982: NODE983;
+NODE983: NODE984;
+NODE984: NODE985;
+NODE985: NODE986;
+NODE986: NODE987;
+NODE987: NODE988;
+NODE988: NODE989;
+NODE989: NODE990;
+NODE990: NODE991;
+NODE991: NODE992;
+NODE992: NODE993;
+NODE993: NODE994;
+NODE994: NODE995;
+NODE995: NODE996;
+NODE996: NODE997;
+NODE997: NODE998;
+NODE998: NODE999;
+NODE999: F;
+
diff --git a/circuits/rej_feedback.txt b/circuits/rej_feedback.txt
new file mode 100644
index 0000000..f10f184
--- /dev/null
+++ b/circuits/rej_feedback.txt
@@ -0,0 +1,22 @@
+# this circuit has a feedback loop, and should be rejected
+# vim:ft=cfg
+S: INPUT_HIGH;
+R: INPUT_LOW;
+Q: PROBE;
+NQ: PROBE;
+NODE1: OR;
+NODE2: OR;
+NODE3: NOT;
+NODE4: NOT;
+NODE5: AND;
+NODE6: AND;
+
+S: NODE5,NODE6;
+R: NODE5,NODE6;
+NODE1: NODE3;
+NODE2: NODE4;
+NODE3: NODE2,Q;
+NODE4: NODE1,NQ;
+NODE5: NODE1;
+NODE6: NODE2;
+
diff --git a/circuits/rej_unconnected.txt b/circuits/rej_unconnected.txt
new file mode 100644
index 0000000..d23ba49
--- /dev/null
+++ b/circuits/rej_unconnected.txt
@@ -0,0 +1,16 @@
+# this circuit has unconnected inputs, and should be rejected
+# vim:ft=cfg
+A: INPUT_HIGH;
+B: INPUT_LOW;
+F: PROBE;
+NODE1: AND;
+NODE2: AND;
+NODE3: AND;
+NODE4: AND;
+
+A: NODE1;
+B: NODE1;
+NODE1: NODE2,NODE3;
+NODE3: NODE4;
+NODE4: F;
+