diff options
| -rw-r--r-- | circuits/full-adder.txt | 34 | ||||
| -rw-r--r-- | circuits/not-chain.txt | 2007 | ||||
| -rw-r--r-- | circuits/rej_feedback.txt | 22 | ||||
| -rw-r--r-- | circuits/rej_unconnected.txt | 16 |
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; + |