* 35 inputs
* 49 outputs
* 179 D-type flipflops
* 1775 inverters
* 1004 gates (0 ANDs + 0 NANDs + 239 ORs + 765 NORs)
* Maximum fanout: 10
* Maximum fanin: 4
* Number of faults: 4603
inpt 1 0 * n3065gat
inpt 1 0 * n3066gat
inpt 1 0 * n3067gat
inpt 1 0 * n3068gat
inpt 1 0 * n3069gat
inpt 1 0 * n3070gat
inpt 1 0 * n3071gat
inpt 1 0 * n3072gat
inpt 1 0 * n3073gat
inpt 1 0 * n3074gat
inpt 1 0 * n3075gat
inpt 1 0 * n3076gat
inpt 1 0 * n3077gat
inpt 1 0 * n3078gat
inpt 1 0 * n3079gat
inpt 1 0 * n3080gat
inpt 1 0 * n3081gat
inpt 1 0 * n3082gat
inpt 1 0 * n3083gat
inpt 1 0 * n3084gat
inpt 1 0 * n3085gat
inpt 1 0 * n3086gat
inpt 1 0 * n3087gat
inpt 1 0 * n3088gat
inpt 1 0 * n3089gat
inpt 1 0 * n3090gat
inpt 1 0 >sa0 * n3091gat
inpt 1 0 >sa0 * n3092gat
inpt 1 0 * n3093gat
inpt 1 0 * n3094gat
inpt 1 0 * n3095gat
inpt 1 0 * n3097gat
inpt 1 0 * n3098gat
inpt 1 0 * n3099gat
inpt 1 0 * n3100gat
dff 2 1 >sa0 >sa1 3490 * n673gat
dff 2 1 >sa0 >sa1 2542 * n398gat
dff 2 1 >sa0 >sa1 2539 * n402gat
dff 2 1 >sa0 >sa1 2533 * n919gat
dff 2 1 >sa0 >sa1 2536 * n846gat
dff 2 1 >sa0 >sa1 2541 * n394gat
dff 2 1 >sa0 >sa1 2538 * n703gat
dff 2 1 >sa0 >sa1 2532 * n722gat
dff 2 1 >sa0 >sa1 2535 * n726gat
dff 1 1 4754 * n2510gat
dff 2 1 >sa0 >sa1 2550 * n271gat
dff 2 1 >sa0 >sa1 2546 * n160gat
dff 2 1 >sa0 >sa1 2548 * n337gat
dff 2 1 >sa0 >sa1 2530 * n842gat
dff 2 1 >sa0 >sa1 2544 * n341gat
dff 1 1 4428 * n2522gat
dff 1 1 2628 * n2472gat
dff 1 1 809 * n2319gat
dff 1 1 2554 * n1821gat
dff 1 1 2553 * n1825gat
dff 1 1 1860 * n2029gat
dff 1 1 283 * n1829gat
dff 2 1 >sa0 >sa1 2549 * n283gat
dff 2 1 >sa0 >sa1 2545 * n165gat
dff 2 1 >sa0 >sa1 2547 * n279gat
dff 2 1 >sa0 >sa1 2529 * n1026gat
dff 2 1 >sa0 >sa1 2543 * n275gat
dff 1 1 4430 * n2476gat
dff 2 1 >sa0 >sa1 3365 * n1068gat
dff 2 1 >sa0 >sa1 3363 * n957gat
dff 2 1 >sa0 >sa1 3364 * n861gat
dff 2 1 >sa0 >sa1 3359 * n1294gat
dff 2 1 >sa0 >sa1 3357 * n1241gat
dff 2 1 >sa0 >sa1 3489 * n1298gat
dff 2 1 >sa0 >sa1 3362 * n865gat
dff 2 1 >sa0 >sa1 3360 * n1080gat
dff 2 1 >sa0 >sa1 3361 * n1148gat
dff 1 1 4432 * n2468gat
dff 2 1 >sa0 >sa1 2537 * n618gat
dff 2 1 >sa0 >sa1 2540 * n491gat
dff 2 1 >sa0 >sa1 2534 * n622gat
dff 2 1 >sa0 >sa1 2531 * n626gat
dff 2 1 >sa0 >sa1 5209 * n834gat
dff 2 1 >sa0 >sa1 5211 * n707gat
dff 2 1 >sa0 >sa1 5210 * n838gat
dff 2 1 >sa0 >sa1 5213 * n830gat
dff 2 1 >sa0 >sa1 5212 * n614gat
dff 1 1 4434 * n2526gat
dff 2 1 >sa0 >sa1 5083 * n680gat
dff 2 1 >sa0 >sa1 5085 * n816gat
dff 2 1 >sa0 >sa1 5084 * n580gat
dff 2 1 >sa0 >sa1 5168 * n824gat
dff 2 1 >sa0 >sa1 5170 * n820gat
dff 2 1 >sa0 >sa1 5169 * n883gat
dff 2 1 >sa0 >sa1 5086 * n584gat
dff 2 1 >sa0 >sa1 5167 * n684gat
dff 2 1 >sa0 >sa1 5166 * n699gat
dff 1 1 4436 * n2464gat
dff 2 1 >sa0 >sa1 4828 * n2399gat
dff 2 1 >sa0 >sa1 4830 * n2343gat
dff 2 1 >sa0 >sa1 4829 * n2203gat
dff 2 1 >sa0 >sa1 4831 * n2562gat
dff 2 1 >sa0 >sa1 4832 * n2207gat
dff 2 1 >sa0 >sa1 5119 * n2626gat
dff 2 1 >sa0 >sa1 5118 * n2490gat
dff 2 1 >sa0 >sa1 5117 * n2622gat
dff 2 1 >sa0 >sa1 5120 * n2630gat
dff 2 1 >sa0 >sa1 5116 * n2543gat
dff 1 1 2996 * n2102gat
dff 2 1 >sa0 >sa1 3687 * n1880gat
dff 1 1 3874 * n1763gat
dff 2 1 >sa0 >sa1 3424 * n2155gat
dff 2 1 >sa0 >sa1 4987 * n1035gat
dff 2 1 >sa0 >sa1 4988 * n1121gat
dff 2 1 >sa0 >sa1 4989 * n1072gat
dff 2 1 >sa0 >sa1 4990 * n1282gat
dff 2 1 >sa0 >sa1 4991 * n1226gat
dff 2 1 >sa0 >sa1 4992 * n931gat
dff 2 1 >sa0 >sa1 4993 * n1135gat
dff 2 1 >sa0 >sa1 4994 * n1045gat
dff 2 1 >sa0 >sa1 4995 * n1197gat
dff 1 1 4976 * n2518gat
dff 2 1 >sa0 >sa1 4919 * n667gat
dff 2 1 >sa0 >sa1 4911 * n659gat
dff 2 1 >sa0 >sa1 4913 * n553gat
dff 2 1 >sa0 >sa1 4912 * n777gat
dff 2 1 >sa0 >sa1 4917 * n561gat
dff 2 1 >sa0 >sa1 4918 * n366gat
dff 2 1 >sa0 >sa1 4914 * n322gat
dff 2 1 >sa0 >sa1 4916 * n318gat
dff 2 1 >sa0 >sa1 4915 * n314gat
dff 1 1 4953 * n2599gat
dff 1 1 3368 * n2588gat
dff 2 1 >sa0 >sa1 4957 * n2640gat
dff 1 1 4471 * n2658gat
dff 2 1 >sa0 >sa1 4425 * n2495gat
dff 2 1 >sa0 >sa1 4332 * n2390gat
dff 2 1 >sa0 >sa1 4331 * n2270gat
dff 2 1 >sa0 >sa1 4330 * n2339gat
dff 1 1 4193 * n2502gat
dff 2 1 >sa0 >sa1 5160 * n2634gat
dff 1 1 4732 * n2506gat
dff 1 1 3673 * n1834gat
dff 1 1 3676 * n1767gat
dff 1 1 2793 * n2084gat
dff 2 1 >sa0 >sa1 1075 * n2143gat
dff 2 1 >sa0 >sa1 2349 * n2061gat
dff 2 1 >sa0 >sa1 2352 * n2139gat
dff 2 1 >sa0 >sa1 2358 * n1899gat
dff 2 1 >sa0 >sa1 1070 * n1850gat
dff 2 1 >sa0 >sa1 1041 * n2403gat
dff 2 1 >sa0 >sa1 1045 * n2394gat
dff 2 1 >sa0 >sa1 1054 * n2440gat
dff 2 1 >sa0 >sa1 1058 * n2407gat
dff 2 1 >sa0 >sa1 1050 * n2347gat
dff 1 1 4211 * n1389gat
dff 1 1 4804 * n2021gat
dff 2 1 >sa0 >sa1 3792 * n1394gat
dff 1 1 1188 * n1496gat
dff 1 1 4242 * n2091gat
dff 1 1 3901 * n1332gat
dff 2 1 >sa0 >sa1 462 * n1740gat
dff 1 1 4113 * n2179gat
dff 2 1 >sa0 >sa1 1143 * n2190gat
dff 2 1 >sa0 >sa1 1145 * n2135gat
dff 2 1 >sa0 >sa1 1140 * n2262gat
dff 1 1 4093 * n2182gat
dff 1 1 4801 * n1433gat
dff 2 1 >sa0 >sa1 473 * n1316gat
dff 1 1 627 * n1363gat
dff 2 1 >sa0 >sa1 476 * n1312gat
dff 2 1 >sa0 >sa1 3954 * n1775gat
dff 2 1 >sa0 >sa1 5050 * n1871gat
dff 2 1 >sa0 >sa1 1205 * n2592gat
dff 1 1 3765 * n1508gat
dff 1 1 3397 * n1678gat
dff 1 1 5236 * n2309gat
dff 2 1 >sa0 >sa1 616 * n2450gat
dff 1 1 2286 * n2446gat
dff 1 1 4858 * n2095gat
dff 1 1 610 * n2176gat
dff 2 1 >sa0 >sa1 607 * n2169gat
dff 1 1 4895 * n2454gat
dff 1 1 4561 * n2040gat
dff 1 1 2168 * n2044gat
dff 1 1 497 * n2037gat
dff 1 1 4897 * n2025gat
dff 1 1 499 * n2099gat
dff 2 1 >sa0 >sa1 1137 * n2266gat
dff 1 1 600 * n2033gat
dff 1 1 595 * n2110gat
dff 2 1 >sa0 >sa1 593 * n2125gat
dff 1 1 591 * n2121gat
dff 1 1 507 * n2117gat
dff 2 1 >sa0 >sa1 1148 * n1975gat
dff 2 1 >sa0 >sa1 1134 * n2644gat
dff 2 1 >sa0 >sa1 1014 * n156gat
dff 2 1 >sa0 >sa1 1005 * n152gat
dff 2 1 >sa0 >sa1 1023 * n331gat
dff 2 1 >sa0 >sa1 1029 * n388gat
dff 2 1 >sa0 >sa1 1026 * n463gat
dff 2 1 >sa0 >sa1 1034 * n327gat
dff 2 1 >sa0 >sa1 1037 * n384gat
dff 2 1 >sa0 >sa1 1008 * n256gat
dff 2 1 >sa0 >sa1 1011 * n470gat
dff 2 1 >sa0 >sa1 1002 * n148gat
dff 1 1 620 * n2458gat
dff 1 1 533 * n2514gat
dff 1 1 3955 * n1771gat
dff 1 1 3721 * n1336gat
dff 1 1 4898 * n1748gat
dff 1 1 3394 * n1675gat
dff 1 1 3392 * n1807gat
dff 2 1 >sa0 >sa1 3791 * n1340gat
dff 1 1 4899 * n1456gat
dff 1 1 3299 * n1525gat
dff 2 1 >sa0 >sa1 4024 * n1462gat
dff 2 1 >sa0 >sa1 3903 * n1596gat
dff 1 1 3789 * n1588gat
not 1 1 1 * II297
not 1 1 2 * II337
not 1 1 3 * II317
not 1 1 4 * II423
not 1 1 5 * II47
not 1 1 6 * II62
not 1 1 7 * II97
not 1 1 8 * II18
not 1 1 9 * II381
not 1 1 10 * II776
not 1 1 11 * II818
not 1 1 12 * II796
not 1 1 13 * II941
not 1 1 14 * II985
not 1 1 15 * II963
not 1 1 16 * II863
not 1 1 17 * II23
not 1 1 18 * II885
not 1 1 19 * II192
not 1 1 20 * II206
not 1 1 21 * II199
not 1 1 22 * II259
not 1 1 23 * II5
not 1 1 24 * II1
not 1 1 25 * II243
not 1 1 26 * II768
or 2 2 >sa0 >sa1 28 27 * n2786gat
not 1 1 29 * II11
not 1 1 30 * II591
not 1 1 31 * II27
not 1 1 32 * II4129
not 1 1 33 * II4135
not 1 1 34 * II509
not 1 1 35 * II576
fan 1 1 36 * 
fan 1 1 36 * 
fan 1 1 37 * 
fan 1 1 37 * 
fan 1 1 38 * 
fan 1 1 38 * 
fan 1 1 39 * 
fan 1 1 39 * 
fan 1 1 40 * 
fan 1 1 40 * 
fan 1 1 41 * 
fan 1 1 41 * 
fan 1 1 42 * 
fan 1 1 42 * 
fan 1 1 43 * 
fan 1 1 43 * 
fan 1 1 44 * 
fan 1 1 44 * 
not 1 1 >sa0 45 * n2508gat
fan 1 1 46 * 
fan 1 1 46 * 
fan 1 1 47 * 
fan 1 1 47 * 
fan 1 1 48 * 
fan 1 1 48 * 
fan 1 1 49 * 
fan 1 1 49 * 
fan 1 1 50 * 
fan 1 1 50 * 
not 1 1 >sa0 51 * n2520gat
not 2 1 >sa0 >sa1 52 * n2470gat
not 1 1 >sa0 53 * n2317gat
not 1 1 >sa0 54 * n1819gat
not 2 1 >sa0 >sa1 55 * n1823gat
not 1 1 >sa0 >sa1 56 * n2027gat
not 1 1 57 * II572
fan 1 1 58 * 
fan 1 1 58 * 
fan 1 1 59 * 
fan 1 1 59 * 
fan 1 1 60 * 
fan 1 1 60 * 
fan 1 1 61 * 
fan 1 1 61 * 
fan 1 1 62 * 
fan 1 1 62 * 
not 1 1 >sa0 63 * n2474gat
fan 1 1 64 * 
fan 1 1 64 * 
fan 1 1 65 * 
fan 1 1 65 * 
fan 1 1 66 * 
fan 1 1 66 * 
fan 1 1 67 * 
fan 1 1 67 * 
fan 1 1 68 * 
fan 1 1 68 * 
fan 1 1 69 * 
fan 1 1 69 * 
fan 1 1 70 * 
fan 1 1 70 * 
fan 1 1 71 * 
fan 1 1 71 * 
fan 1 1 72 * 
fan 1 1 72 * 
not 1 1 >sa0 73 * n2466gat
fan 1 1 74 * 
fan 1 1 74 * 
fan 1 1 75 * 
fan 1 1 75 * 
fan 1 1 76 * 
fan 1 1 76 * 
fan 1 1 77 * 
fan 1 1 77 * 
fan 1 1 78 * 
fan 1 1 78 * 
fan 1 1 79 * 
fan 1 1 79 * 
fan 1 1 80 * 
fan 1 1 80 * 
fan 1 1 81 * 
fan 1 1 81 * 
fan 1 1 82 * 
fan 1 1 82 * 
not 1 1 >sa0 83 * n2524gat
fan 1 1 84 * 
fan 1 1 84 * 
fan 1 1 85 * 
fan 1 1 85 * 
fan 1 1 86 * 
fan 1 1 86 * 
fan 1 1 87 * 
fan 1 1 87 * 
fan 1 1 88 * 
fan 1 1 88 * 
fan 1 1 89 * 
fan 1 1 89 * 
fan 1 1 90 * 
fan 1 1 90 * 
fan 1 1 91 * 
fan 1 1 91 * 
fan 1 1 92 * 
fan 1 1 92 * 
not 1 1 >sa0 93 * n2462gat
fan 1 1 94 * 
fan 1 1 94 * 
fan 1 1 95 * 
fan 1 1 95 * 
fan 1 1 96 * 
fan 1 1 96 * 
fan 1 1 97 * 
fan 1 1 97 * 
fan 1 1 98 * 
fan 1 1 98 * 
fan 1 1 99 * 
fan 1 1 99 * 
fan 1 1 100 * 
fan 1 1 100 * 
fan 1 1 101 * 
fan 1 1 101 * 
fan 1 1 102 * 
fan 1 1 102 * 
fan 1 1 103 * 
fan 1 1 103 * 
not 1 1 104 * II1655
fan 1 1 105 * 
fan 1 1 105 * 
not 1 1 106 * II1683
fan 1 1 107 * 
fan 1 1 107 * 
fan 1 1 108 * 
fan 1 1 108 * 
fan 1 1 109 * 
fan 1 1 109 * 
fan 1 1 110 * 
fan 1 1 110 * 
fan 1 1 111 * 
fan 1 1 111 * 
fan 1 1 112 * 
fan 1 1 112 * 
fan 1 1 113 * 
fan 1 1 113 * 
fan 1 1 114 * 
fan 1 1 114 * 
fan 1 1 115 * 
fan 1 1 115 * 
fan 1 1 116 * 
fan 1 1 116 * 
not 1 1 117 * n2516gat
fan 1 1 118 * 
fan 1 1 118 * 
fan 1 1 119 * 
fan 1 1 119 * 
fan 1 1 120 * 
fan 1 1 120 * 
fan 1 1 121 * 
fan 1 1 121 * 
fan 1 1 122 * 
fan 1 1 122 * 
fan 1 1 123 * 
fan 1 1 123 * 
fan 1 1 124 * 
fan 1 1 124 * 
fan 1 1 125 * 
fan 1 1 125 * 
fan 1 1 126 * 
fan 1 1 126 * 
not 1 1 >sa0 127 * n2597gat
not 2 1 >sa0 >sa1 128 * n2586gat
fan 1 1 129 * 
fan 1 1 129 * 
not 1 1 >sa0 130 * n2656gat
fan 1 1 131 * 
fan 1 1 131 * 
fan 1 1 132 * 
fan 1 1 132 * 
fan 1 1 133 * 
fan 1 1 133 * 
fan 1 1 134 * 
fan 1 1 134 * 
not 1 1 >sa0 135 * n2500gat
fan 1 1 136 * 
fan 1 1 136 * 
not 1 1 >sa0 137 * n2504gat
not 1 1 >sa0 138 * n1832gat
not 1 1 >sa0 139 * n1765gat
not 1 1 >sa0 140 * n2082gat
fan 1 1 141 * 
fan 1 1 141 * 
fan 1 1 142 * 
fan 1 1 142 * 
fan 1 1 143 * 
fan 1 1 143 * 
fan 1 1 144 * 
fan 1 1 144 * 
fan 1 1 145 * 
fan 1 1 145 * 
fan 1 1 146 * 
fan 1 1 146 * 
fan 1 1 147 * 
fan 1 1 147 * 
fan 1 1 148 * 
fan 1 1 148 * 
fan 1 1 149 * 
fan 1 1 149 * 
fan 1 1 150 * 
fan 1 1 150 * 
not 1 1 >sa0 151 * n1387gat
not 1 1 >sa0 152 * n2019gat
fan 1 1 153 * 
fan 1 1 153 * 
not 1 1 154 * II2873
not 1 1 155 * II2885
not 1 1 >sa0 >sa1 156 * n1330gat
fan 1 1 157 * 
fan 1 1 157 * 
not 1 1 158 * II2953
fan 1 1 159 * 
fan 1 1 159 * 
fan 1 1 160 * 
fan 1 1 160 * 
fan 1 1 161 * 
fan 1 1 161 * 
not 1 1 162 * II3016
not 1 1 >sa0 >sa1 163 * n1431gat
fan 1 1 164 * 
fan 1 1 164 * 
not 1 1 >sa0 >sa1 165 * n1361gat
fan 1 1 166 * 
fan 1 1 166 * 
fan 1 1 167 * 
fan 1 1 167 * 
fan 1 1 168 * 
fan 1 1 168 * 
fan 1 1 169 * 
fan 1 1 169 * 
not 1 1 170 * II3163
not 1 1 171 * II3191
not 2 1 >sa0 >sa1 172 * n2307gat
fan 1 1 173 * 
fan 1 1 173 * 
not 2 1 >sa0 >sa1 174 * n2444gat
not 3 1 >sa0 >sa1 175 * n2093gat
not 2 1 >sa0 >sa1 176 * n2174gat
fan 1 1 177 * 
fan 1 1 177 * 
not 2 1 >sa0 >sa1 178 * n2452gat
not 1 1 179 * II3336
not 1 1 >sa0 >sa1 180 * n2042gat
not 3 1 >sa0 >sa1 181 * n2035gat
not 1 1 >sa0 >sa1 182 * n2023gat
not 1 1 >sa0 183 * n2097gat
fan 1 1 184 * 
fan 1 1 184 * 
not 2 1 >sa0 >sa1 185 * n2031gat
not 2 1 >sa0 >sa1 186 * n2108gat
fan 1 1 187 * 
fan 1 1 187 * 
not 1 1 >sa0 >sa1 188 * n2119gat
not 1 1 >sa0 189 * n2115gat
fan 1 1 190 * 
fan 1 1 190 * 
fan 1 1 191 * 
fan 1 1 191 * 
fan 1 1 192 * 
fan 1 1 192 * 
fan 1 1 193 * 
fan 1 1 193 * 
fan 1 1 194 * 
fan 1 1 194 * 
fan 1 1 195 * 
fan 1 1 195 * 
fan 1 1 196 * 
fan 1 1 196 * 
fan 1 1 197 * 
fan 1 1 197 * 
fan 1 1 198 * 
fan 1 1 198 * 
fan 1 1 199 * 
fan 1 1 199 * 
fan 1 1 200 * 
fan 1 1 200 * 
fan 1 1 201 * 
fan 1 1 201 * 
not 1 1 >sa0 >sa1 202 * n2456gat
not 2 1 >sa0 >sa1 203 * n2512gat
not 3 1 >sa0 >sa1 204 * n1769gat
not 1 1 >sa0 205 * n1334gat
not 1 1 206 * II4055
not 1 1 207 * II4067
not 1 1 208 * II4081
fan 1 1 209 * 
fan 1 1 209 * 
not 1 1 210 * II4105
not 1 1 211 * II4157
fan 1 1 212 * 
fan 1 1 212 * 
fan 1 1 213 * 
fan 1 1 213 * 
not 1 1 214 * II4212
not 1 1 >sa0 548 * n1587gat
not 1 1 547 * II4185
not 1 1 >sa0 546 * n1594gat
not 1 1 >sa0 545 * n1460gat
not 1 1 544 * II4194
not 1 1 >sa0 543 * n1524gat
not 1 1 >sa0 542 * n1455gat
not 1 1 >sa0 541 * n1338gat
not 1 1 540 * II4108
not 1 1 >sa0 539 * n1806gat
not 1 1 >sa0 538 * n1674gat
not 1 1 >sa0 537 * n1747gat
fan 1 1 >sa0 535 * 
fan 1 1 >sa0 535 * 
fan 1 1 >sa0 535 * 
fan 1 1 >sa0 534 * 
fan 1 1 >sa0 534 * 
not 1 1 >sa0 532 * n146gat
not 1 1 531 * II3904
not 1 1 >sa0 530 * n468gat
not 1 1 529 * II3867
not 3 1 >sa0 >sa1 528 * n254gat
not 1 1 527 * II3882
not 1 1 >sa0 526 * n382gat
not 1 1 525 * II3831
not 3 1 >sa0 >sa1 524 * n325gat
not 1 1 523 * II3808
not 1 1 522 * II3777
not 1 1 >sa0 521 * n461gat
not 1 1 520 * II3736
not 3 1 >sa0 >sa1 519 * n386gat
not 1 1 >sa0 518 * n329gat
not 1 1 517 * II3742
not 1 1 >sa0 516 * n150gat
not 1 1 515 * II3691
not 1 1 514 * II3677
not 3 1 >sa0 >sa1 513 * n154gat
not 1 1 512 * II3646
not 1 1 >sa0 511 * n2642gat
not 1 1 510 * II3621
not 1 1 >sa0 509 * n1973gat
not 1 1 506 * II3587
not 1 1 >sa0 >sa1 505 * n2123gat
fan 1 1 >sa0 504 * 
fan 1 1 >sa0 >sa1 504 * 
fan 1 1 >sa0 503 * 
fan 1 1 >sa0 >sa1 503 * 
not 1 1 >sa0 502 * n2264gat
not 1 1 501 * II3429
fan 1 1 >sa0 498 * 
fan 1 1 >sa0 498 * 
fan 1 1 >sa0 >sa1 498 * 
not 1 1 >sa0 496 * n2039gat
fan 1 1 495 * 
fan 1 1 495 * 
not 1 1 494 * II3273
not 1 1 >sa0 493 * n2167gat
fan 1 1 >sa0 492 * 
fan 1 1 >sa0 >sa1 492 * 
fan 1 1 >sa0 491 * 
fan 1 1 >sa0 491 * 
fan 1 1 >sa0 >sa1 491 * 
fan 1 1 >sa0 490 * 
fan 1 1 >sa0 490 * 
not 2 1 >sa0 >sa1 489 * n2448gat
not 1 1 488 * II3957
fan 1 1 >sa0 487 * 
fan 1 1 >sa0 >sa1 487 * 
not 3 1 >sa0 >sa1 486 * n1677gat
not 2 1 >sa0 >sa1 485 * n1507gat
not 1 1 484 * II3143
not 1 1 >sa0 >sa1 483 * n2590gat
not 6 1 >sa0 >sa1 482 * n1869gat
not 1 1 481 * II4626
not 5 1 >sa0 >sa1 480 * n1773gat
not 1 1 479 * II3339
not 1 1 478 * II3056
not 2 1 >sa0 >sa1 477 * n1310gat
not 1 1 >sa0 >sa1 475 * n1314gat
not 1 1 474 * II3342
not 1 1 >sa0 472 * n2181gat
not 1 1 471 * II3000
not 3 1 >sa0 >sa1 470 * n2260gat
not 1 1 469 * II2989
not 1 1 >sa0 468 * n2133gat
not 1 1 467 * II2978
not 1 1 >sa0 466 * n2188gat
not 1 1 >sa0 465 * n2178gat
not 1 1 >sa0 464 * n1738gat
not 1 1 463 * II2915
not 1 1 >sa0 461 * n2090gat
not 1 1 >sa0 460 * n1495gat
not 3 1 >sa0 >sa1 459 * n1392gat
not 1 1 458 * II3168
not 2 1 >sa0 >sa1 455 * n2345gat
not 1 1 454 * II2837
not 1 1 453 * II2785
not 2 1 >sa0 >sa1 452 * n2405gat
not 1 1 451 * II2771
not 4 1 >sa0 >sa1 450 * n2438gat
not 2 1 >sa0 >sa1 449 * n2392gat
not 1 1 448 * II2847
not 4 1 >sa0 >sa1 447 * n2401gat
not 1 1 446 * II2843
not 2 1 >sa0 >sa1 445 * n1848gat
not 1 1 444 * II2731
not 2 1 >sa0 >sa1 443 * n1897gat
not 1 1 442 * II3174
not 1 1 441 * II2696
not 2 1 >sa0 >sa1 440 * n2137gat
not 1 1 439 * II2684
not 2 1 >sa0 >sa1 438 * n2059gat
not 1 1 437 * II2672
not 2 1 >sa0 >sa1 436 * n2141gat
nor 1 4 432 429 420 267 * n2655gat
not 1 1 431 * II2414
not 2 1 >sa0 >sa1 430 * n2632gat
not 1 1 428 * II2344
not 2 1 >sa0 >sa1 427 * n2337gat
not 2 1 >sa0 >sa1 426 * n2268gat
not 1 1 425 * II2349
not 2 1 >sa0 >sa1 424 * n2388gat
not 1 1 423 * II2316
not 2 1 >sa0 >sa1 422 * n2493gat
not 1 1 421 * II2319
not 2 1 >sa0 >sa1 419 * n2638gat
not 1 1 418 * II2232
fan 1 1 >sa0 417 * 
fan 1 1 >sa0 417 * 
not 1 1 415 * II2145
not 2 1 >sa0 >sa1 414 * n312gat
not 1 1 413 * II2127
not 2 1 >sa0 >sa1 412 * n316gat
not 1 1 411 * II2109
not 2 1 >sa0 >sa1 410 * n320gat
not 1 1 409 * II2084
not 2 1 >sa0 >sa1 408 * n364gat
not 2 1 >sa0 >sa1 407 * n559gat
not 1 1 406 * II2088
not 1 1 405 * II2032
not 2 1 >sa0 >sa1 404 * n775gat
not 1 1 403 * II2014
not 2 1 >sa0 >sa1 402 * n551gat
not 1 1 401 * II1996
not 2 1 >sa0 >sa1 400 * n657gat
not 1 1 399 * II1981
not 1 1 >sa0 398 * n665gat
not 1 1 397 * II1961
not 1 1 >sa0 396 * n1195gat
not 1 1 395 * II1947
not 1 1 394 * II1891
not 2 1 >sa0 >sa1 393 * n1043gat
not 1 1 392 * II1874
not 2 1 >sa0 >sa1 391 * n1133gat
not 1 1 390 * II1857
not 2 1 >sa0 >sa1 389 * n929gat
not 1 1 388 * II1833
not 2 1 >sa0 >sa1 387 * n1224gat
not 2 1 >sa0 >sa1 386 * n1280gat
not 1 1 385 * II1837
not 1 1 384 * II1783
not 2 1 >sa0 >sa1 383 * n1070gat
not 1 1 382 * II1766
not 2 1 >sa0 >sa1 381 * n1119gat
not 1 1 380 * II1749
not 2 1 >sa0 >sa1 379 * n1033gat
not 1 1 378 * II1698
not 1 1 >sa0 377 * n2153gat
not 1 1 >sa0 376 * n1762gat
not 1 1 375 * II1667
not 2 1 >sa0 >sa1 374 * n1878gat
not 1 1 373 * n2101gat
not 3 1 >sa0 >sa1 372 * n2541gat
not 1 1 371 * II1708
not 1 1 370 * II1630
not 2 1 >sa0 >sa1 369 * n2628gat
not 1 1 368 * II1617
not 2 1 >sa0 >sa1 367 * n2620gat
not 1 1 366 * II1606
not 3 1 >sa0 >sa1 365 * n2488gat
not 2 1 >sa0 >sa1 364 * n2624gat
not 1 1 363 * II1703
not 3 1 >sa0 >sa1 362 * n2205gat
not 1 1 361 * II2251
not 3 1 >sa0 >sa1 360 * n2560gat
not 1 1 359 * II1719
not 3 1 >sa0 >sa1 358 * n2201gat
not 1 1 357 * II2260
not 1 1 356 * II1550
not 3 1 >sa0 >sa1 355 * n2341gat
not 1 1 354 * II1538
not 3 1 >sa0 >sa1 353 * n2397gat
not 1 1 351 * II1464
not 2 1 >sa0 >sa1 350 * n697gat
not 1 1 349 * II1450
not 2 1 >sa0 >sa1 348 * n682gat
not 1 1 347 * II1436
not 1 1 346 * n582gat
not 1 1 345 * II1399
not 2 1 >sa0 >sa1 344 * n881gat
not 1 1 343 * II1385
not 2 1 >sa0 >sa1 342 * n818gat
not 1 1 341 * II1371
not 2 1 >sa0 >sa1 340 * n822gat
not 1 1 339 * II1336
not 1 1 338 * n578gat
not 1 1 337 * II1319
not 1 1 336 * n814gat
not 1 1 335 * II1302
not 1 1 334 * n678gat
not 1 1 332 * II1227
not 2 1 >sa0 >sa1 331 * n612gat
not 1 1 330 * II1201
not 2 1 >sa0 >sa1 329 * n828gat
not 1 1 328 * II1166
not 2 1 >sa0 >sa1 327 * n836gat
not 1 1 326 * II1152
not 2 1 >sa0 >sa1 325 * n705gat
not 1 1 324 * II1138
not 2 1 >sa0 >sa1 323 * n832gat
not 1 1 322 * n624gat
not 1 1 321 * II1124
not 1 1 320 * n620gat
not 1 1 319 * II1118
not 1 1 318 * n489gat
not 1 1 317 * II1088
not 1 1 316 * n616gat
not 1 1 315 * II1082
not 1 1 313 * II999
not 1 1 312 * n1146gat
not 1 1 311 * II977
not 1 1 310 * n1078gat
not 1 1 309 * II955
not 1 1 308 * n863gat
not 1 1 307 * II913
not 1 1 306 * n1296gat
not 1 1 305 * II899
not 1 1 304 * n1239gat
not 1 1 303 * II877
not 1 1 302 * n1292gat
not 1 1 301 * II834
not 1 1 300 * n859gat
not 1 1 299 * II812
not 1 1 298 * n955gat
not 1 1 297 * II790
not 1 1 296 * n1066gat
not 1 1 294 * II709
not 1 1 293 * n273gat
not 1 1 292 * II672
not 1 1 291 * n1024gat
not 1 1 290 * II634
not 1 1 289 * n277gat
not 1 1 288 * II620
not 1 1 287 * n163gat
not 1 1 286 * II606
not 1 1 285 * n281gat
not 1 1 >sa0 284 * n1828gat
fan 1 1 >sa0 282 * 
fan 1 1 >sa0 282 * 
fan 1 1 >sa0 279 * 
fan 1 1 >sa0 >sa1 279 * 
not 1 1 277 * II437
not 1 1 276 * n339gat
not 1 1 275 * II395
not 1 1 274 * n840gat
not 1 1 273 * II351
not 1 1 272 * n335gat
not 1 1 271 * II331
not 1 1 270 * n158gat
not 1 1 269 * II311
not 1 1 268 * n269gat
not 1 1 266 * II171
not 3 1 >sa0 >sa1 265 * n724gat
not 3 1 >sa0 >sa1 264 * n720gat
not 1 1 263 * II178
not 1 1 262 * II149
not 3 1 >sa0 >sa1 261 * n701gat
not 3 1 >sa0 >sa1 260 * n392gat
not 1 1 259 * II446
not 1 1 258 * II111
not 1 1 257 * n844gat
not 1 1 256 * II92
not 1 1 255 * n917gat
not 1 1 254 * II76
not 1 1 253 * n400gat
not 5 1 >sa0 >sa1 252 * n396gat
not 1 1 251 * II718
not 1 1 250 * II44
not 1 1 >sa0 249 * n671gat
not 1 1 248 * n2851gat
not 1 1 247 * n2730gat
not 1 1 246 * n2766gat
not 1 1 245 * n2858gat
not 1 1 244 * n2668gat
not 2 1 >sa0 >sa1 243 * n2722gat
not 1 1 242 * n2768gat
fan 1 1 241 * 
fan 1 1 241 * 
not 1 1 240 * n2832gat
not 2 1 >sa0 >sa1 239 * n2869gat
not 2 1 >sa0 >sa1 238 * n2717gat
not 2 1 >sa0 >sa1 237 * n2725gat
not 2 1 >sa0 >sa1 236 * n2728gat
not 2 1 >sa0 >sa1 235 * n2861gat
not 2 1 >sa0 >sa1 234 * n2864gat
not 2 1 >sa0 >sa1 233 * n2856gat
not 1 1 232 * n2853gat
not 1 1 231 * n2845gat
not 1 1 230 * n2847gat
not 1 1 229 * n2841gat
not 1 1 228 * n2843gat
not 1 1 227 * n2837gat
not 1 1 226 * n2839gat
not 1 1 225 * n2712gat
not 1 1 224 * n2719gat
not 2 1 >sa0 >sa1 223 * n2674gat
not 2 1 >sa0 >sa1 222 * n2671gat
not 2 1 >sa0 >sa1 221 * n2794gat
not 2 1 >sa0 >sa1 220 * n2791gat
not 2 1 >sa0 >sa1 219 * n2783gat
not 2 1 >sa0 >sa1 218 * n2780gat
not 2 1 >sa0 >sa1 217 * n2777gat
not 2 1 >sa0 >sa1 216 * n2736gat
not 2 1 >sa0 >sa1 215 * n2733gat
fan 1 1 872 * 
fan 1 1 872 * 
fan 1 1 871 * 
fan 1 1 871 * 
fan 1 1 870 * 
fan 1 1 870 * 
fan 1 1 869 * 
fan 1 1 869 * 
fan 1 1 868 * 
fan 1 1 868 * 
fan 1 1 867 * 
fan 1 1 867 * 
fan 1 1 866 * 
fan 1 1 866 * 
fan 1 1 865 * 
fan 1 1 865 * 
fan 1 1 864 * 
fan 1 1 864 * 
not 3 1 >sa0 >sa1 863 * n2718gat
not 3 1 >sa0 >sa1 862 * n2711gat
not 3 1 >sa0 >sa1 861 * n2838gat
not 3 1 >sa0 >sa1 860 * n2836gat
not 3 1 >sa0 >sa1 859 * n2842gat
not 3 1 >sa0 >sa1 858 * n2840gat
not 3 1 >sa0 >sa1 857 * n2846gat
not 3 1 >sa0 >sa1 856 * n2844gat
not 3 1 >sa0 >sa1 855 * n2852gat
fan 1 1 854 * 
fan 1 1 854 * 
fan 1 1 853 * 
fan 1 1 853 * 
fan 1 1 852 * 
fan 1 1 852 * 
fan 1 1 851 * 
fan 1 1 851 * 
fan 1 1 850 * 
fan 1 1 850 * 
fan 1 1 849 * 
fan 1 1 849 * 
fan 1 1 848 * 
fan 1 1 848 * 
not 1 1 847 * II771
not 1 1 846 * II583
not 4 1 >sa0 >sa1 845 * n2784gat
not 1 1 844 * II14
fan 1 1 843 * 
fan 1 1 843 * 
not 1 1 842 * II30
not 1 1 >sa0 841 * n2857gat
not 1 1 840 * II4138
not 1 1 839 * II512
not 1 1 838 * II579
not 2 1 >sa0 >sa1 836 * n672gat
not 2 1 >sa0 >sa1 835 * n397gat
fan 1 1 >sa0 834 * 
fan 1 1 >sa0 834 * 
fan 1 1 >sa0 834 * 
fan 1 1 >sa0 834 * 
fan 1 1 834 * 
not 1 1 833 * II726
not 3 1 >sa0 >sa1 832 * n401gat
not 1 1 831 * II687
not 3 1 >sa0 >sa1 830 * n918gat
not 1 1 829 * II692
not 3 1 >sa0 >sa1 828 * n845gat
not 3 1 >sa0 >sa1 827 * n393gat
fan 1 1 >sa0 826 * 
fan 1 1 >sa0 826 * 
fan 1 1 826 * 
fan 1 1 >sa0 825 * 
fan 1 1 >sa0 825 * 
fan 1 1 825 * 
not 3 1 >sa0 >sa1 824 * n702gat
not 4 1 >sa0 >sa1 823 * n721gat
fan 1 1 >sa0 822 * 
fan 1 1 >sa0 822 * 
fan 1 1 822 * 
fan 1 1 >sa0 821 * 
fan 1 1 >sa0 821 * 
fan 1 1 821 * 
not 4 1 >sa0 >sa1 820 * n725gat
not 1 1 819 * II368
not 3 1 >sa0 >sa1 818 * n270gat
not 1 1 817 * II359
not 2 1 >sa0 >sa1 816 * n159gat
not 1 1 815 * II363
not 3 1 >sa0 >sa1 814 * n336gat
not 1 1 813 * II406
not 2 1 >sa0 >sa1 812 * n841gat
not 1 1 811 * II461
not 2 1 >sa0 >sa1 810 * n340gat
nor 1 2 807 281 * n1817gat
not 1 1 804 * II651
not 3 1 >sa0 >sa1 803 * n282gat
not 1 1 802 * II642
not 3 1 >sa0 >sa1 801 * n164gat
not 1 1 800 * II646
not 3 1 >sa0 >sa1 799 * n278gat
not 1 1 798 * II683
not 2 1 >sa0 >sa1 797 * n1025gat
not 1 1 796 * II734
not 3 1 >sa0 >sa1 795 * n274gat
not 1 1 794 * II851
not 3 1 >sa0 >sa1 793 * n1067gat
not 1 1 792 * II842
not 3 1 >sa0 >sa1 791 * n956gat
not 1 1 790 * II846
not 3 1 >sa0 >sa1 789 * n860gat
not 1 1 788 * II930
not 3 1 >sa0 >sa1 787 * n1293gat
not 1 1 786 * II921
not 2 1 >sa0 >sa1 785 * n1240gat
not 1 1 784 * II925
not 3 1 >sa0 >sa1 783 * n1297gat
not 1 1 782 * II1016
not 3 1 >sa0 >sa1 781 * n864gat
not 1 1 780 * II1007
not 3 1 >sa0 >sa1 779 * n1079gat
not 1 1 778 * II1011
not 3 1 >sa0 >sa1 777 * n1147gat
not 2 1 >sa0 >sa1 776 * n617gat
not 1 1 775 * II1067
not 2 1 >sa0 >sa1 774 * n490gat
not 1 1 773 * II1079
not 2 1 >sa0 >sa1 772 * n621gat
not 1 1 771 * II1103
not 2 1 >sa0 >sa1 770 * n625gat
not 1 1 769 * II1115
fan 1 1 768 * 
fan 1 1 >sa0 >sa1 768 * 
not 3 1 >sa0 >sa1 767 * n833gat
fan 1 1 766 * 
fan 1 1 >sa0 >sa1 766 * 
not 3 1 >sa0 >sa1 765 * n706gat
fan 1 1 764 * 
fan 1 1 >sa0 >sa1 764 * 
not 3 1 >sa0 >sa1 763 * n837gat
fan 1 1 762 * 
fan 1 1 >sa0 >sa1 762 * 
not 2 1 >sa0 >sa1 761 * n829gat
fan 1 1 760 * 
fan 1 1 >sa0 >sa1 760 * 
not 3 1 >sa0 >sa1 759 * n613gat
not 1 1 758 * II1353
not 3 1 >sa0 >sa1 757 * n679gat
not 1 1 756 * II1344
not 3 1 >sa0 >sa1 755 * n815gat
not 1 1 754 * II1348
not 3 1 >sa0 >sa1 753 * n579gat
fan 1 1 752 * 
fan 1 1 >sa0 >sa1 752 * 
not 3 1 >sa0 >sa1 751 * n823gat
fan 1 1 750 * 
fan 1 1 >sa0 >sa1 750 * 
not 2 1 >sa0 >sa1 749 * n819gat
fan 1 1 748 * 
fan 1 1 >sa0 >sa1 748 * 
not 3 1 >sa0 >sa1 747 * n882gat
not 1 1 746 * II1481
not 3 1 >sa0 >sa1 745 * n583gat
fan 1 1 744 * 
fan 1 1 >sa0 >sa1 744 * 
not 3 1 >sa0 >sa1 743 * n683gat
fan 1 1 742 * 
fan 1 1 >sa0 >sa1 742 * 
not 3 1 >sa0 >sa1 741 * n698gat
fan 1 1 740 * 
fan 1 1 740 * 
fan 1 1 >sa0 >sa1 740 * 
not 2 1 >sa0 >sa1 739 * n2398gat
fan 1 1 738 * 
fan 1 1 738 * 
fan 1 1 >sa0 >sa1 738 * 
not 2 1 >sa0 >sa1 737 * n2342gat
not 2 1 >sa0 >sa1 736 * n2202gat
fan 1 1 735 * 
fan 1 1 735 * 
fan 1 1 >sa0 >sa1 735 * 
not 2 1 >sa0 >sa1 734 * n2561gat
fan 1 1 733 * 
fan 1 1 733 * 
fan 1 1 >sa0 >sa1 733 * 
not 2 1 >sa0 >sa1 732 * n2206gat
fan 1 1 731 * 
fan 1 1 731 * 
fan 1 1 >sa0 >sa1 731 * 
not 3 1 >sa0 >sa1 730 * n2625gat
fan 1 1 >sa0 729 * 
fan 1 1 729 * 
fan 1 1 >sa0 728 * 
fan 1 1 >sa0 728 * 
fan 1 1 728 * 
not 2 1 >sa0 >sa1 727 * n2489gat
fan 1 1 >sa0 726 * 
fan 1 1 726 * 
not 3 1 >sa0 >sa1 725 * n2621gat
fan 1 1 724 * 
fan 1 1 >sa0 >sa1 724 * 
not 2 1 >sa0 >sa1 723 * n2629gat
not 2 1 >sa0 >sa1 722 * n2542gat
fan 1 1 721 * 
fan 1 1 721 * 
fan 1 1 >sa0 >sa1 721 * 
not 1 1 >sa0 720 * n1693gat
fan 1 1 >sa0 719 * 
fan 1 1 >sa0 719 * 
not 1 1 >sa0 718 * n1879gat
not 1 1 >sa0 715 * n2154gat
fan 1 1 714 * 
fan 1 1 714 * 
not 2 1 >sa0 >sa1 713 * n1034gat
fan 1 1 712 * 
fan 1 1 712 * 
not 2 1 >sa0 >sa1 711 * n1120gat
fan 1 1 710 * 
fan 1 1 710 * 
not 2 1 >sa0 >sa1 709 * n1071gat
not 2 1 >sa0 >sa1 708 * n1281gat
fan 1 1 >sa0 707 * 
fan 1 1 707 * 
fan 1 1 >sa0 706 * 
fan 1 1 706 * 
not 2 1 >sa0 >sa1 705 * n1225gat
fan 1 1 704 * 
fan 1 1 704 * 
not 2 1 >sa0 >sa1 703 * n930gat
fan 1 1 702 * 
fan 1 1 702 * 
not 2 1 >sa0 >sa1 701 * n1134gat
fan 1 1 700 * 
fan 1 1 700 * 
not 2 1 >sa0 >sa1 699 * n1044gat
not 1 1 >sa0 698 * n1196gat
not 1 1 >sa0 696 * n3017gat
not 1 1 >sa0 694 * n666gat
fan 1 1 693 * 
fan 1 1 693 * 
not 1 1 692 * n658gat
fan 1 1 691 * 
fan 1 1 691 * 
not 1 1 690 * n552gat
fan 1 1 689 * 
fan 1 1 689 * 
not 1 1 688 * n776gat
not 1 1 >sa0 687 * n560gat
fan 1 1 >sa0 686 * 
fan 1 1 686 * 
fan 1 1 >sa0 685 * 
fan 1 1 685 * 
not 1 1 >sa0 684 * n365gat
fan 1 1 683 * 
fan 1 1 683 * 
not 1 1 682 * n321gat
fan 1 1 681 * 
fan 1 1 681 * 
not 1 1 680 * n317gat
fan 1 1 679 * 
fan 1 1 679 * 
not 1 1 678 * n313gat
not 1 1 675 * n2639gat
fan 1 1 674 * 
fan 1 1 >sa0 >sa1 674 * 
not 1 1 >sa0 673 * n2494gat
fan 1 1 >sa0 672 * 
fan 1 1 >sa0 >sa1 672 * 
not 2 1 >sa0 >sa1 671 * n2389gat
fan 1 1 >sa0 670 * 
fan 1 1 >sa0 >sa1 670 * 
not 2 1 >sa0 >sa1 669 * n2269gat
fan 1 1 >sa0 668 * 
fan 1 1 >sa0 >sa1 668 * 
fan 1 1 >sa0 667 * 
fan 1 1 >sa0 >sa1 667 * 
not 2 1 >sa0 >sa1 666 * n2338gat
fan 1 1 665 * 
fan 1 1 >sa0 >sa1 665 * 
not 1 1 664 * n2633gat
not 2 1 >sa0 >sa1 663 * n2660gat
fan 1 1 662 * 
fan 1 1 662 * 
not 2 1 >sa0 >sa1 661 * n2142gat
fan 1 1 660 * 
fan 1 1 660 * 
not 2 1 >sa0 >sa1 659 * n2060gat
fan 1 1 658 * 
fan 1 1 658 * 
not 2 1 >sa0 >sa1 657 * n2138gat
not 2 1 >sa0 >sa1 656 * n1898gat
fan 1 1 655 * 
fan 1 1 655 * 
not 2 1 >sa0 >sa1 654 * n1849gat
fan 1 1 653 * 
fan 1 1 653 * 
not 4 1 >sa0 >sa1 652 * n2402gat
fan 1 1 >sa0 651 * 
fan 1 1 >sa0 651 * 
fan 1 1 >sa0 651 * 
fan 1 1 651 * 
not 5 1 >sa0 >sa1 650 * n2393gat
fan 1 1 >sa0 649 * 
fan 1 1 649 * 
fan 1 1 >sa0 648 * 
fan 1 1 648 * 
fan 1 1 648 * 
fan 1 1 648 * 
not 4 1 >sa0 >sa1 647 * n2439gat
fan 1 1 >sa0 646 * 
fan 1 1 646 * 
not 2 1 >sa0 >sa1 645 * n2406gat
not 4 1 >sa0 >sa1 644 * n2346gat
fan 1 1 >sa0 643 * 
fan 1 1 643 * 
not 3 1 >sa0 >sa1 642 * n1393gat
fan 1 1 >sa0 641 * 
fan 1 1 >sa0 641 * 
fan 1 1 >sa0 >sa1 641 * 
not 1 1 >sa0 638 * n1739gat
not 5 1 >sa0 >sa1 634 * n2189gat
not 2 1 >sa0 >sa1 632 * n2134gat
fan 1 1 >sa0 631 * 
fan 1 1 631 * 
fan 1 1 631 * 
not 4 1 >sa0 >sa1 630 * n2261gat
not 1 1 >sa0 628 * n1315gat
fan 1 1 >sa0 626 * 
fan 1 1 >sa0 626 * 
not 1 1 >sa0 625 * n1311gat
not 3 1 >sa0 >sa1 624 * n1774gat
fan 1 1 >sa0 623 * 
fan 1 1 >sa0 623 * 
fan 1 1 >sa0 623 * 
fan 1 1 >sa0 623 * 
fan 1 1 >sa0 >sa1 623 * 
not 1 1 622 * n1870gat
fan 1 1 >sa0 621 * 
fan 1 1 >sa0 621 * 
fan 1 1 >sa0 621 * 
fan 1 1 >sa0 621 * 
fan 1 1 621 * 
fan 1 1 621 * 
not 1 1 >sa0 619 * n2591gat
fan 1 1 >sa0 618 * 
fan 1 1 >sa0 618 * 
fan 1 1 >sa0 617 * 
fan 1 1 >sa0 617 * 
fan 1 1 >sa0 617 * 
not 1 1 614 * n2449gat
fan 1 1 >sa0 613 * 
fan 1 1 613 * 
or 1 3 >sa0 606 594 605 * II3999
not 1 1 >sa0 604 * n2168gat
not 5 1 >sa0 >sa1 603 * n1691gat
not 5 1 >sa0 >sa1 602 * n1699gat
not 1 1 >sa0 597 * n2265gat
not 1 1 >sa0 590 * n2124gat
not 1 1 >sa0 588 * n1974gat
not 1 1 >sa0 586 * n2643gat
fan 1 1 >sa0 585 * 
fan 1 1 >sa0 585 * 
fan 1 1 >sa0 585 * 
not 3 1 >sa0 >sa1 584 * n155gat
not 4 1 >sa0 >sa1 583 * n151gat
not 4 1 >sa0 >sa1 581 * n330gat
fan 1 1 >sa0 579 * 
fan 1 1 >sa0 579 * 
fan 1 1 >sa0 579 * 
not 3 1 >sa0 >sa1 578 * n387gat
not 1 1 >sa0 576 * n462gat
not 2 1 >sa0 >sa1 575 * n326gat
fan 1 1 >sa0 574 * 
fan 1 1 >sa0 574 * 
fan 1 1 >sa0 574 * 
not 2 1 >sa0 >sa1 573 * n383gat
not 2 1 >sa0 >sa1 571 * n255gat
fan 1 1 >sa0 570 * 
fan 1 1 >sa0 570 * 
fan 1 1 >sa0 570 * 
not 1 1 >sa0 569 * n469gat
not 2 1 >sa0 >sa1 567 * n147gat
not 1 1 >sa0 557 * n1339gat
not 1 1 >sa0 553 * n1461gat
not 2 1 >sa0 >sa1 550 * n1595gat
fan 1 1 >sa0 1254 * 
fan 1 1 >sa0 1254 * 
nor 1 2 >sa0 561 1201 * n1757gat
nor 1 3 >sa0 564 1202 562 * n1755gat
nor 1 3 1203 563 565 * n1756gat
fan 1 1 >sa0 1251 * 
fan 1 1 >sa0 1251 * 
fan 1 1 >sa0 1246 * 
fan 1 1 >sa0 1246 * 
fan 1 1 >sa0 1245 * 
fan 1 1 >sa0 1245 * 
fan 1 1 >sa0 1241 * 
fan 1 1 >sa0 1241 * 
fan 1 1 >sa0 1239 * 
fan 1 1 >sa0 1239 * 
fan 1 1 >sa0 1239 * 
fan 1 1 >sa0 1235 * 
fan 1 1 >sa0 1235 * 
fan 1 1 >sa0 1235 * 
fan 1 1 >sa0 1235 * 
fan 1 1 >sa0 1234 * 
fan 1 1 >sa0 1234 * 
fan 1 1 >sa0 1234 * 
fan 1 1 >sa0 1234 * 
fan 1 1 >sa0 1233 * 
fan 1 1 >sa0 1233 * 
fan 1 1 >sa0 1233 * 
fan 1 1 1225 * 
fan 1 1 1225 * 
fan 1 1 1225 * 
fan 1 1 1225 * 
fan 1 1 1225 * 
fan 1 1 >sa0 1224 * 
fan 1 1 1224 * 
fan 1 1 1224 * 
fan 1 1 1224 * 
fan 1 1 1224 * 
nor 1 2 611 1220 * n2238gat
not 1 1 1221 * II3951
not 1 1 >sa0 1219 * n1754gat
not 1 1 1212 * II3315
not 1 1 1211 * II3318
not 1 1 1206 * n1086gat
nor 1 2 >sa0 1204 1199 * n1758gat
fan 1 1 >sa0 1200 * 
fan 1 1 >sa0 1200 * 
fan 1 1 >sa0 1200 * 
fan 1 1 >sa0 1195 * 
fan 1 1 >sa0 1195 * 
fan 1 1 >sa0 1195 * 
fan 1 1 1195 * 
not 1 1 1194 * II3394
not 1 1 >sa0 1193 * n2252gat
fan 1 1 >sa0 1191 * 
fan 1 1 >sa0 1191 * 
fan 1 1 >sa0 1190 * 
fan 1 1 >sa0 1190 * 
fan 1 1 >sa0 1190 * 
fan 1 1 1190 * 
fan 1 1 1190 * 
fan 1 1 >sa0 1185 * 
fan 1 1 >sa0 1185 * 
fan 1 1 >sa0 1185 * 
nor 4 2 >sa0 >sa1 1077 457 * n2016gat
not 5 1 >sa0 >sa1 1184 * n1988gat
fan 1 1 >sa0 1182 * 
fan 1 1 >sa0 1182 * 
fan 1 1 >sa0 1182 * 
fan 1 1 1182 * 
fan 1 1 >sa0 1181 * 
fan 1 1 1181 * 
not 3 1 >sa0 >sa1 1180 * n2351gat
fan 1 1 >sa0 1178 * 
fan 1 1 >sa0 1178 * 
fan 1 1 1178 * 
fan 1 1 1178 * 
not 4 1 >sa0 >sa1 1177 * n2283gat
not 1 1 1176 * II3509
not 1 1 >sa0 1175 * n2333gat
not 4 1 >sa0 >sa1 1173 * n1918gat
fan 1 1 >sa0 1171 * 
fan 1 1 >sa0 1171 * 
fan 1 1 >sa0 1171 * 
fan 1 1 1171 * 
fan 1 1 1171 * 
not 3 1 >sa0 >sa1 1170 * n1989gat
fan 1 1 >sa0 1166 * 
fan 1 1 >sa0 1166 * 
fan 1 1 >sa0 1166 * 
fan 1 1 1166 * 
not 1 1 >sa0 1165 * n1783gat
not 1 1 >sa0 1164 * n1631gat
fan 1 1 1163 * 
fan 1 1 1163 * 
not 7 1 >sa0 >sa1 1162 * n1884gat
not 3 1 >sa0 >sa1 1161 * n1886gat
fan 1 1 1160 * 
fan 1 1 1160 * 
fan 1 1 1159 * 
fan 1 1 1159 * 
not 4 1 >sa0 >sa1 1158 * n1633gat
not 4 1 >sa0 >sa1 1157 * n1963gat
fan 1 1 1156 * 
fan 1 1 1156 * 
not 4 1 >sa0 >sa1 1155 * n1785gat
not 3 1 >sa0 >sa1 1154 * n1891gat
fan 1 1 1153 * 
fan 1 1 1153 * 
not 2 1 >sa0 >sa1 1152 * n1787gat
not 3 1 >sa0 >sa1 1151 * n1845gat
nor 3 3 >sa0 >sa1 1078 434 433 * n1831gat
fan 1 1 >sa0 1150 * 
fan 1 1 >sa0 1150 * 
not 1 1 1149 * II2417
not 1 1 1147 * II2425
fan 1 1 >sa0 1146 * 
fan 1 1 1146 * 
fan 1 1 >sa0 1141 * 
fan 1 1 1141 * 
nor 1 2 >sa0 1139 1136 * n2567gat
fan 1 1 >sa0 1138 * 
fan 1 1 1138 * 
not 1 1 1133 * II2225
not 1 1 1132 * II2235
nor 1 3 416 278 1106 * n2594gat
not 1 1 1131 * II2148
not 1 1 1130 * II2157
not 2 1 >sa0 >sa1 1129 * n1150gat
not 1 1 1128 * II2130
not 1 1 1127 * II2153
not 2 1 >sa0 >sa1 1126 * n873gat
not 1 1 1125 * II2112
not 1 1 1124 * II2162
not 2 1 >sa0 >sa1 1123 * n983gat
nor 1 2 >sa0 1122 1118 * n874gat
not 2 1 >sa0 >sa1 1121 * n566gat
nor 1 2 >sa0 1120 1117 * n132gat
not 2 1 >sa0 >sa1 1119 * n875gat
not 1 1 1116 * II2035
not 1 1 1115 * II2044
not 2 1 >sa0 >sa1 1114 * n985gat
not 1 1 1113 * II2017
not 1 1 1112 * II2040
not 2 1 >sa0 >sa1 1111 * n1085gat
not 1 1 1110 * II1999
not 1 1 1109 * II2049
not 2 1 >sa0 >sa1 1108 * n1084gat
fan 1 1 >sa0 1104 * 
fan 1 1 1104 * 
not 1 1 1103 * II1903
not 1 1 1102 * n923gat
fan 1 1 >sa0 1101 * 
fan 1 1 1101 * 
not 1 1 1100 * II1899
not 1 1 1099 * n927gat
fan 1 1 >sa0 1098 * 
fan 1 1 1098 * 
not 1 1 1097 * II1908
not 1 1 1096 * n850gat
fan 1 1 >sa0 1095 * 
fan 1 1 >sa0 1095 * 
not 1 1 1094 * n1328gat
not 1 1 1092 * n1382gat
fan 1 1 >sa0 1090 * 
fan 1 1 >sa0 1090 * 
fan 1 1 >sa0 1089 * 
fan 1 1 1089 * 
not 1 1 1088 * II1795
not 1 1 1087 * n924gat
fan 1 1 >sa0 1086 * 
fan 1 1 1086 * 
not 1 1 1085 * II1791
not 1 1 1084 * n922gat
fan 1 1 >sa0 1083 * 
fan 1 1 1083 * 
not 1 1 1082 * II1800
not 1 1 1081 * n1118gat
nor 1 2 >sa0 717 1079 * n1692gat
not 1 1 >sa0 1074 * n2429gat
not 1 1 1073 * II2428
fan 1 1 1072 * 
fan 1 1 1072 * 
fan 1 1 1071 * 
fan 1 1 1071 * 
not 1 1 1069 * II2433
fan 1 1 >sa0 1068 * 
fan 1 1 >sa0 1068 * 
fan 1 1 1068 * 
not 1 1 1067 * n2612gat
fan 1 1 >sa0 1065 * 
fan 1 1 1065 * 
not 1 1 1064 * n2540gat
not 1 1 1061 * n2536gat
fan 1 1 >sa0 1059 * 
fan 1 1 >sa0 1059 * 
fan 1 1 1059 * 
not 6 1 >sa0 >sa1 1057 * n2214gat
not 1 1 1056 * II2275
fan 1 1 1055 * 
fan 1 1 1055 * 
not 5 1 >sa0 >sa1 1053 * n2356gat
not 1 1 1052 * II2238
fan 1 1 1051 * 
fan 1 1 1051 * 
not 4 1 >sa0 >sa1 1049 * n2354gat
not 1 1 1048 * II2271
fan 1 1 1047 * 
fan 1 1 1047 * 
fan 1 1 1046 * 
fan 1 1 1046 * 
not 5 1 >sa0 >sa1 1044 * n2355gat
not 1 1 1043 * II2242
fan 1 1 1042 * 
fan 1 1 1042 * 
not 1 1 1040 * II2268
not 4 1 >sa0 >sa1 1039 * n2285gat
fan 1 1 >sa0 1038 * 
fan 1 1 >sa0 1038 * 
fan 1 1 1038 * 
not 1 1 1036 * II1476
fan 1 1 >sa0 1035 * 
fan 1 1 >sa0 1035 * 
fan 1 1 1035 * 
not 1 1 1033 * II1472
fan 1 1 >sa0 1032 * 
fan 1 1 >sa0 1032 * 
fan 1 1 1032 * 
not 2 1 >sa0 >sa1 1031 * n696gat
fan 1 1 >sa0 1030 * 
fan 1 1 >sa0 1030 * 
fan 1 1 1030 * 
not 1 1 1028 * II1411
fan 1 1 >sa0 1027 * 
fan 1 1 1027 * 
not 1 1 1025 * II1407
fan 1 1 >sa0 1024 * 
fan 1 1 >sa0 1024 * 
fan 1 1 1024 * 
not 1 1 1022 * II1416
fan 1 1 >sa0 1021 * 
fan 1 1 >sa0 1021 * 
fan 1 1 1021 * 
not 2 1 >sa0 >sa1 1020 * n812gat
fan 1 1 >sa0 1019 * 
fan 1 1 >sa0 1019 * 
fan 1 1 1019 * 
not 2 1 >sa0 >sa1 1018 * n811gat
fan 1 1 >sa0 1017 * 
fan 1 1 >sa0 1017 * 
fan 1 1 1017 * 
not 2 1 >sa0 >sa1 1016 * n813gat
fan 1 1 >sa0 1015 * 
fan 1 1 >sa0 1015 * 
fan 1 1 1015 * 
not 1 1 1013 * II1236
fan 1 1 >sa0 1012 * 
fan 1 1 1012 * 
not 1 1 1010 * II1209
fan 1 1 >sa0 1009 * 
fan 1 1 >sa0 1009 * 
fan 1 1 1009 * 
not 1 1 1007 * II1178
fan 1 1 >sa0 1006 * 
fan 1 1 >sa0 1006 * 
fan 1 1 1006 * 
not 1 1 1004 * II1174
fan 1 1 >sa0 1003 * 
fan 1 1 >sa0 1003 * 
fan 1 1 1003 * 
not 1 1 1001 * II1183
not 2 1 >sa0 >sa1 1000 * n737gat
fan 1 1 >sa0 999 * 
fan 1 1 999 * 
not 2 1 >sa0 >sa1 998 * n738gat
fan 1 1 >sa0 997 * 
fan 1 1 997 * 
not 2 1 >sa0 >sa1 996 * n502gat
fan 1 1 >sa0 995 * 
fan 1 1 995 * 
not 2 1 >sa0 >sa1 994 * n501gat
fan 1 1 >sa0 993 * 
fan 1 1 993 * 
fan 1 1 >sa0 992 * 
fan 1 1 >sa0 992 * 
fan 1 1 992 * 
not 2 1 >sa0 >sa1 991 * n1059gat
fan 1 1 >sa0 990 * 
fan 1 1 >sa0 990 * 
fan 1 1 990 * 
not 2 1 >sa0 >sa1 989 * n1058gat
fan 1 1 >sa0 988 * 
fan 1 1 >sa0 988 * 
fan 1 1 988 * 
not 2 1 >sa0 >sa1 987 * n1060gat
fan 1 1 >sa0 986 * 
fan 1 1 >sa0 986 * 
fan 1 1 986 * 
not 2 1 >sa0 >sa1 985 * n1237gat
fan 1 1 >sa0 984 * 
fan 1 1 984 * 
not 2 1 >sa0 >sa1 983 * n1236gat
fan 1 1 >sa0 982 * 
fan 1 1 >sa0 982 * 
fan 1 1 982 * 
not 2 1 >sa0 >sa1 981 * n1238gat
fan 1 1 >sa0 980 * 
fan 1 1 >sa0 980 * 
fan 1 1 980 * 
not 2 1 >sa0 >sa1 979 * n953gat
fan 1 1 >sa0 978 * 
fan 1 1 >sa0 978 * 
fan 1 1 978 * 
not 2 1 >sa0 >sa1 977 * n952gat
fan 1 1 >sa0 976 * 
fan 1 1 >sa0 976 * 
fan 1 1 976 * 
not 2 1 >sa0 >sa1 975 * n954gat
fan 1 1 >sa0 974 * 
fan 1 1 >sa0 974 * 
fan 1 1 974 * 
not 2 1 >sa0 >sa1 973 * n353gat
fan 1 1 >sa0 972 * 
fan 1 1 972 * 
not 2 1 >sa0 >sa1 971 * n914gat
fan 1 1 >sa0 970 * 
fan 1 1 >sa0 970 * 
fan 1 1 970 * 
not 2 1 >sa0 >sa1 969 * n176gat
fan 1 1 >sa0 968 * 
fan 1 1 >sa0 968 * 
fan 1 1 968 * 
not 2 1 >sa0 >sa1 967 * n175gat
fan 1 1 >sa0 966 * 
fan 1 1 >sa0 966 * 
fan 1 1 966 * 
not 2 1 >sa0 >sa1 965 * n177gat
not 2 1 >sa0 >sa1 964 * n1816gat
fan 1 1 >sa0 963 * 
fan 1 1 963 * 
not 2 1 >sa0 >sa1 962 * n485gat
fan 1 1 >sa0 961 * 
fan 1 1 961 * 
not 2 1 >sa0 >sa1 960 * n1021gat
fan 1 1 >sa0 959 * 
fan 1 1 >sa0 959 * 
fan 1 1 959 * 
not 2 1 >sa0 >sa1 958 * n267gat
fan 1 1 >sa0 957 * 
fan 1 1 957 * 
not 2 1 >sa0 >sa1 956 * n266gat
fan 1 1 >sa0 955 * 
fan 1 1 >sa0 955 * 
fan 1 1 955 * 
not 2 1 >sa0 >sa1 954 * n268gat
fan 1 1 >sa0 953 * 
fan 1 1 >sa0 953 * 
fan 1 1 >sa0 953 * 
fan 1 1 953 * 
not 1 1 952 * II414
nor 1 2 947 951 * n1376gat
not 1 1 949 * II409
fan 1 1 >sa0 946 * 
fan 1 1 >sa0 946 * 
fan 1 1 >sa0 946 * 
fan 1 1 946 * 
fan 1 1 >sa0 945 * 
fan 1 1 >sa0 945 * 
fan 1 1 945 * 
not 1 1 944 * II453
nor 1 2 943 939 * n1318gat
not 1 1 941 * II456
fan 1 1 >sa0 938 * 
fan 1 1 >sa0 938 * 
fan 1 1 938 * 
fan 1 1 >sa0 937 * 
fan 1 1 >sa0 937 * 
fan 1 1 937 * 
not 2 1 >sa0 >sa1 936 * n916gat
fan 1 1 >sa0 935 * 
fan 1 1 >sa0 935 * 
fan 1 1 935 * 
not 2 1 >sa0 >sa1 934 * n915gat
fan 1 1 >sa0 933 * 
fan 1 1 >sa0 933 * 
fan 1 1 933 * 
not 2 1 >sa0 >sa1 932 * n351gat
not 1 1 931 * II729
fan 1 1 >sa0 926 * 
fan 1 1 926 * 
fan 1 1 >sa0 925 * 
fan 1 1 >sa0 925 * 
not 2 1 >sa0 >sa1 924 * n2850gat
not 1 1 >sa0 923 * n2729gat
not 1 1 >sa0 922 * n2765gat
not 2 1 >sa0 >sa1 920 * n2667gat
not 1 1 919 * II594
not 3 1 >sa0 >sa1 918 * n2720gat
not 2 1 >sa0 >sa1 917 * n2767gat
fan 1 1 >sa0 916 * 
fan 1 1 >sa0 916 * 
fan 1 1 >sa0 916 * 
fan 1 1 >sa0 916 * 
not 1 1 915 * n2785gat
not 1 1 >sa0 914 * n2831gat
not 1 1 >sa0 913 * n2867gat
not 1 1 912 * II248
not 6 1 >sa0 >sa1 911 * n2715gat
not 1 1 910 * II240
not 6 1 >sa0 >sa1 909 * n2723gat
not 1 1 908 * II256
not 6 1 >sa0 >sa1 907 * n2726gat
not 1 1 906 * II264
not 5 1 >sa0 >sa1 905 * n2859gat
not 1 1 904 * II214
not 3 1 >sa0 >sa1 903 * n2862gat
not 1 1 902 * II220
not 3 1 >sa0 >sa1 901 * n2854gat
not 1 1 900 * II227
fan 1 1 >sa0 899 * 
fan 1 1 >sa0 899 * 
fan 1 1 >sa0 899 * 
fan 1 1 >sa0 898 * 
fan 1 1 >sa0 898 * 
fan 1 1 >sa0 898 * 
fan 1 1 >sa0 897 * 
fan 1 1 >sa0 897 * 
fan 1 1 >sa0 897 * 
fan 1 1 >sa0 896 * 
fan 1 1 >sa0 896 * 
fan 1 1 >sa0 896 * 
fan 1 1 >sa0 895 * 
fan 1 1 >sa0 895 * 
fan 1 1 >sa0 895 * 
fan 1 1 >sa0 894 * 
fan 1 1 >sa0 894 * 
fan 1 1 >sa0 894 * 
fan 1 1 >sa0 893 * 
fan 1 1 >sa0 893 * 
fan 1 1 >sa0 893 * 
fan 1 1 >sa0 892 * 
fan 1 1 >sa0 892 * 
fan 1 1 >sa0 892 * 
fan 1 1 >sa0 891 * 
fan 1 1 >sa0 891 * 
fan 1 1 >sa0 891 * 
not 1 1 890 * II384
not 5 1 >sa0 >sa1 889 * n2672gat
not 4 1 >sa0 >sa1 888 * n2669gat
not 1 1 887 * II81
not 1 1 886 * II100
not 4 1 >sa0 >sa1 885 * n2792gat
not 1 1 884 * II65
not 4 1 >sa0 >sa1 883 * n2789gat
not 1 1 882 * II50
not 4 1 >sa0 >sa1 881 * n2781gat
not 1 1 880 * II426
not 5 1 >sa0 >sa1 879 * n2778gat
not 1 1 878 * II320
not 5 1 >sa0 >sa1 877 * n2775gat
not 1 1 876 * II340
not 5 1 >sa0 >sa1 875 * n2734gat
not 1 1 874 * II300
not 5 1 >sa0 >sa1 873 * n2731gat
or 1 4 1222 599 609 592 * II4000
fan 1 1 >sa0 1717 * 
fan 1 1 >sa0 1717 * 
fan 1 1 >sa0 1717 * 
fan 1 1 >sa0 1717 * 
fan 1 1 >sa0 1717 * 
not 2 1 >sa0 >sa1 1716 * n2732gat
fan 1 1 >sa0 1715 * 
fan 1 1 >sa0 1715 * 
fan 1 1 >sa0 1715 * 
fan 1 1 >sa0 1715 * 
fan 1 1 >sa0 1715 * 
not 2 1 >sa0 >sa1 1714 * n2735gat
fan 1 1 >sa0 1713 * 
fan 1 1 >sa0 1713 * 
fan 1 1 >sa0 1713 * 
fan 1 1 >sa0 1713 * 
fan 1 1 >sa0 1713 * 
not 2 1 >sa0 >sa1 1712 * n2776gat
fan 1 1 >sa0 1711 * 
fan 1 1 >sa0 1711 * 
fan 1 1 >sa0 1711 * 
fan 1 1 >sa0 1711 * 
fan 1 1 >sa0 1711 * 
not 2 1 >sa0 >sa1 1710 * n2779gat
fan 1 1 >sa0 1709 * 
fan 1 1 >sa0 1709 * 
fan 1 1 >sa0 1709 * 
fan 1 1 >sa0 1709 * 
not 3 1 >sa0 >sa1 1708 * n2782gat
fan 1 1 >sa0 1707 * 
fan 1 1 >sa0 1707 * 
fan 1 1 >sa0 1707 * 
fan 1 1 >sa0 1707 * 
not 3 1 >sa0 >sa1 1706 * n2790gat
fan 1 1 >sa0 1705 * 
fan 1 1 >sa0 1705 * 
fan 1 1 >sa0 1705 * 
fan 1 1 >sa0 1705 * 
not 3 1 >sa0 >sa1 1704 * n2793gat
not 3 1 >sa0 >sa1 1703 * n2670gat
fan 1 1 >sa0 1702 * 
fan 1 1 >sa0 1702 * 
fan 1 1 >sa0 1702 * 
fan 1 1 >sa0 1702 * 
fan 1 1 >sa0 1701 * 
fan 1 1 >sa0 1701 * 
fan 1 1 >sa0 1701 * 
fan 1 1 >sa0 1701 * 
fan 1 1 >sa0 1701 * 
not 2 1 >sa0 >sa1 1700 * n2673gat
not 3 1 >sa0 >sa1 1672 * n2855gat
fan 1 1 >sa0 1671 * 
fan 1 1 >sa0 1671 * 
fan 1 1 1671 * 
not 3 1 >sa0 >sa1 1670 * n2863gat
fan 1 1 >sa0 1669 * 
fan 1 1 >sa0 1669 * 
fan 1 1 1669 * 
not 3 1 >sa0 >sa1 1668 * n2860gat
fan 1 1 >sa0 1667 * 
fan 1 1 >sa0 1667 * 
fan 1 1 >sa0 1667 * 
fan 1 1 >sa0 1667 * 
fan 1 1 1667 * 
not 2 1 >sa0 >sa1 1666 * n2727gat
fan 1 1 >sa0 1665 * 
fan 1 1 >sa0 1665 * 
fan 1 1 >sa0 1665 * 
fan 1 1 >sa0 1665 * 
fan 1 1 >sa0 1665 * 
fan 1 1 >sa0 1665 * 
not 2 1 >sa0 >sa1 1664 * n2724gat
fan 1 1 >sa0 1663 * 
fan 1 1 >sa0 1663 * 
fan 1 1 >sa0 1663 * 
fan 1 1 >sa0 1663 * 
fan 1 1 >sa0 1663 * 
fan 1 1 >sa0 1663 * 
not 2 1 >sa0 >sa1 1662 * n2716gat
fan 1 1 >sa0 1661 * 
fan 1 1 >sa0 1661 * 
fan 1 1 >sa0 1661 * 
fan 1 1 >sa0 1661 * 
fan 1 1 >sa0 1661 * 
fan 1 1 >sa0 1661 * 
not 1 1 >sa0 1660 * n2868gat
not 2 1 >sa0 >sa1 1657 * n92gat
fan 1 1 1652 * 
fan 1 1 1652 * 
fan 1 1 >sa0 1651 * 
fan 1 1 >sa0 1651 * 
fan 1 1 >sa0 1651 * 
not 1 1 1650 * n2721gat
fan 1 1 1649 * 
fan 1 1 1649 * 
fan 1 1 >sa0 1646 * 
fan 1 1 >sa0 1646 * 
not 1 1 1643 * II721
nor 5 2 >sa0 >sa1 1630 928 * n1614gat
nor 5 2 >sa0 >sa1 929 1634 * n1616gat
nor 5 2 >sa0 >sa1 1638 930 * n1499gat
not 2 1 >sa0 >sa1 1641 * n352gat
fan 1 1 >sa0 1640 * 
fan 1 1 >sa0 1640 * 
not 1 1 1639 * II715
fan 1 1 >sa0 1636 * 
fan 1 1 >sa0 1636 * 
not 1 1 1635 * II678
fan 1 1 >sa0 1632 * 
fan 1 1 >sa0 1632 * 
not 1 1 1631 * II661
not 1 1 1628 * II449
nor 1 2 1621 940 * n1256gat
not 2 1 >sa0 >sa1 1625 * n484gat
not 4 1 >sa0 >sa1 1624 * n1446gat
not 2 1 >sa0 >sa1 1623 * n483gat
not 1 1 1622 * II443
not 1 1 1619 * II401
nor 1 2 1618 1610 * n1114gat
nor 1 2 1611 948 * n1117gat
not 2 1 >sa0 >sa1 1615 * n1022gat
not 3 1 >sa0 >sa1 1614 * n1448gat
not 2 1 >sa0 >sa1 1613 * n1023gat
not 1 1 1612 * II378
fan 1 1 >sa0 1608 * 
fan 1 1 >sa0 1608 * 
not 1 1 1607 * II314
fan 1 1 >sa0 1604 * 
fan 1 1 >sa0 1604 * 
not 1 1 1603 * II334
fan 1 1 >sa0 1601 * 
fan 1 1 >sa0 1601 * 
not 1 1 1600 * II354
nor 1 2 >sa0 1599 1287 * n1599gat
fan 1 1 >sa0 1597 * 
fan 1 1 >sa0 1597 * 
not 1 1 1596 * II398
fan 1 1 >sa0 1594 * 
fan 1 1 >sa0 1594 * 
not 1 1 1593 * II440
fan 1 1 >sa0 1591 * 
fan 1 1 >sa0 >sa1 1591 * 
fan 1 1 >sa0 1590 * 
fan 1 1 >sa0 1590 * 
not 1 1 1589 * II609
fan 1 1 >sa0 1586 * 
fan 1 1 >sa0 1586 * 
not 1 1 1585 * II623
fan 1 1 >sa0 1582 * 
fan 1 1 >sa0 1582 * 
not 1 1 1581 * II637
fan 1 1 >sa0 1578 * 
fan 1 1 >sa0 1578 * 
not 1 1 1577 * II675
fan 1 1 >sa0 1575 * 
fan 1 1 >sa0 1575 * 
not 1 1 1574 * II712
fan 1 1 >sa0 1571 * 
fan 1 1 >sa0 1571 * 
not 1 1 1570 * II793
fan 1 1 >sa0 1567 * 
fan 1 1 >sa0 1567 * 
not 1 1 1566 * II815
fan 1 1 >sa0 1563 * 
fan 1 1 >sa0 1563 * 
not 1 1 1562 * II837
fan 1 1 >sa0 1559 * 
fan 1 1 >sa0 1559 * 
not 1 1 1558 * II880
fan 1 1 >sa0 1555 * 
fan 1 1 >sa0 1555 * 
not 1 1 1554 * II902
fan 1 1 >sa0 1552 * 
fan 1 1 >sa0 1552 * 
not 1 1 1551 * II916
fan 1 1 >sa0 1548 * 
fan 1 1 >sa0 1548 * 
not 1 1 1547 * II958
fan 1 1 >sa0 1544 * 
fan 1 1 >sa0 1544 * 
not 1 1 1543 * II980
fan 1 1 >sa0 1540 * 
fan 1 1 >sa0 1540 * 
not 1 1 1539 * II1002
not 1 1 1536 * II1085
fan 1 1 >sa0 1534 * 
fan 1 1 >sa0 1534 * 
not 1 1 1533 * II1091
fan 1 1 >sa0 1531 * 
fan 1 1 >sa0 1531 * 
not 1 1 1530 * II1121
fan 1 1 >sa0 1528 * 
fan 1 1 >sa0 1528 * 
not 1 1 1527 * II1127
fan 1 1 >sa0 1525 * 
fan 1 1 >sa0 1525 * 
not 2 1 >sa0 >sa1 1524 * n719gat
not 1 1 1523 * II1141
not 2 1 >sa0 >sa1 1520 * n717gat
not 1 1 1519 * II1155
not 2 1 >sa0 >sa1 1516 * n718gat
not 1 1 1515 * II1169
not 2 1 >sa0 >sa1 1512 * n736gat
not 1 1 1511 * II1204
not 2 1 >sa0 >sa1 1509 * n503gat
not 1 1 1508 * II1230
fan 1 1 >sa0 1505 * 
fan 1 1 >sa0 1505 * 
not 1 1 1504 * II1305
fan 1 1 >sa0 1501 * 
fan 1 1 >sa0 1501 * 
not 1 1 1500 * II1322
fan 1 1 >sa0 1497 * 
fan 1 1 >sa0 1497 * 
not 1 1 1496 * II1339
not 2 1 >sa0 >sa1 1493 * n596gat
not 1 1 1492 * II1374
not 2 1 >sa0 >sa1 1489 * n594gat
not 1 1 1488 * II1388
not 2 1 >sa0 >sa1 1486 * n595gat
not 1 1 1485 * II1402
fan 1 1 >sa0 1482 * 
fan 1 1 >sa0 1482 * 
not 1 1 1481 * II1439
not 2 1 >sa0 >sa1 1478 * n694gat
not 1 1 1477 * II1453
not 2 1 >sa0 >sa1 1474 * n695gat
not 1 1 1473 * II1467
fan 1 1 >sa0 1470 * 
fan 1 1 >sa0 1470 * 
fan 1 1 >sa0 1470 * 
fan 1 1 >sa0 1470 * 
not 2 1 >sa0 >sa1 1469 * n2417gat
not 7 1 >sa0 >sa1 1468 * n2353gat
not 1 1 1467 * II2257
not 2 1 >sa0 >sa1 1466 * n2578gat
fan 1 1 >sa0 1465 * 
fan 1 1 >sa0 1465 * 
fan 1 1 >sa0 1465 * 
fan 1 1 >sa0 1465 * 
fan 1 1 >sa0 1465 * 
not 6 1 >sa0 >sa1 1464 * n2284gat
not 1 1 1463 * II2213
not 1 1 1462 * II2263
not 3 1 >sa0 >sa1 1461 * n2290gat
not 2 1 >sa0 >sa1 1460 * n2418gat
fan 1 1 >sa0 1459 * 
fan 1 1 >sa0 1459 * 
fan 1 1 >sa0 1459 * 
fan 1 1 >sa0 1459 * 
not 6 1 >sa0 >sa1 1458 * n2443gat
not 1 1 1457 * II2228
not 2 1 >sa0 >sa1 1456 * n2577gat
fan 1 1 >sa0 1455 * 
fan 1 1 >sa0 1455 * 
fan 1 1 >sa0 1455 * 
fan 1 1 >sa0 1455 * 
fan 1 1 >sa0 1455 * 
not 1 1 1454 * II2254
not 2 1 >sa0 >sa1 1453 * n2217gat
not 2 1 >sa0 >sa1 1452 * n2419gat
fan 1 1 >sa0 1451 * 
fan 1 1 >sa0 1451 * 
fan 1 1 >sa0 1451 * 
fan 1 1 >sa0 1451 * 
fan 1 1 >sa0 1451 * 
fan 1 1 >sa0 1451 * 
not 2 1 >sa0 >sa1 1450 * n2532gat
nor 1 3 1441 1444 1060 * n2534gat
not 1 1 1447 * II2385
nor 1 3 1440 1449 1063 * n2531gat
not 1 1 1446 * II2380
not 2 1 >sa0 >sa1 1445 * n2487gat
not 1 1 1443 * II2372
not 2 1 >sa0 >sa1 1442 * n2557gat
not 2 1 >sa0 >sa1 1439 * n2555gat
not 3 1 >sa0 >sa1 1438 * n2486gat
not 1 1 1437 * II2403
not 2 1 >sa0 >sa1 1436 * n2482gat
not 1 1 1435 * II2420
not 2 1 >sa0 >sa1 1434 * n2554gat
or 4 2 >sa0 >sa1 1432 1076 * n2989gat
not 1 1 >sa0 1431 * n1032gat
not 2 1 >sa0 >sa1 1430 * n1194gat
not 1 1 1429 * II1752
not 1 1 >sa0 1427 * n848gat
not 2 1 >sa0 >sa1 1426 * n1192gat
not 1 1 1425 * II1769
not 1 1 >sa0 1423 * n849gat
not 2 1 >sa0 >sa1 1422 * n1193gat
not 1 1 1421 * II1786
nor 1 2 >sa0 1415 1091 * n1383gat
not 1 1 >sa0 1417 * n1451gat
not 1 1 >sa0 1416 * n1381gat
not 1 1 >sa0 1413 * n739gat
not 2 1 >sa0 >sa1 1412 * n1211gat
not 1 1 1411 * II1860
not 1 1 >sa0 1409 * n925gat
not 2 1 >sa0 >sa1 1408 * n1209gat
not 1 1 1407 * II1877
not 1 1 >sa0 1405 * n921gat
not 2 1 >sa0 >sa1 1404 * n1210gat
not 1 1 1403 * II1894
fan 1 1 >sa0 1401 * 
fan 1 1 >sa0 1401 * 
not 2 1 >sa0 >sa1 1400 * n789gat
not 2 1 >sa0 >sa1 1399 * n784gat
fan 1 1 >sa0 1398 * 
fan 1 1 >sa0 1398 * 
not 2 1 >sa0 >sa1 1397 * n787gat
not 2 1 >sa0 >sa1 1396 * n785gat
fan 1 1 >sa0 1395 * 
fan 1 1 >sa0 1395 * 
not 2 1 >sa0 >sa1 1394 * n788gat
not 2 1 >sa0 >sa1 1393 * n786gat
fan 1 1 >sa0 1392 * 
fan 1 1 >sa0 1392 * 
or 2 2 >sa0 >sa1 1391 1389 * n2876gat
fan 1 1 >sa0 1390 * 
fan 1 1 >sa0 1390 * 
fan 1 1 >sa0 1388 * 
fan 1 1 >sa0 1388 * 
not 2 1 >sa0 >sa1 1387 * n231gat
not 2 1 >sa0 >sa1 1386 * n226gat
fan 1 1 >sa0 1385 * 
fan 1 1 >sa0 1385 * 
not 2 1 >sa0 >sa1 1384 * n229gat
not 2 1 >sa0 >sa1 1383 * n227gat
fan 1 1 >sa0 1382 * 
fan 1 1 >sa0 1382 * 
not 2 1 >sa0 >sa1 1381 * n230gat
not 2 1 >sa0 >sa1 1380 * n228gat
not 1 1 >sa0 1379 * n2595gat
nor 1 3 615 1367 677 * n2663gat
nor 1 2 676 1366 * n2662gat
not 2 1 >sa0 >sa1 1378 * n2576gat
not 2 1 >sa0 >sa1 1377 * n2574gat
nor 1 2 >sa0 1135 1375 * n2499gat
not 1 1 1376 * n2127gat
not 1 1 1373 * n2046gat
nor 1 2 >sa0 1370 1142 * n299gat
not 1 1 1371 * n1708gat
not 2 1 >sa0 >sa1 1369 * n2553gat
not 2 1 >sa0 >sa1 1368 * n2551gat
fan 1 1 1365 * 
fan 1 1 1365 * 
fan 1 1 1365 * 
fan 1 1 >sa0 1364 * 
fan 1 1 >sa0 1364 * 
fan 1 1 >sa0 1364 * 
fan 1 1 >sa0 1363 * 
fan 1 1 >sa0 1363 * 
not 7 1 >sa0 >sa1 1362 * n1788gat
not 1 1 >sa0 1361 * n1969gat
fan 1 1 >sa0 1360 * 
fan 1 1 >sa0 1360 * 
fan 1 1 >sa0 1360 * 
fan 1 1 >sa0 1359 * 
fan 1 1 >sa0 1359 * 
fan 1 1 >sa0 1359 * 
fan 1 1 >sa0 1359 * 
not 5 1 >sa0 >sa1 1358 * n1786gat
not 3 1 >sa0 >sa1 1357 * n1893gat
fan 1 1 >sa0 1356 * 
fan 1 1 >sa0 1356 * 
fan 1 1 >sa0 1356 * 
fan 1 1 1356 * 
fan 1 1 >sa0 1355 * 
fan 1 1 >sa0 1355 * 
fan 1 1 >sa0 1355 * 
fan 1 1 >sa0 1355 * 
not 5 1 >sa0 >sa1 1354 * n1839gat
not 1 1 >sa0 1353 * n1887gat
not 2 1 >sa0 >sa1 1352 * n1838gat
not 3 1 >sa0 >sa1 1351 * n1956gat
fan 1 1 >sa0 1350 * 
fan 1 1 >sa0 1350 * 
fan 1 1 1350 * 
fan 1 1 >sa0 1349 * 
fan 1 1 >sa0 1349 * 
fan 1 1 >sa0 1349 * 
fan 1 1 >sa0 1349 * 
fan 1 1 >sa0 1349 * 
fan 1 1 >sa0 1349 * 
fan 1 1 >sa0 1349 * 
not 8 1 >sa0 >sa1 1348 * n1784gat
not 1 1 >sa0 1347 * n1709gat
not 5 1 >sa0 >sa1 1344 * n2212gat
nor 1 2 >sa0 1167 1335 * n2331gat
nor 1 2 >sa0 1321 1168 * n2150gat
fan 1 1 >sa0 1340 * 
fan 1 1 >sa0 1340 * 
fan 1 1 >sa0 1340 * 
not 5 1 >sa0 >sa1 1339 * n1991gat
not 1 1 >sa0 1338 * n2052gat
nor 3 2 >sa0 >sa1 1328 1337 * n2193gat
nor 1 2 >sa0 1327 1172 * n1964gat
fan 1 1 >sa0 1334 * 
fan 1 1 >sa0 1334 * 
fan 1 1 >sa0 1334 * 
fan 1 1 >sa0 1334 * 
not 1 1 1332 * n3045gat
fan 1 1 >sa0 1331 * 
fan 1 1 >sa0 1331 * 
fan 1 1 >sa0 1331 * 
fan 1 1 >sa0 1331 * 
not 5 1 >sa0 >sa1 1330 * n1986gat
not 1 1 1329 * II3513
fan 1 1 >sa0 1326 * 
fan 1 1 >sa0 1326 * 
fan 1 1 >sa0 1326 * 
not 4 1 >sa0 >sa1 1325 * n2216gat
not 3 1 >sa0 >sa1 1323 * n2152gat
fan 1 1 >sa0 1319 * 
fan 1 1 >sa0 1319 * 
fan 1 1 >sa0 1319 * 
fan 1 1 >sa0 1319 * 
fan 1 1 >sa0 1319 * 
fan 1 1 >sa0 1318 * 
fan 1 1 >sa0 1318 * 
fan 1 1 >sa0 1318 * 
fan 1 1 1318 * 
nor 1 2 >sa0 635 1303 * n2255gat
not 1 1 >sa0 1314 * n2257gat
not 1 1 >sa0 1313 * n2253gat
nor 1 3 1304 1309 1312 * n2129gat
nor 2 2 >sa0 >sa1 1310 1302 * n2185gat
not 1 1 1306 * n3033gat
not 1 1 1305 * II3390
not 1 1 1297 * II4630
nor 1 2 1257 1207 * n1745gat
not 1 1 >sa0 1296 * n3030gat
not 1 1 >sa0 1295 * n3029gat
not 1 1 1293 * n2683gat
not 1 1 1292 * II3235
not 1 1 1291 * II3287
not 1 1 1290 * II3290
not 1 1 1289 * II3293
not 1 1 1288 * II3303
not 1 1 1286 * II3297
not 1 1 1285 * II3300
not 1 1 1284 * II3306
not 1 1 1283 * II3309
not 1 1 1282 * II3312
nor 1 2 >sa0 1232 1277 * n37gat
nor 1 2 >sa0 1265 1242 * n40gat
nor 1 2 >sa0 1247 1261 * n238gat
not 1 1 >sa0 1259 * n1683gat
nor 1 2 >sa0 1274 1238 * n249gat
nor 1 3 >sa0 >sa1 1196 1301 601 * n2015gat
not 1 1 1718 * n2013gat
or 1 2 1294 612 * n2830gat
nor 1 3 >sa0 1213 1645 1210 * n1413gat
nor 1 2 >sa0 1311 1192 * n2258gat
nor 1 2 >sa0 1174 1336 * n2053gat
nor 1 2 >sa0 1372 1144 * n207gat
nor 1 2 >sa0 1093 1419 * n1327gat
nor 1 3 1062 1448 1066 * n2538gat
or 1 3 >sa0 1658 333 295 * II1515
nor 2 2 >sa0 >sa1 280 1647 * n1827gat
nor 1 2 1617 950 * n1377gat
nor 1 2 942 1627 * n1113gat
nor 1 2 >sa0 500 2137 * n2018gat
not 1 1 >sa0 2162 * n3028gat
not 1 1 >sa0 2161 * n3027gat
not 1 1 >sa0 2160 * n3026gat
not 1 1 >sa0 2159 * n3024gat
not 1 1 >sa0 2158 * n3023gat
not 1 1 >sa0 2157 * n3025gat
not 1 1 >sa0 2156 * n3022gat
not 1 1 >sa0 2155 * n3021gat
not 1 1 >sa0 2154 * n3020gat
not 1 1 >sa0 2153 * n3019gat
not 1 1 2152 * II3954
not 1 1 2149 * II4620
not 1 1 2148 * n2805gat
not 1 1 2147 * n3032gat
not 1 1 >sa0 2146 * n2251gat
or 2 2 >sa0 >sa1 1307 2143 * n3006gat
or 1 3 2141 2142 2172 * n3004gat
fan 1 1 >sa0 2145 * 
fan 1 1 2145 * 
not 1 1 >sa0 2144 * n2128gat
not 1 1 >sa0 2140 * n2012gat
fan 1 1 >sa0 2131 * 
fan 1 1 >sa0 2131 * 
fan 1 1 >sa0 2131 * 
fan 1 1 >sa0 2130 * 
fan 1 1 >sa0 2130 * 
fan 1 1 2130 * 
fan 1 1 2130 * 
not 1 1 2126 * n3046gat
fan 1 1 >sa0 2125 * 
fan 1 1 >sa0 2125 * 
fan 1 1 >sa0 2125 * 
fan 1 1 >sa0 2125 * 
fan 1 1 >sa0 2125 * 
nor 1 2 2122 2116 * n1575gat
not 1 1 >sa0 2120 * n2332gat
or 1 2 >sa0 2107 1333 * n3011gat
or 1 3 2115 2113 2173 * n2997gat
fan 1 1 >sa0 2114 * 
fan 1 1 >sa0 2114 * 
fan 1 1 2114 * 
fan 1 1 >sa0 2112 * 
fan 1 1 >sa0 2112 * 
fan 1 1 >sa0 2112 * 
fan 1 1 >sa0 2112 * 
fan 1 1 >sa0 2112 * 
fan 1 1 >sa0 2106 * 
fan 1 1 >sa0 2106 * 
fan 1 1 >sa0 2106 * 
fan 1 1 >sa0 2106 * 
fan 1 1 >sa0 2106 * 
fan 1 1 >sa0 2104 * 
fan 1 1 >sa0 2104 * 
fan 1 1 >sa0 2104 * 
fan 1 1 >sa0 2104 * 
fan 1 1 >sa0 2104 * 
fan 1 1 >sa0 2104 * 
fan 1 1 >sa0 2104 * 
fan 1 1 >sa0 2104 * 
not 1 1 2096 * II3465
nor 3 2 >sa0 >sa1 2095 2084 * n1958gat
nor 1 2 >sa0 2091 2094 * n1957gat
fan 1 1 >sa0 2093 * 
fan 1 1 2093 * 
fan 1 1 2093 * 
fan 1 1 >sa0 2092 * 
fan 1 1 >sa0 2092 * 
fan 1 1 >sa0 2090 * 
fan 1 1 >sa0 2090 * 
fan 1 1 >sa0 2090 * 
fan 1 1 >sa0 2090 * 
fan 1 1 >sa0 2090 * 
not 1 1 2085 * II3494
fan 1 1 >sa0 2081 * 
fan 1 1 >sa0 2081 * 
fan 1 1 >sa0 2081 * 
fan 1 1 >sa0 2080 * 
fan 1 1 >sa0 2080 * 
fan 1 1 >sa0 2080 * 
fan 1 1 >sa0 2080 * 
fan 1 1 >sa0 2080 * 
fan 1 1 >sa0 2071 * 
fan 1 1 >sa0 2071 * 
fan 1 1 >sa0 2071 * 
fan 1 1 >sa0 2071 * 
fan 1 1 >sa0 2071 * 
fan 1 1 >sa0 2071 * 
fan 1 1 >sa0 2071 * 
not 5 1 >sa0 >sa1 2065 * n1442gat
not 10 1 >sa0 >sa1 2064 * n1603gat
not 1 1 2063 * n1350gat
fan 1 1 >sa0 2062 * 
fan 1 1 >sa0 2062 * 
fan 1 1 >sa0 2061 * 
fan 1 1 >sa0 2061 * 
not 1 1 2060 * II4496
or 1 2 2174 2059 * n2880gat
not 1 1 2058 * II4489
or 1 2 2056 1374 * n3014gat
not 1 1 2057 * II4482
fan 1 1 >sa0 2055 * 
fan 1 1 >sa0 2055 * 
fan 1 1 >sa0 2054 * 
fan 1 1 >sa0 2054 * 
not 1 1 >sa0 >sa1 2053 * n2661gat
not 1 1 2052 * II3211
fan 1 1 >sa0 2050 * 
fan 1 1 >sa0 2050 * 
fan 1 1 >sa0 2049 * 
fan 1 1 >sa0 2049 * 
fan 1 1 >sa0 2046 * 
fan 1 1 >sa0 2046 * 
fan 1 1 >sa0 2045 * 
fan 1 1 >sa0 2045 * 
fan 1 1 >sa0 2042 * 
fan 1 1 >sa0 2042 * 
fan 1 1 >sa0 2041 * 
fan 1 1 >sa0 2041 * 
fan 1 1 2036 * 
fan 1 1 2036 * 
fan 1 1 >sa0 2033 * 
fan 1 1 >sa0 2033 * 
fan 1 1 >sa0 2032 * 
fan 1 1 >sa0 2032 * 
fan 1 1 >sa0 2029 * 
fan 1 1 >sa0 2029 * 
fan 1 1 >sa0 2028 * 
fan 1 1 >sa0 2028 * 
fan 1 1 >sa0 2025 * 
fan 1 1 >sa0 2025 * 
fan 1 1 >sa0 2024 * 
fan 1 1 >sa0 2024 * 
not 2 1 >sa0 >sa1 2021 * n1208gat
fan 1 1 >sa0 2020 * 
fan 1 1 >sa0 2020 * 
not 2 1 >sa0 >sa1 2018 * n1207gat
fan 1 1 >sa0 2017 * 
fan 1 1 >sa0 2017 * 
not 2 1 >sa0 >sa1 2015 * n1206gat
fan 1 1 >sa0 2014 * 
fan 1 1 >sa0 2014 * 
or 2 2 >sa0 >sa1 2175 2010 * n2970gat
not 2 1 >sa0 >sa1 2009 * n1191gat
fan 1 1 >sa0 2008 * 
fan 1 1 >sa0 2008 * 
not 2 1 >sa0 >sa1 2006 * n1190gat
fan 1 1 >sa0 2005 * 
fan 1 1 >sa0 2005 * 
not 2 1 >sa0 >sa1 2003 * n1189gat
fan 1 1 >sa0 2002 * 
fan 1 1 >sa0 2002 * 
fan 1 1 >sa0 2000 * 
fan 1 1 >sa0 2000 * 
fan 1 1 2000 * 
fan 1 1 2000 * 
fan 1 1 >sa0 1999 * 
fan 1 1 >sa0 1999 * 
not 2 1 >sa0 >sa1 1998 * n2552gat
fan 1 1 >sa0 1997 * 
fan 1 1 >sa0 1997 * 
not 2 1 >sa0 >sa1 1996 * n2550gat
fan 1 1 >sa0 1995 * 
fan 1 1 >sa0 1995 * 
fan 1 1 >sa0 1995 * 
fan 1 1 >sa0 1994 * 
fan 1 1 >sa0 1994 * 
fan 1 1 1993 * 
fan 1 1 >sa0 >sa1 1993 * 
not 2 1 >sa0 >sa1 1992 * n2606gat
fan 1 1 1991 * 
fan 1 1 >sa0 >sa1 1991 * 
not 2 1 >sa0 >sa1 1990 * n2608gat
not 1 1 >sa0 1989 * n2530gat
not 2 1 >sa0 >sa1 1988 * n2609gat
not 1 1 >sa0 1987 * n2533gat
fan 1 1 1986 * 
fan 1 1 >sa0 >sa1 1986 * 
nor 1 2 1981 1966 * n2219gat
fan 1 1 >sa0 1979 * 
fan 1 1 >sa0 1979 * 
fan 1 1 >sa0 1978 * 
fan 1 1 >sa0 1978 * 
not 2 1 >sa0 >sa1 1977 * n2414gat
nor 1 3 1958 1975 1950 * n2358gat
fan 1 1 >sa0 1971 * 
fan 1 1 >sa0 1971 * 
not 2 1 >sa0 >sa1 1970 * n2575gat
fan 1 1 >sa0 1969 * 
fan 1 1 >sa0 1969 * 
fan 1 1 >sa0 1969 * 
fan 1 1 >sa0 1969 * 
fan 1 1 >sa0 1969 * 
fan 1 1 >sa0 1969 * 
fan 1 1 >sa0 1964 * 
fan 1 1 >sa0 1964 * 
fan 1 1 >sa0 1963 * 
fan 1 1 >sa0 1963 * 
fan 1 1 >sa0 1963 * 
not 2 1 >sa0 >sa1 1962 * n2416gat
not 2 1 >sa0 >sa1 1961 * n2573gat
fan 1 1 >sa0 1960 * 
fan 1 1 >sa0 1960 * 
fan 1 1 >sa0 1960 * 
fan 1 1 >sa0 1960 * 
fan 1 1 >sa0 1960 * 
fan 1 1 >sa0 1960 * 
fan 1 1 >sa0 1954 * 
fan 1 1 >sa0 1954 * 
not 2 1 >sa0 >sa1 1953 * n2415gat
fan 1 1 >sa0 1952 * 
fan 1 1 >sa0 1952 * 
fan 1 1 >sa0 1952 * 
fan 1 1 >sa0 1952 * 
fan 1 1 >sa0 1952 * 
fan 1 1 >sa0 1952 * 
fan 1 1 >sa0 1952 * 
fan 1 1 >sa0 1951 * 
fan 1 1 >sa0 1951 * 
not 2 1 >sa0 >sa1 1946 * n693gat
fan 1 1 >sa0 1945 * 
fan 1 1 >sa0 1945 * 
not 2 1 >sa0 >sa1 1944 * n692gat
fan 1 1 >sa0 1943 * 
fan 1 1 >sa0 1943 * 
not 2 1 >sa0 >sa1 1942 * n691gat
not 2 1 >sa0 >sa1 1939 * n593gat
fan 1 1 >sa0 1938 * 
fan 1 1 >sa0 1938 * 
not 2 1 >sa0 >sa1 1937 * n592gat
fan 1 1 >sa0 1936 * 
fan 1 1 >sa0 1936 * 
not 2 1 >sa0 >sa1 1935 * n591gat
fan 1 1 >sa0 1934 * 
fan 1 1 >sa0 1934 * 
not 2 1 >sa0 >sa1 1933 * n810gat
not 2 1 >sa0 >sa1 1930 * n809gat
not 2 1 >sa0 >sa1 1927 * n808gat
not 2 1 >sa0 >sa1 1924 * n498gat
fan 1 1 >sa0 1923 * 
fan 1 1 >sa0 1923 * 
not 2 1 >sa0 >sa1 1922 * n734gat
fan 1 1 >sa0 1921 * 
fan 1 1 >sa0 1921 * 
not 2 1 >sa0 >sa1 1920 * n716gat
fan 1 1 >sa0 1919 * 
fan 1 1 >sa0 1919 * 
not 2 1 >sa0 >sa1 1918 * n715gat
fan 1 1 >sa0 1917 * 
fan 1 1 >sa0 1917 * 
not 2 1 >sa0 >sa1 1916 * n714gat
fan 1 1 >sa0 1915 * 
fan 1 1 >sa0 1915 * 
not 2 1 >sa0 >sa1 1912 * n735gat
not 2 1 >sa0 >sa1 1909 * n733gat
not 2 1 >sa0 >sa1 1906 * n500gat
not 2 1 >sa0 >sa1 1903 * n499gat
not 2 1 >sa0 >sa1 1902 * n1057gat
not 2 1 >sa0 >sa1 1899 * n1056gat
not 2 1 >sa0 >sa1 1896 * n1055gat
not 2 1 >sa0 >sa1 1893 * n1235gat
not 2 1 >sa0 >sa1 1890 * n1234gat
not 2 1 >sa0 >sa1 1887 * n1233gat
not 2 1 >sa0 >sa1 1884 * n951gat
not 2 1 >sa0 >sa1 1881 * n950gat
not 2 1 >sa0 >sa1 1878 * n949gat
not 2 1 >sa0 >sa1 1875 * n348gat
not 2 1 >sa0 >sa1 1872 * n912gat
not 2 1 >sa0 >sa1 1869 * n174gat
not 2 1 >sa0 >sa1 1866 * n173gat
not 2 1 >sa0 >sa1 1863 * n172gat
nor 2 2 >sa0 >sa1 805 1859 * n1935gat
not 2 1 >sa0 >sa1 1858 * n480gat
not 2 1 >sa0 >sa1 1855 * n1019gat
not 2 1 >sa0 >sa1 1851 * n265gat
not 2 1 >sa0 >sa1 1848 * n264gat
not 2 1 >sa0 >sa1 1845 * n263gat
not 2 1 >sa0 >sa1 1842 * n1018gat
fan 1 1 >sa0 1841 * 
fan 1 1 >sa0 1841 * 
fan 1 1 >sa0 1840 * 
fan 1 1 >sa0 1840 * 
fan 1 1 >sa0 1840 * 
fan 1 1 >sa0 1839 * 
fan 1 1 >sa0 1839 * 
not 2 1 >sa0 >sa1 1838 * n1447gat
not 2 1 >sa0 >sa1 1837 * n1380gat
not 2 1 >sa0 >sa1 1836 * n1020gat
not 2 1 >sa0 >sa1 1835 * n481gat
fan 1 1 >sa0 1834 * 
fan 1 1 >sa0 1834 * 
fan 1 1 >sa0 1833 * 
fan 1 1 >sa0 1833 * 
fan 1 1 >sa0 1833 * 
fan 1 1 >sa0 1833 * 
fan 1 1 >sa0 1832 * 
fan 1 1 >sa0 1832 * 
not 4 1 >sa0 >sa1 1831 * n1319gat
not 2 1 >sa0 >sa1 1830 * n482gat
not 2 1 >sa0 >sa1 1829 * n911gat
not 2 1 >sa0 >sa1 1826 * n913gat
not 2 1 >sa0 >sa1 1823 * n349gat
fan 1 1 >sa0 1820 * 
fan 1 1 >sa0 1820 * 
fan 1 1 >sa0 1819 * 
fan 1 1 >sa0 1819 * 
fan 1 1 >sa0 1819 * 
fan 1 1 >sa0 1819 * 
fan 1 1 1819 * 
fan 1 1 >sa0 1818 * 
fan 1 1 >sa0 1818 * 
fan 1 1 >sa0 1818 * 
fan 1 1 >sa0 1818 * 
fan 1 1 1818 * 
fan 1 1 >sa0 1817 * 
fan 1 1 >sa0 1817 * 
fan 1 1 >sa0 1817 * 
fan 1 1 >sa0 1817 * 
fan 1 1 1817 * 
not 2 1 >sa0 >sa1 1816 * n350gat
not 9 1 >sa0 >sa1 1813 * n856gat
not 8 1 >sa0 >sa1 1812 * n740gat
not 2 1 >sa0 >sa1 1811 * n297gat
not 9 1 >sa0 >sa1 1807 * n373gat
not 8 1 >sa0 >sa1 1806 * n374gat
fan 1 1 >sa0 1805 * 
fan 1 1 >sa0 1805 * 
nor 1 2 >sa0 1804 1802 * n638gat
nor 1 2 1796 1803 * n421gat
fan 1 1 >sa0 1797 * 
fan 1 1 >sa0 1797 * 
fan 1 1 >sa0 1790 * 
fan 1 1 >sa0 1790 * 
nor 1 2 1788 1781 * n361gat
fan 1 1 >sa0 1783 * 
fan 1 1 >sa0 1783 * 
not 1 1 1782 * II203
fan 1 1 >sa0 1777 * 
fan 1 1 >sa0 1777 * 
fan 1 1 1777 * 
not 1 1 1776 * II210
fan 1 1 >sa0 1773 * 
fan 1 1 >sa0 1773 * 
fan 1 1 1773 * 
not 1 1 1772 * II196
fan 1 1 >sa0 1769 * 
fan 1 1 >sa0 1769 * 
fan 1 1 1769 * 
fan 1 1 >sa0 >sa1 1768 * 
fan 1 1 >sa0 >sa1 1768 * 
fan 1 1 >sa0 >sa1 1758 * 
fan 1 1 >sa0 >sa1 1758 * 
fan 1 1 >sa0 >sa1 1758 * 
fan 1 1 >sa0 >sa1 1757 * 
fan 1 1 >sa0 >sa1 1757 * 
fan 1 1 >sa0 >sa1 1757 * 
fan 1 1 >sa0 >sa1 1752 * 
fan 1 1 >sa0 >sa1 1752 * 
fan 1 1 >sa0 >sa1 1752 * 
fan 1 1 >sa0 >sa1 1747 * 
fan 1 1 >sa0 >sa1 1747 * 
fan 1 1 >sa0 >sa1 1747 * 
fan 1 1 >sa0 >sa1 1742 * 
fan 1 1 >sa0 >sa1 1742 * 
fan 1 1 >sa0 >sa1 1736 * 
fan 1 1 >sa0 >sa1 1736 * 
fan 1 1 >sa0 >sa1 1730 * 
fan 1 1 >sa0 >sa1 1730 * 
fan 1 1 >sa0 >sa1 1724 * 
fan 1 1 >sa0 >sa1 1724 * 
not 1 1 >sa0 2180 * n1500gat
not 2 1 >sa0 >sa1 2179 * n1379gat
fan 1 1 >sa0 >sa1 2178 * 
fan 1 1 >sa0 >sa1 2178 * 
not 1 1 >sa0 2176 * n2537gat
nor 1 2 >sa0 2166 1209 * n1586gat
not 1 1 2170 * II3962
not 1 1 >sa0 2169 * n1791gat
or 1 3 2177 352 314 * II1516
not 1 1 2528 * II230
or 1 3 >sa0 2523 2527 2519 * II1277
not 2 1 >sa0 >sa1 2525 * n1218gat
not 1 1 2524 * II223
not 2 1 >sa0 >sa1 2521 * n1220gat
not 1 1 2520 * II217
nor 1 2 2515 1780 * n360gat
not 2 1 >sa0 >sa1 2517 * n1219gat
not 2 1 >sa0 >sa1 2514 * n293gat
nor 1 2 >sa0 1789 2513 * n423gat
nor 1 2 1794 2510 * n746gat
not 1 1 >sa0 2509 * n296gat
fan 1 1 >sa0 2505 * 
fan 1 1 >sa0 2505 * 
fan 1 1 >sa0 2505 * 
fan 1 1 >sa0 2505 * 
fan 1 1 >sa0 2505 * 
fan 1 1 >sa0 2505 * 
fan 1 1 >sa0 2505 * 
fan 1 1 >sa0 2505 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2504 * 
fan 1 1 >sa0 2503 * 
fan 1 1 >sa0 2503 * 
fan 1 1 >sa0 2502 * 
fan 1 1 >sa0 2502 * 
fan 1 1 >sa0 2502 * 
fan 1 1 >sa0 2502 * 
fan 1 1 >sa0 2502 * 
fan 1 1 >sa0 2502 * 
fan 1 1 >sa0 2502 * 
fan 1 1 >sa0 2502 * 
fan 1 1 >sa0 2501 * 
fan 1 1 >sa0 2501 * 
fan 1 1 >sa0 2501 * 
fan 1 1 >sa0 2501 * 
fan 1 1 >sa0 2501 * 
fan 1 1 >sa0 2501 * 
fan 1 1 >sa0 2501 * 
fan 1 1 >sa0 2501 * 
fan 1 1 >sa0 2501 * 
nor 2 2 >sa0 >sa1 2191 1815 * n2239gat
fan 1 1 >sa0 2500 * 
fan 1 1 >sa0 2500 * 
nor 1 4 927 2487 2491 2496 * n1605gat
not 4 1 >sa0 >sa1 2499 * n1559gat
not 4 1 >sa0 >sa1 2494 * n1553gat
not 4 1 >sa0 >sa1 2489 * n1645gat
fan 1 1 >sa0 2482 * 
fan 1 1 >sa0 2482 * 
fan 1 1 >sa0 2481 * 
fan 1 1 >sa0 2481 * 
fan 1 1 >sa0 2480 * 
fan 1 1 >sa0 2480 * 
fan 1 1 >sa0 2479 * 
fan 1 1 >sa0 2479 * 
fan 1 1 >sa0 2478 * 
fan 1 1 >sa0 2478 * 
fan 1 1 >sa0 2478 * 
fan 1 1 >sa0 2478 * 
nor 1 2 2551 2462 * n1501gat
nor 1 2 >sa0 >sa1 2472 2461 * n1620gat
fan 1 1 >sa0 2469 * 
fan 1 1 >sa0 2469 * 
fan 1 1 >sa0 2468 * 
fan 1 1 >sa0 2468 * 
fan 1 1 >sa0 2467 * 
fan 1 1 >sa0 2467 * 
fan 1 1 >sa0 2466 * 
fan 1 1 >sa0 2466 * 
fan 1 1 >sa0 2458 * 
fan 1 1 >sa0 2458 * 
fan 1 1 >sa0 2457 * 
fan 1 1 >sa0 2457 * 
nor 2 2 >sa0 >sa1 1606 2190 * n1606gat
fan 1 1 >sa0 2456 * 
fan 1 1 >sa0 2456 * 
fan 1 1 >sa0 2455 * 
fan 1 1 >sa0 2455 * 
fan 1 1 >sa0 2454 * 
fan 1 1 >sa0 2454 * 
fan 1 1 >sa0 2453 * 
fan 1 1 >sa0 2453 * 
fan 1 1 >sa0 2452 * 
fan 1 1 >sa0 2452 * 
fan 1 1 >sa0 2451 * 
fan 1 1 >sa0 2451 * 
fan 1 1 >sa0 2450 * 
fan 1 1 >sa0 2450 * 
fan 1 1 >sa0 2449 * 
fan 1 1 >sa0 2449 * 
fan 1 1 >sa0 2448 * 
fan 1 1 >sa0 2448 * 
fan 1 1 >sa0 2447 * 
fan 1 1 >sa0 2447 * 
fan 1 1 >sa0 2446 * 
fan 1 1 >sa0 2446 * 
fan 1 1 >sa0 2445 * 
fan 1 1 >sa0 2445 * 
fan 1 1 >sa0 2444 * 
fan 1 1 >sa0 2444 * 
fan 1 1 >sa0 2443 * 
fan 1 1 >sa0 2443 * 
fan 1 1 >sa0 2442 * 
fan 1 1 >sa0 2442 * 
fan 1 1 >sa0 2441 * 
fan 1 1 >sa0 2441 * 
fan 1 1 >sa0 2440 * 
fan 1 1 >sa0 2440 * 
fan 1 1 >sa0 2439 * 
fan 1 1 >sa0 2439 * 
fan 1 1 >sa0 2438 * 
fan 1 1 >sa0 2438 * 
fan 1 1 >sa0 2437 * 
fan 1 1 >sa0 2437 * 
fan 1 1 >sa0 2436 * 
fan 1 1 >sa0 2436 * 
fan 1 1 >sa0 2435 * 
fan 1 1 >sa0 2435 * 
fan 1 1 >sa0 2434 * 
fan 1 1 >sa0 2434 * 
fan 1 1 >sa0 2431 * 
fan 1 1 >sa0 2431 * 
fan 1 1 >sa0 2428 * 
fan 1 1 >sa0 2428 * 
fan 1 1 >sa0 2425 * 
fan 1 1 >sa0 2425 * 
fan 1 1 >sa0 2422 * 
fan 1 1 >sa0 2422 * 
fan 1 1 >sa0 2419 * 
fan 1 1 >sa0 2419 * 
fan 1 1 >sa0 2418 * 
fan 1 1 >sa0 2418 * 
fan 1 1 >sa0 2417 * 
fan 1 1 >sa0 2417 * 
fan 1 1 >sa0 2416 * 
fan 1 1 >sa0 2416 * 
fan 1 1 >sa0 2413 * 
fan 1 1 >sa0 2413 * 
fan 1 1 >sa0 2410 * 
fan 1 1 >sa0 2410 * 
fan 1 1 >sa0 2407 * 
fan 1 1 >sa0 2407 * 
fan 1 1 >sa0 2406 * 
fan 1 1 >sa0 2406 * 
fan 1 1 >sa0 2403 * 
fan 1 1 >sa0 2403 * 
fan 1 1 >sa0 2400 * 
fan 1 1 >sa0 2400 * 
nor 1 3 1949 2384 2371 * n2292gat
nor 1 3 2372 2385 2394 * n2293gat
fan 1 1 >sa0 2390 * 
fan 1 1 >sa0 2390 * 
nor 1 3 >sa0 2366 2282 2389 * n2571gat
nor 1 3 2369 1955 2391 * n2291gat
nor 1 3 2370 1957 1947 * n2357gat
fan 1 1 >sa0 2381 * 
fan 1 1 >sa0 2381 * 
fan 1 1 >sa0 2380 * 
fan 1 1 >sa0 2380 * 
nor 1 2 2362 2377 * n2220gat
nor 1 2 2363 1965 * n2223gat
fan 1 1 >sa0 2368 * 
fan 1 1 >sa0 2368 * 
not 2 1 >sa0 >sa1 2365 * n2359gat
fan 1 1 >sa0 2364 * 
fan 1 1 >sa0 2364 * 
not 1 1 >sa0 2359 * n1523gat
not 1 1 2357 * II2376
fan 1 1 >sa0 2355 * 
fan 1 1 >sa0 2355 * 
nor 1 3 2344 2341 2354 * n2480gat
fan 1 1 >sa0 2353 * 
fan 1 1 >sa0 2353 * 
not 1 1 2351 * II2389
nor 1 3 2343 2340 2555 * n2483gat
fan 1 1 >sa0 2350 * 
fan 1 1 >sa0 2350 * 
not 1 1 2348 * II2394
nor 1 3 >sa0 2337 2273 2347 * n2548gat
fan 1 1 >sa0 2342 * 
fan 1 1 >sa0 2342 * 
fan 1 1 >sa0 2339 * 
fan 1 1 >sa0 2339 * 
not 6 1 >sa0 >sa1 2336 * n1673gat
not 6 1 >sa0 >sa1 2335 * n1584gat
fan 1 1 >sa0 2330 * 
fan 1 1 >sa0 2330 * 
fan 1 1 >sa0 2327 * 
fan 1 1 >sa0 2327 * 
fan 1 1 >sa0 2324 * 
fan 1 1 >sa0 2324 * 
fan 1 1 2323 * 
fan 1 1 2323 * 
fan 1 1 >sa0 2320 * 
fan 1 1 >sa0 2320 * 
fan 1 1 >sa0 2317 * 
fan 1 1 >sa0 2317 * 
fan 1 1 >sa0 2314 * 
fan 1 1 >sa0 2314 * 
nor 1 3 >sa0 2304 2306 2313 * n782gat
nor 1 3 >sa0 2302 2308 2312 * n783gat
nor 1 3 >sa0 2303 2307 2311 * n780gat
nor 1 3 >sa0 2305 2309 2310 * n781gat
not 1 1 2301 * II2094
not 1 1 2300 * n133gat
nor 1 3 >sa0 2290 2292 2299 * n224gat
nor 1 3 >sa0 2288 2294 2298 * n225gat
nor 1 3 >sa0 2289 2293 2297 * n222gat
nor 1 3 >sa0 2291 2295 2296 * n223gat
not 1 1 >sa0 2287 * n3018gat
not 1 1 2281 * n2682gat
not 1 1 2280 * II2324
not 1 1 2279 * n2681gat
not 1 1 2278 * II2354
not 1 1 2277 * n2688gat
not 1 1 2272 * II3945
fan 1 1 >sa0 2271 * 
fan 1 1 >sa0 2271 * 
fan 1 1 >sa0 2271 * 
fan 1 1 >sa0 2271 * 
fan 1 1 >sa0 2271 * 
fan 1 1 >sa0 2271 * 
fan 1 1 >sa0 2271 * 
fan 1 1 >sa0 2271 * 
fan 1 1 2271 * 
fan 1 1 >sa0 >sa1 2271 * 
fan 1 1 >sa0 2270 * 
fan 1 1 >sa0 2270 * 
fan 1 1 >sa0 2270 * 
fan 1 1 >sa0 2270 * 
fan 1 1 2270 * 
nor 1 2 >sa0 2257 2066 * n1846gat
or 1 3 >sa0 2253 2262 2269 * II2720
or 1 3 >sa0 2267 2261 2252 * II2831
or 1 3 >sa0 2265 2251 2236 * II2934
or 1 3 >sa0 2264 2076 2248 * II3178
nor 1 2 >sa0 2083 2244 * n1959gat
not 1 1 2254 * n3043gat
or 1 3 >sa0 2258 2247 2086 * II4144
or 1 3 >sa0 2087 2078 2237 * II2925
not 1 1 2246 * II3461
not 1 1 >sa0 2245 * n1955gat
fan 1 1 >sa0 2242 * 
fan 1 1 >sa0 2242 * 
fan 1 1 2242 * 
not 1 1 2241 * n3039gat
or 1 3 >sa0 2235 2097 2250 * II3148
or 1 3 >sa0 2100 2088 2238 * II2889
nor 1 3 2227 2232 2214 * n1666gat
nor 1 2 2204 2229 * n1737gat
nor 1 2 >sa0 1343 2221 * n2211gat
nor 1 2 2110 2203 * n1801gat
nor 1 2 2211 2224 * n1667gat
not 3 1 >sa0 >sa1 2222 * n2151gat
nor 1 2 2117 2212 * n1663gat
nor 1 3 2231 2213 2118 * n1660gat
nor 1 3 2215 2119 2111 * n1865gat
not 2 1 >sa0 >sa1 2219 * n2058gat
not 2 1 >sa0 >sa1 2216 * n1568gat
not 1 1 >sa0 2210 * n2259gat
not 8 1 >sa0 >sa1 2209 * n1658gat
not 1 1 >sa0 2208 * n1742gat
not 1 1 >sa0 2200 * n2131gat
not 2 1 >sa0 >sa1 2198 * n2187gat
fan 1 1 >sa0 2197 * 
fan 1 1 2197 * 
not 1 1 >sa0 2195 * n2256gat
not 1 1 2194 * II4633
not 1 1 2193 * n2806gat
not 1 1 2192 * n2679gat
nor 2 3 >sa0 >sa1 2333 549 551 * n1602gat
or 1 2 2558 2556 * n2695gat
not 1 1 2557 * n2827gat
nor 1 2 1300 2202 * n2008gat
nor 1 2 >sa0 2199 1308 * n2130gat
nor 1 2 2228 2133 * n1734gat
nor 1 2 >sa0 1320 2220 * n2149gat
nor 1 3 2230 2226 2124 * n1582gat
nor 1 2 2225 2123 * n1521gat
nor 1 3 2109 2121 2223 * n1863gat
or 1 3 >sa0 2089 2102 2268 * II2735
nor 1 2 >sa0 2255 2082 * n1962gat
nor 1 3 1433 2345 2356 * n2430gat
or 1 3 >sa0 1984 2396 1967 * II1723
or 1 3 >sa0 1982 2379 2373 * II4023
nor 1 2 2378 1980 * n2218gat
nor 1 3 1948 2383 1974 * n2306gat
nor 1 3 1956 1973 2393 * n2363gat
nor 1 3 1972 2382 2392 * n2364gat
or 1 3 >sa0 1968 2387 2397 * II1584
fan 1 1 >sa0 2552 * 
fan 1 1 >sa0 2552 * 
nor 1 2 >sa0 1659 2511 * n745gat
nor 1 2 1801 2512 * n529gat
nor 1 2 >sa0 2516 1795 * n362gat
nor 1 2 2518 1786 * n357gat
not 1 1 2559 * n2665gat
nor 1 2 >sa0 2832 1226 * n2249gat
not 1 1 2837 * II4786
nor 2 4 >sa0 >sa1 2579 2526 2522 2151 * n564gat
or 1 3 2561 2150 2598 * II1278
not 1 1 2836 * II4623
not 1 1 2835 * n2801gat
not 1 1 >sa0 2833 * n2248gat
fan 1 1 >sa0 2831 * 
fan 1 1 2831 * 
nor 1 2 >sa0 2830 633 * n2132gat
fan 1 1 >sa0 2828 * 
fan 1 1 >sa0 2828 * 
fan 1 1 >sa0 2828 * 
fan 1 1 >sa0 2828 * 
fan 1 1 >sa0 2828 * 
fan 1 1 >sa0 2828 * 
fan 1 1 >sa0 2828 * 
fan 1 1 >sa0 2828 * 
fan 1 1 >sa0 2826 * 
fan 1 1 >sa0 2826 * 
fan 1 1 >sa0 2825 * 
fan 1 1 2825 * 
not 1 1 >sa0 2824 * n1866gat
not 1 1 >sa0 2823 * n1661gat
not 2 1 >sa0 >sa1 2822 * n1662gat
fan 1 1 >sa0 2821 * 
fan 1 1 >sa0 2821 * 
fan 1 1 >sa0 2821 * 
not 3 1 >sa0 >sa1 2820 * n1670gat
not 4 1 >sa0 >sa1 2819 * n1797gat
not 4 1 >sa0 >sa1 2817 * n1736gat
not 1 1 >sa0 2816 * n1665gat
or 1 3 2800 1345 2103 * II2721
or 1 3 2801 2239 2101 * II2832
or 1 3 2807 2070 2099 * II2926
or 1 3 2802 2098 2077 * II2935
not 1 1 >sa0 2813 * n1888gat
not 3 1 >sa0 >sa1 2812 * n1968gat
not 1 1 2808 * n3038gat
or 1 3 2803 2234 2249 * II3179
not 1 1 >sa0 2805 * n1960gat
not 6 1 >sa0 >sa1 2798 * n1444gat
not 10 1 >sa0 >sa1 2792 * n1590gat
not 1 1 2783 * n2696gat
nor 1 3 >sa0 2750 2274 2748 * n2546gat
not 1 1 2782 * II4499
not 2 1 >sa0 >sa1 2781 * n2652gat
not 1 1 2780 * II4492
not 2 1 >sa0 >sa1 2779 * n2649gat
not 1 1 2778 * II4485
nor 1 3 >sa0 2730 2283 2724 * n2569gat
or 2 4 >sa0 >sa1 2774 2773 2776 2775 * n221gat
not 1 1 2772 * II2174
not 2 1 >sa0 >sa1 2771 * n126gat
or 2 4 >sa0 >sa1 2768 2767 2770 2769 * n779gat
nor 1 3 >sa0 2766 2764 2762 * n1202gat
nor 1 3 >sa0 2316 2319 2761 * n1203gat
not 1 1 2760 * II1843
not 1 1 2759 * n1329gat
nor 1 3 >sa0 2758 2756 2754 * n1185gat
nor 1 3 >sa0 2326 2329 2753 * n1186gat
fan 1 1 >sa0 2752 * 
fan 1 1 >sa0 2752 * 
fan 1 1 >sa0 2752 * 
fan 1 1 >sa0 2752 * 
fan 1 1 >sa0 2752 * 
fan 1 1 >sa0 2752 * 
fan 1 1 >sa0 2751 * 
fan 1 1 >sa0 2751 * 
fan 1 1 >sa0 2751 * 
fan 1 1 >sa0 2751 * 
fan 1 1 >sa0 2751 * 
fan 1 1 2751 * 
nor 1 3 >sa0 2338 2276 2747 * n2547gat
not 2 1 >sa0 >sa1 2745 * n2611gat
not 2 1 >sa0 >sa1 2742 * n2442gat
not 2 1 >sa0 >sa1 2741 * n2610gat
not 1 1 >sa0 2738 * n2426gat
not 2 1 >sa0 >sa1 2735 * n2607gat
nor 1 3 >sa0 2726 2719 2733 * n2410gat
fan 1 1 >sa0 2731 * 
fan 1 1 >sa0 2731 * 
nor 1 3 >sa0 2367 2285 2723 * n2570gat
not 6 1 >sa0 >sa1 2728 * n1591gat
nor 1 3 >sa0 2375 2718 2361 * n2412gat
not 8 1 >sa0 >sa1 2727 * n2162gat
not 2 1 >sa0 >sa1 2722 * n1410gat
not 3 1 >sa0 >sa1 2721 * n1479gat
not 4 1 >sa0 >sa1 2717 * n1528gat
not 3 1 >sa0 >sa1 2716 * n1480gat
nor 1 3 >sa0 2715 2713 2711 * n687gat
nor 1 3 >sa0 2402 2405 2710 * n688gat
nor 1 3 >sa0 2709 2707 2705 * n587gat
nor 1 3 >sa0 2409 2412 2704 * n588gat
nor 1 3 >sa0 2703 2701 2699 * n804gat
nor 1 3 >sa0 1932 1929 2698 * n805gat
nor 1 3 >sa0 1931 2700 1926 * n806gat
nor 1 3 >sa0 2683 2681 2697 * n494gat
nor 1 3 >sa0 2687 2695 2685 * n729gat
nor 1 3 >sa0 2693 2691 2689 * n710gat
nor 1 3 >sa0 2427 2430 2688 * n711gat
nor 1 3 >sa0 1914 2424 2684 * n730gat
nor 1 3 >sa0 1907 2680 2421 * n496gat
nor 1 3 >sa0 2679 2677 2675 * n1051gat
nor 1 3 >sa0 1901 1898 2674 * n1052gat
nor 1 3 >sa0 1900 2676 1895 * n1053gat
nor 1 3 >sa0 2673 2671 2669 * n1229gat
nor 1 3 >sa0 1892 1889 2668 * n1230gat
nor 1 3 >sa0 1891 2670 1886 * n1231gat
nor 1 3 >sa0 2667 2665 2663 * n945gat
nor 1 3 >sa0 1883 1880 2662 * n946gat
nor 1 3 >sa0 1882 2664 1877 * n947gat
nor 1 3 >sa0 2610 2616 2661 * n344gat
nor 1 3 >sa0 2483 2615 1874 * n346gat
nor 1 3 >sa0 2609 1821 1873 * n347gat
nor 1 3 >sa0 2618 2659 2620 * n907gat
nor 1 3 >sa0 1825 1871 2619 * n908gat
nor 1 3 >sa0 2617 1870 1827 * n910gat
nor 1 3 >sa0 2657 2655 2653 * n168gat
nor 1 3 >sa0 1868 1865 2652 * n169gat
nor 1 3 >sa0 1867 2654 1862 * n170gat
nor 1 3 >sa0 2622 2630 2649 * n476gat
nor 1 3 >sa0 2476 2629 1857 * n478gat
nor 1 3 >sa0 2621 2470 1856 * n479gat
nor 1 3 >sa0 2632 2647 2638 * n1014gat
nor 1 3 >sa0 2465 1854 2637 * n1015gat
nor 1 3 >sa0 2631 1853 2459 * n1017gat
nor 1 3 >sa0 2645 2643 2640 * n259gat
nor 1 3 >sa0 1850 1847 2639 * n260gat
nor 1 3 >sa0 1849 2642 1844 * n261gat
fan 1 1 2641 * 
fan 1 1 >sa0 >sa1 2641 * 
nor 1 2 2463 2624 * n1617gat
nor 1 2 2859 2623 * n1624gat
nor 1 2 2636 2626 * n1618gat
nor 1 2 2634 2625 * n1621gat
not 1 1 >sa0 2627 * n1503gat
fan 1 1 >sa0 2614 * 
fan 1 1 >sa0 2614 * 
fan 1 1 >sa0 2614 * 
fan 1 1 >sa0 2614 * 
fan 1 1 >sa0 2613 * 
fan 1 1 >sa0 2613 * 
fan 1 1 >sa0 2613 * 
fan 1 1 >sa0 2613 * 
fan 1 1 >sa0 2612 * 
fan 1 1 >sa0 2612 * 
fan 1 1 >sa0 2612 * 
fan 1 1 >sa0 2612 * 
not 1 1 >sa0 2611 * n1566gat
fan 1 1 >sa0 2608 * 
fan 1 1 >sa0 2608 * 
or 2 2 >sa0 >sa1 2862 2569 * n2889gat
not 2 1 >sa0 >sa1 2570 * n743gat
fan 1 1 >sa0 2568 * 
fan 1 1 >sa0 2568 * 
fan 1 1 >sa0 2567 * 
fan 1 1 >sa0 2567 * 
not 3 1 >sa0 >sa1 2566 * n294gat
not 2 1 >sa0 >sa1 2565 * n1221gat
fan 1 1 >sa0 2564 * 
fan 1 1 >sa0 2564 * 
not 2 1 >sa0 >sa1 2563 * n1222gat
fan 1 1 >sa0 2562 * 
fan 1 1 >sa0 2562 * 
not 2 1 >sa0 >sa1 2560 * n1223gat
nor 1 2 >sa0 1723 2587 * n768gat
nor 1 2 >sa0 1729 2585 * n959gat
nor 1 2 >sa0 2586 1735 * n868gat
nor 1 2 >sa0 2582 1741 * n443gat
nor 1 2 >sa0 1746 2580 * n444gat
nor 1 2 >sa0 2581 1751 * n966gat
nor 1 2 >sa0 2584 1756 * n647gat
nor 1 2 >sa0 1762 2588 * n648gat
nor 1 2 >sa0 1767 2583 * n967gat
nor 1 2 >sa0 1699 2606 * n655gat
nor 1 2 >sa0 1696 2604 * n962gat
nor 1 2 >sa0 1693 2605 * n963gat
nor 1 2 >sa0 1690 2601 * n439gat
nor 1 2 >sa0 1687 2599 * n440gat
nor 1 2 >sa0 1684 2600 * n790gat
nor 1 2 >sa0 1681 2603 * n441gat
nor 1 2 >sa0 2607 1678 * n442gat
nor 1 2 >sa0 2602 1675 * n792gat
nor 1 2 >sa0 1770 2595 * n531gat
nor 1 2 >sa0 2576 1771 * n519gat
nor 1 2 >sa0 2594 1774 * n530gat
nor 1 2 >sa0 1775 2577 * n520gat
nor 1 2 >sa0 2596 1778 * n526gat
nor 3 2 >sa0 >sa1 1779 2573 * n522gat
nor 3 2 >sa0 >sa1 2593 1784 * n356gat
nor 3 2 >sa0 >sa1 1785 2574 * n411gat
not 1 1 >sa0 2863 * n295gat
nor 3 2 >sa0 >sa1 2592 1791 * n415gat
nor 2 2 >sa0 >sa1 1792 2575 * n418gat
nor 2 2 >sa0 >sa1 1798 2591 * n521gat
nor 2 2 >sa0 >sa1 1799 2572 * n516gat
not 3 1 >sa0 >sa1 2861 * n637gat
or 2 2 >sa0 >sa1 2508 2860 * n2906gat
nor 3 2 >sa0 >sa1 2777 1814 * n2664gat
nor 1 3 >sa0 2484 1822 2660 * n345gat
nor 1 3 >sa0 1824 2658 1828 * n909gat
nor 1 3 >sa0 2477 2471 2648 * n477gat
nor 1 2 2475 2635 * n1619gat
nor 1 2 2474 2633 * n1622gat
nor 1 2 2473 2858 * n1623gat
nor 1 3 >sa0 2464 2646 2460 * n1016gat
nor 1 3 >sa0 2644 1846 1843 * n262gat
nor 1 3 >sa0 2656 1864 1861 * n171gat
nor 1 3 >sa0 2666 1879 1876 * n948gat
nor 1 3 >sa0 2672 1888 1885 * n1232gat
nor 1 3 >sa0 2678 1897 1894 * n1054gat
nor 1 3 >sa0 2682 1904 2420 * n497gat
nor 1 3 >sa0 1908 1905 2696 * n495gat
nor 1 3 >sa0 2686 2423 1910 * n732gat
nor 1 3 >sa0 1913 2694 1911 * n731gat
nor 1 3 >sa0 2426 2690 2433 * n712gat
nor 1 3 >sa0 2692 2429 2432 * n713gat
nor 1 2 >sa0 2794 1522 * n1373gat
nor 1 2 >sa0 1518 2797 * n1443gat
nor 1 2 >sa0 1514 2796 * n1321gat
nor 1 2 >sa0 1507 2795 * n1368gat
nor 1 2 >sa0 2790 1503 * n1249gat
nor 1 3 >sa0 2702 1928 1925 * n807gat
nor 1 2 >sa0 1499 2791 * n1250gat
nor 1 2 >sa0 1495 2788 * n1291gat
nor 1 3 >sa0 2408 2706 2415 * n589gat
nor 1 3 >sa0 2708 2411 2414 * n590gat
nor 1 2 >sa0 1491 2786 * n996gat
nor 1 2 >sa0 2787 1484 * n1163gat
nor 1 3 >sa0 2714 2404 1940 * n690gat
nor 1 3 >sa0 2401 2712 1941 * n689gat
nor 1 2 >sa0 2789 1480 * n1161gat
nor 1 2 >sa0 1476 2785 * n887gat
nor 1 2 >sa0 2784 1472 * n1162gat
nor 1 3 >sa0 2376 2399 2732 * n2411gat
nor 1 3 >sa0 2725 2398 2360 * n2413gat
or 1 3 2852 2386 2395 * II4024
nor 1 3 >sa0 2729 2284 2388 * n2572gat
or 1 3 2851 2374 1959 * II1724
not 3 1 >sa0 >sa1 2856 * n1530gat
not 3 1 >sa0 >sa1 2855 * n1482gat
not 3 1 >sa0 >sa1 2854 * n2011gat
not 8 1 >sa0 >sa1 2853 * n2081gat
nor 1 3 >sa0 2749 2275 2346 * n2549gat
not 1 1 >sa0 2850 * n2432gat
nor 1 3 >sa0 2325 2755 2332 * n1187gat
nor 1 3 >sa0 2757 2328 2331 * n1188gat
nor 1 3 >sa0 2315 2763 2322 * n1204gat
nor 1 3 >sa0 2765 2318 2321 * n1205gat
nor 1 2 >sa0 2067 2811 * n1847gat
or 1 3 2814 2069 2259 * II3149
or 1 3 2815 2260 2266 * II2890
or 1 3 2806 2233 2263 * II4145
nor 1 2 >sa0 2810 2073 * n2055gat
or 1 3 2848 2240 2079 * II2736
or 1 2 >sa0 2809 2849 * n2995gat
or 1 2 2827 2217 * n3008gat
not 1 1 >sa0 2847 * n1862gat
not 2 1 >sa0 >sa1 2846 * n1515gat
not 1 1 >sa0 2845 * n1520gat
not 1 1 >sa0 2843 * n1668gat
or 1 2 2196 2834 * n3003gat
not 1 1 >sa0 2841 * n2002gat
not 1 1 2840 * II4783
not 1 1 2839 * n2691gat
fan 1 1 >sa0 2838 * 
fan 1 1 >sa0 2838 * 
or 1 3 2857 1985 1976 * II1585
not 1 1 >sa0 2864 * n2596gat
fan 1 1 >sa0 3030 * 
fan 1 1 >sa0 3030 * 
nor 1 3 >sa0 3026 3022 3029 * n1214gat
fan 1 1 >sa0 3027 * 
fan 1 1 >sa0 3027 * 
fan 1 1 >sa0 3024 * 
fan 1 1 >sa0 3024 * 
fan 1 1 >sa0 3023 * 
fan 1 1 >sa0 3023 * 
fan 1 1 >sa0 3023 * 
fan 1 1 >sa0 3018 * 
fan 1 1 >sa0 3018 * 
fan 1 1 3017 * 
fan 1 1 3017 * 
nor 1 3 3013 3009 3005 * n1641gat
nor 1 3 2492 3003 2498 * n1556gat
nor 1 3 2497 3002 3008 * n1557gat
nor 1 3 2485 3006 2495 * n1558gat
nor 1 3 3004 2493 3012 * n1642gat
or 2 4 >sa0 >sa1 2979 2978 3065 2977 * n343gat
or 2 4 >sa0 >sa1 2982 3066 2981 2980 * n906gat
or 2 4 >sa0 >sa1 2988 2987 3067 2986 * n475gat
not 1 1 >sa0 3000 * n1628gat
not 1 1 >sa0 2999 * n1627gat
or 2 4 >sa0 >sa1 2991 3071 2990 2989 * n1013gat
not 1 1 >sa0 2998 * n1615gat
not 1 1 >sa0 2997 * n1701gat
not 1 1 >sa0 2995 * n1543gat
or 2 4 >sa0 >sa1 3072 2994 2993 2992 * n258gat
or 2 4 >sa0 >sa1 3073 2985 2984 2983 * n167gat
or 2 4 >sa0 >sa1 3074 2976 2975 2974 * n944gat
or 2 4 >sa0 >sa1 3075 2973 2972 2971 * n1228gat
or 2 4 >sa0 >sa1 3076 2970 2969 2968 * n1050gat
or 2 4 >sa0 >sa1 3077 2967 3078 2962 * n493gat
or 2 4 >sa0 >sa1 3079 3080 2966 2963 * n728gat
or 2 4 >sa0 >sa1 3082 3081 2965 2964 * n709gat
or 2 4 >sa0 >sa1 3088 2961 2960 2959 * n803gat
or 2 4 >sa0 >sa1 3092 3091 2958 2957 * n586gat
or 2 4 >sa0 >sa1 3095 3096 2956 2955 * n686gat
fan 1 1 >sa0 2954 * 
fan 1 1 >sa0 2954 * 
fan 1 1 >sa0 2954 * 
or 1 4 3101 2949 3100 2944 * n2409gat
fan 1 1 >sa0 2953 * 
fan 1 1 >sa0 2953 * 
fan 1 1 >sa0 2953 * 
fan 1 1 >sa0 2953 * 
or 1 4 3103 2720 2947 2915 * n2568gat
fan 1 1 >sa0 2952 * 
fan 1 1 >sa0 2952 * 
fan 1 1 >sa0 2952 * 
fan 1 1 >sa0 2951 * 
fan 1 1 >sa0 2951 * 
fan 1 1 >sa0 2950 * 
fan 1 1 >sa0 2950 * 
fan 1 1 >sa0 2950 * 
fan 1 1 >sa0 2950 * 
fan 1 1 >sa0 2950 * 
fan 1 1 >sa0 2950 * 
fan 1 1 >sa0 2950 * 
fan 1 1 >sa0 2950 * 
fan 1 1 >sa0 2948 * 
fan 1 1 >sa0 2948 * 
fan 1 1 >sa0 2948 * 
fan 1 1 >sa0 2948 * 
fan 1 1 >sa0 2948 * 
fan 1 1 >sa0 2948 * 
fan 1 1 >sa0 2943 * 
fan 1 1 >sa0 2943 * 
fan 1 1 >sa0 2941 * 
fan 1 1 >sa0 2941 * 
fan 1 1 >sa0 2940 * 
fan 1 1 >sa0 2940 * 
fan 1 1 >sa0 2939 * 
fan 1 1 >sa0 2939 * 
or 1 4 3109 2746 2938 2909 * n2545gat
not 9 1 >sa0 >sa1 2937 * n1858gat
or 2 4 >sa0 >sa1 3112 3111 2925 2924 * n1184gat
not 1 1 2923 * II1920
not 2 1 >sa0 >sa1 2922 * n1275gat
or 2 4 >sa0 >sa1 3114 3113 2921 2920 * n1201gat
fan 1 1 2919 * 
fan 1 1 2919 * 
fan 1 1 >sa0 2918 * 
fan 1 1 >sa0 2918 * 
not 2 1 >sa0 >sa1 2917 * n128gat
fan 1 1 2916 * 
fan 1 1 2916 * 
not 1 1 2914 * n2678gat
fan 1 1 >sa0 2913 * 
fan 1 1 >sa0 2913 * 
not 1 1 2912 * n2677gat
fan 1 1 >sa0 2911 * 
fan 1 1 >sa0 2911 * 
not 1 1 2910 * n2686gat
not 1 1 2908 * II3948
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2907 * 
fan 1 1 >sa0 2906 * 
fan 1 1 >sa0 2906 * 
fan 1 1 >sa0 2906 * 
fan 1 1 >sa0 2906 * 
fan 1 1 >sa0 2906 * 
fan 1 1 >sa0 2906 * 
not 2 1 >sa0 >sa1 2904 * n1712gat
not 1 1 >sa0 2903 * n1954gat
fan 1 1 >sa0 2902 * 
fan 1 1 >sa0 2902 * 
fan 1 1 >sa0 2902 * 
not 2 1 >sa0 >sa1 2900 * n1713gat
not 2 1 >sa0 >sa1 2899 * n1717gat
not 1 1 2898 * n1549gat
not 1 1 2897 * n1548gat
fan 1 1 >sa0 2895 * 
fan 1 1 >sa0 2895 * 
fan 1 1 >sa0 2895 * 
fan 1 1 >sa0 2895 * 
nor 3 3 >sa0 >sa1 1342 2891 1322 * n2215gat
nor 1 2 >sa0 2892 1169 * n2210gat
fan 1 1 >sa0 2894 * 
fan 1 1 >sa0 2894 * 
fan 1 1 >sa0 2894 * 
fan 1 1 >sa0 2894 * 
fan 1 1 >sa0 2893 * 
fan 1 1 >sa0 2893 * 
fan 1 1 >sa0 2893 * 
fan 1 1 >sa0 2889 * 
fan 1 1 >sa0 2889 * 
not 1 1 >sa0 2886 * n1841gat
not 1 1 >sa0 2873 * n1453gat
not 1 1 2870 * II4660
not 1 1 2869 * n2802gat
not 1 1 2868 * n563gat
fan 1 1 2867 * 
fan 1 1 2867 * 
nor 1 2 >sa0 552 2926 * n1510gat
nor 1 3 >sa0 2929 556 558 * n1399gat
nor 1 3 3015 508 1227 * n1882gat
nor 1 2 >sa0 596 2871 * n2250gat
nor 5 2 >sa0 >sa1 2187 3001 * n1609gat
not 1 1 3130 * II4780
not 2 1 >sa0 >sa1 3127 * n2184gat
or 1 2 2842 2874 * n3001gat
nor 2 2 >sa0 >sa1 2935 637 * n1921gat
nor 2 2 >sa0 >sa1 2934 1189 * n1798gat
nor 1 3 2136 2207 2887 * n1861gat
nor 2 3 >sa0 >sa1 2888 2135 2128 * n1576gat
nor 1 3 2134 2127 3125 * n1577gat
nor 1 3 3123 2206 2132 * n1860gat
nor 1 3 >sa0 1183 2890 1341 * n2213gat
nor 1 3 2896 2129 2205 * n1578gat
fan 1 1 >sa0 3124 * 
fan 1 1 >sa0 3124 * 
not 2 1 >sa0 >sa1 3122 * n2328gat
or 1 3 2243 2804 2905 * n2996gat
not 1 1 3120 * n1716gat
not 1 1 >sa0 >sa1 3118 * n1632gat
not 1 1 3117 * n1550gat
not 1 1 3116 * n1714gat
nor 1 2 >sa0 1080 3110 * n2433gat
nor 1 2 >sa0 716 2942 * n2427gat
fan 1 1 >sa0 3108 * 
fan 1 1 >sa0 3108 * 
fan 1 1 >sa0 3108 * 
fan 1 1 >sa0 3108 * 
fan 1 1 >sa0 3108 * 
fan 1 1 >sa0 3108 * 
fan 1 1 >sa0 3108 * 
fan 1 1 >sa0 3108 * 
fan 1 1 >sa0 3107 * 
fan 1 1 >sa0 3107 * 
fan 1 1 >sa0 3107 * 
fan 1 1 >sa0 3106 * 
fan 1 1 >sa0 3106 * 
fan 1 1 >sa0 3106 * 
fan 1 1 >sa0 3105 * 
fan 1 1 >sa0 3105 * 
fan 1 1 >sa0 3105 * 
not 2 1 >sa0 >sa1 3104 * n2289gat
not 1 1 3102 * n2288gat
nor 1 3 3016 2651 808 * n1934gat
not 1 1 >sa0 3070 * n1779gat
not 1 1 >sa0 3069 * n1706gat
not 1 1 >sa0 3068 * n1705gat
nor 1 3 3007 3011 2488 * n1639gat
nor 1 3 2486 3010 2490 * n1555gat
fan 1 1 >sa0 3064 * 
fan 1 1 >sa0 3064 * 
fan 1 1 >sa0 3064 * 
fan 1 1 3063 * 
fan 1 1 3063 * 
fan 1 1 >sa0 3062 * 
fan 1 1 >sa0 3062 * 
fan 1 1 >sa0 3062 * 
fan 1 1 >sa0 3061 * 
fan 1 1 3061 * 
fan 1 1 >sa0 3060 * 
fan 1 1 3060 * 
fan 1 1 >sa0 3059 * 
fan 1 1 3059 * 
fan 1 1 >sa0 3058 * 
fan 1 1 >sa0 3058 * 
fan 1 1 3058 * 
fan 1 1 >sa0 3056 * 
fan 1 1 >sa0 3056 * 
fan 1 1 3056 * 
fan 1 1 >sa0 3055 * 
fan 1 1 >sa0 3055 * 
fan 1 1 3055 * 
fan 1 1 >sa0 3054 * 
fan 1 1 >sa0 3054 * 
fan 1 1 3054 * 
nor 1 3 3051 3049 3053 * n525gat
nor 1 2 3050 3052 * n518gat
or 1 2 >sa0 >sa1 3048 3039 * n2922gat
or 2 2 >sa0 >sa1 3047 3038 * n2897gat
or 1 2 >sa0 >sa1 3046 3037 * n2896gat
or 1 2 >sa0 >sa1 3045 3036 * n2921gat
or 1 2 >sa0 >sa1 3044 3035 * n2895gat
or 1 2 >sa0 >sa1 3043 3034 * n2894gat
or 1 2 >sa0 >sa1 3033 3042 * n2928gat
or 1 2 >sa0 >sa1 3032 3041 * n2927gat
or 1 2 >sa0 >sa1 3040 3031 * n2914gat
nor 1 2 >sa0 921 3128 * n2005gat
not 2 1 >sa0 >sa1 3133 * n2286gat
or 1 2 >sa0 >sa1 2051 3134 * n3016gat
nor 5 2 >sa0 >sa1 3160 2185 * n1702gat
nor 5 2 >sa0 >sa1 2186 3161 * n1700gat
nor 3 2 >sa0 >sa1 2188 3158 * n1626gat
nor 3 2 >sa0 >sa1 3157 2189 * n1625gat
not 5 1 >sa0 >sa1 3277 * n17gat
not 1 1 >sa0 3276 * n16gat
not 3 1 >sa0 >sa1 3275 * n289gat
not 1 1 3274 * II4663
nor 1 3 3266 2829 3126 * n1669gat
nor 1 3 2876 3263 3269 * n1657gat
nor 1 3 3264 2877 3267 * n1571gat
nor 1 3 3268 2880 3257 * n1570gat
nor 1 3 2881 3270 3258 * n1655gat
nor 1 3 3265 3294 2878 * n1731gat
nor 1 3 2882 3259 3295 * n1732gat
nor 1 3 2883 3262 2875 * n1729gat
nor 1 3 2879 3256 2884 * n1728gat
fan 1 1 >sa0 3260 * 
fan 1 1 >sa0 3260 * 
fan 1 1 3260 * 
not 4 1 >sa0 >sa1 3255 * n1719gat
not 2 1 >sa0 >sa1 3254 * n1551gat
fan 1 1 3253 * 
fan 1 1 >sa0 >sa1 3253 * 
fan 1 1 3252 * 
fan 1 1 >sa0 >sa1 3252 * 
or 1 2 2901 3248 * n2994gat
fan 1 1 3247 * 
fan 1 1 >sa0 >sa1 3247 * 
not 1 1 3230 * n2692gat
not 1 1 3229 * II4720
nor 2 2 >sa0 >sa1 3228 3225 * n2650gat
not 1 1 3226 * II4723
not 1 1 3223 * II4726
not 1 1 3222 * n34gat
not 1 1 3221 * II2177
fan 1 1 >sa0 3220 * 
fan 1 1 >sa0 3220 * 
not 1 1 3217 * n35gat
not 1 1 3216 * II2181
fan 1 1 3215 * 
fan 1 1 3215 * 
fan 1 1 >sa0 3214 * 
fan 1 1 >sa0 3214 * 
not 2 1 >sa0 >sa1 3213 * n1277gat
fan 1 1 3212 * 
fan 1 1 3212 * 
fan 1 1 >sa0 3211 * 
fan 1 1 >sa0 3211 * 
fan 1 1 >sa0 3211 * 
fan 1 1 >sa0 3211 * 
fan 1 1 >sa0 3211 * 
fan 1 1 >sa0 3211 * 
fan 1 1 >sa0 3211 * 
fan 1 1 >sa0 3211 * 
fan 1 1 >sa0 >sa1 3211 * 
not 1 1 3210 * II2439
nor 1 3 >sa0 3204 3202 3209 * n2604gat
nor 1 3 >sa0 2740 3203 2744 * n2602gat
nor 1 3 >sa0 3205 2737 2743 * n2603gat
nor 1 2 2734 3181 * n1529gat
nor 1 2 3304 3185 * n1349gat
nor 1 2 3180 3307 * n1484gat
nor 1 2 3187 3308 * n1347gat
nor 1 2 3176 3310 * n1416gat
nor 1 2 2945 3189 * n1421gat
nor 1 2 3191 3312 * n1422gat
nor 1 2 3199 3313 * n1426gat
nor 1 2 3190 3315 * n1485gat
nor 1 2 3200 3316 * n1486gat
nor 1 2 3318 3197 * n1354gat
nor 1 2 3319 3195 * n1423gat
nor 1 2 3175 3201 * n1438gat
nor 1 2 3198 3184 * n1365gat
nor 1 2 3178 3196 * n1435gat
nor 1 2 3194 3179 * n1494gat
nor 1 2 3174 3193 * n1417gat
nor 1 2 3183 3192 * n1419gat
nor 1 2 3188 3186 * n1420gat
not 1 1 3182 * II2248
not 1 1 3177 * II2281
fan 1 1 3173 * 
fan 1 1 3173 * 
fan 1 1 3172 * 
fan 1 1 3172 * 
fan 1 1 3171 * 
fan 1 1 3171 * 
fan 1 1 3170 * 
fan 1 1 3170 * 
fan 1 1 3169 * 
fan 1 1 3169 * 
fan 1 1 3168 * 
fan 1 1 3168 * 
fan 1 1 3167 * 
fan 1 1 3167 * 
fan 1 1 3166 * 
fan 1 1 3166 * 
fan 1 1 3165 * 
fan 1 1 3165 * 
fan 1 1 3164 * 
fan 1 1 3164 * 
fan 1 1 3163 * 
fan 1 1 3163 * 
fan 1 1 3159 * 
fan 1 1 3159 * 
fan 1 1 3156 * 
fan 1 1 3156 * 
fan 1 1 3155 * 
fan 1 1 3155 * 
fan 1 1 3154 * 
fan 1 1 3154 * 
not 1 1 >sa0 3153 * n1651gat
not 1 1 >sa0 3152 * n1722gat
not 1 1 >sa0 3151 * n1560gat
not 1 1 >sa0 3150 * n1562gat
not 1 1 >sa0 3149 * n1643gat
not 1 1 3148 * n422gat
not 1 1 3147 * II278
nor 1 3 >sa0 3138 3021 3136 * n1216gat
nor 1 3 >sa0 3025 3140 3135 * n1217gat
fan 1 1 >sa0 >sa1 3358 * 
fan 1 1 >sa0 >sa1 3358 * 
nor 1 3 >sa0 3139 3141 3028 * n1215gat
not 1 1 >sa0 3356 * n517gat
not 2 1 >sa0 >sa1 3355 * n290gat
not 1 1 >sa0 3354 * n412gat
nor 1 2 >sa0 3353 3347 * n354gat
nor 5 2 >sa0 >sa1 3350 3352 * n523gat
not 1 1 >sa0 3351 * n527gat
nor 1 2 >sa0 3349 3343 * n292gat
not 1 1 >sa0 3348 * n413gat
nor 5 2 >sa0 >sa1 3344 3346 * n414gat
not 1 1 >sa0 3345 * n416gat
not 1 1 >sa0 3342 * n417gat
nor 4 2 >sa0 >sa1 3339 3341 * n634gat
not 1 1 >sa0 3340 * n528gat
not 2 1 >sa0 >sa1 3338 * n406gat
not 1 1 3333 * II253
not 1 1 3332 * n747gat
not 1 1 >sa0 3328 * n1554gat
not 1 1 >sa0 3327 * n1640gat
not 3 1 >sa0 >sa1 3323 * n1698gat
nor 1 2 >sa0 3243 1588 * n1372gat
nor 1 2 >sa0 1584 3246 * n1325gat
nor 1 2 >sa0 1580 3245 * n1320gat
nor 1 2 >sa0 3244 1573 * n1258gat
nor 1 2 >sa0 1569 3239 * n1304gat
nor 1 2 >sa0 3240 1565 * n1103gat
nor 1 2 >sa0 1561 3237 * n1245gat
nor 1 2 >sa0 1557 3235 * n1101gat
nor 1 2 >sa0 3236 1550 * n1102gat
nor 1 2 >sa0 3238 1546 * n1246gat
nor 1 2 >sa0 3234 1542 * n1104gat
nor 1 2 >sa0 3233 1538 * n1305gat
not 1 1 >sa0 3322 * n1513gat
fan 1 1 >sa0 3321 * 
fan 1 1 >sa0 3321 * 
nor 1 2 3320 3305 * n1308gat
nor 1 2 3317 3306 * n1483gat
nor 1 2 3314 3309 * n1481gat
nor 1 2 2946 3311 * n1415gat
nor 1 3 >sa0 2739 2736 3208 * n2605gat
nor 2 2 >sa0 >sa1 3232 2930 * n1401gat
nor 1 2 >sa0 3303 3302 * n2428gat
or 1 2 3272 2011 * n2693gat
or 1 2 3271 2013 * n2709gat
not 1 1 >sa0 3301 * n1718gat
not 1 1 >sa0 3300 * n1552gat
nor 1 3 >sa0 2072 2074 3250 * n1894gat
nor 3 3 >sa0 >sa1 3251 2075 2068 * n1895gat
not 5 1 >sa0 >sa1 3298 * n1635gat
nor 1 2 >sa0 3249 2256 * n1967gat
not 2 1 >sa0 >sa1 3297 * n1961gat
or 1 2 3261 2818 * n3005gat
or 1 3 2844 2108 3292 * n3002gat
fan 1 1 >sa0 3296 * 
fan 1 1 3296 * 
not 1 1 >sa0 3293 * n1517gat
not 2 1 >sa0 >sa1 3291 * n1919gat
not 1 1 >sa0 3290 * n1580gat
fan 1 1 >sa0 3289 * 
fan 1 1 3289 * 
not 3 1 >sa0 >sa1 3288 * n1735gat
fan 1 1 >sa0 3287 * 
fan 1 1 3287 * 
fan 1 1 >sa0 3286 * 
fan 1 1 3286 * 
not 2 1 >sa0 >sa1 3285 * n2049gat
fan 1 1 >sa0 3284 * 
fan 1 1 3284 * 
fan 1 1 >sa0 3282 * 
fan 1 1 >sa0 3282 * 
fan 1 1 >sa0 3282 * 
fan 1 1 >sa0 3282 * 
fan 1 1 >sa0 3282 * 
or 1 2 >sa0 2865 3281 * n3007gat
not 1 1 3280 * II3610
nor 3 2 >sa0 >sa1 2182 3326 * n1703gat
nor 5 2 >sa0 >sa1 3325 2183 * n1704gat
nor 3 2 >sa0 >sa1 3324 2184 * n1778gat
nor 1 4 3329 2181 608 598 * n2014gat
fan 1 1 >sa0 3367 * 
fan 1 1 3367 * 
nor 1 2 >sa0 3366 806 * n1818gat
or 2 4 >sa0 >sa1 3488 3487 3491 3137 * n1213gat
nor 2 3 >sa0 >sa1 3334 3057 3374 * n82gat
not 2 1 >sa0 >sa1 3486 * n757gat
not 1 1 3485 * II270
not 1 1 3479 * n178gat
not 1 1 3478 * II749
not 1 1 3477 * II698
not 1 1 3476 * n66gat
not 1 1 3475 * n42gat
not 1 1 3474 * II476
not 1 1 3473 * II420
not 1 1 3472 * n162gat
not 1 1 3471 * n41gat
not 1 1 3470 * II480
not 1 1 3469 * n54gat
not 1 1 3468 * II753
not 1 1 3467 * n857gat
not 1 1 3466 * II1035
not 1 1 3465 * II936
not 1 1 3464 * n858gat
not 1 1 3463 * n928gat
not 1 1 3462 * II1031
not 1 1 3461 * n404gat
not 1 1 3460 * II1251
not 1 1 3459 * II1216
not 1 1 3458 * n405gat
not 1 1 3457 * n515gat
not 1 1 3456 * II1255
not 1 1 3455 * n677gat
not 1 1 3454 * II1500
not 1 1 3453 * II1422
not 1 1 3452 * n565gat
not 1 1 3451 * n456gat
not 1 1 3450 * II1496
not 2 1 >sa0 >sa1 3449 * n2585gat
not 2 1 >sa0 >sa1 3448 * n2582gat
not 1 1 >sa0 3447 * n1424gat
not 1 1 >sa0 3446 * n1353gat
not 1 1 >sa0 3445 * n1418gat
not 1 1 >sa0 3444 * n1449gat
not 1 1 >sa0 3443 * n1436gat
not 1 1 >sa0 3442 * n1366gat
not 1 1 >sa0 3441 * n1437gat
not 1 1 >sa0 3440 * n1450gat
not 1 1 >sa0 3439 * n1356gat
not 1 1 >sa0 3438 * n1439gat
not 1 1 >sa0 3437 * n1487gat
not 1 1 >sa0 3436 * n1370gat
not 1 1 >sa0 3435 * n1355gat
not 1 1 >sa0 3434 * n1425gat
not 1 1 >sa0 3433 * n1301gat
not 1 1 >sa0 3432 * n876gat
not 1 1 >sa0 3431 * n1160gat
not 1 1 >sa0 3430 * n1348gat
not 1 1 >sa0 3429 * n1592gat
or 1 4 3530 3426 3428 3427 * n2601gat
not 2 1 >sa0 >sa1 3425 * n2619gat
not 1 1 3415 * n1183gat
not 1 1 3414 * II1927
fan 1 1 >sa0 3413 * 
fan 1 1 >sa0 3413 * 
not 1 1 3410 * n1268gat
not 1 1 3409 * II1923
not 2 1 >sa0 >sa1 3408 * n130gat
not 1 1 3407 * II2056
not 2 1 >sa0 >sa1 3404 * n129gat
not 1 1 3403 * II2169
fan 1 1 >sa0 3400 * 
fan 1 1 >sa0 3400 * 
not 1 1 3398 * II4789
not 1 1 >sa0 3396 * n1634gat
not 2 1 >sa0 >sa1 3395 * n2048gat
not 1 1 >sa0 3393 * n1743gat
not 2 1 >sa0 >sa1 3391 * n1859gat
fan 1 1 >sa0 3390 * 
fan 1 1 >sa0 3390 * 
fan 1 1 >sa0 3389 * 
fan 1 1 >sa0 3389 * 
fan 1 1 >sa0 3389 * 
fan 1 1 >sa0 3389 * 
not 1 1 >sa0 3388 * n2349gat
not 1 1 >sa0 3385 * n1727gat
not 1 1 >sa0 3384 * n1648gat
not 1 1 >sa0 3383 * n1724gat
not 1 1 >sa0 3382 * n1730gat
not 1 1 >sa0 3381 * n1656gat
not 1 1 >sa0 3380 * n1569gat
not 1 1 >sa0 3379 * n1561gat
not 1 1 >sa0 3378 * n1652gat
not 1 1 >sa0 3377 * n1671gat
fan 1 1 >sa0 3375 * 
fan 1 1 >sa0 3375 * 
fan 1 1 >sa0 3375 * 
fan 1 1 >sa0 3373 * 
fan 1 1 >sa0 3373 * 
fan 1 1 >sa0 3373 * 
fan 1 1 >sa0 3373 * 
fan 1 1 >sa0 3373 * 
fan 1 1 >sa0 3372 * 
fan 1 1 3372 * 
fan 1 1 >sa0 >sa1 3372 * 
fan 1 1 >sa0 3371 * 
fan 1 1 3371 * 
fan 1 1 >sa0 >sa1 3371 * 
fan 1 1 >sa0 3370 * 
fan 1 1 >sa0 3370 * 
fan 1 1 >sa0 3370 * 
fan 1 1 3370 * 
fan 1 1 3370 * 
fan 1 1 >sa0 3369 * 
fan 1 1 >sa0 3369 * 
fan 1 1 >sa0 3369 * 
fan 1 1 3369 * 
fan 1 1 3369 * 
not 1 1 >sa0 >sa1 3565 * n3052gat
not 1 1 >sa0 3558 * n1384gat
fan 1 1 >sa0 3556 * 
fan 1 1 3556 * 
not 1 1 >sa0 3555 * n1917gat
not 1 1 >sa0 3553 * n1922gat
nor 2 3 >sa0 >sa1 639 640 3422 * n1864gat
fan 1 1 >sa0 3551 * 
fan 1 1 >sa0 3551 * 
fan 1 1 >sa0 3551 * 
not 1 1 >sa0 3550 * n1572gat
nor 1 2 >sa0 3548 3421 * n1581gat
fan 1 1 >sa0 3547 * 
fan 1 1 >sa0 3547 * 
nor 1 2 >sa0 3387 1324 * n2282gat
not 1 1 >sa0 3545 * n1890gat
nor 2 2 >sa0 >sa1 3386 2218 * n2352gat
not 2 1 >sa0 >sa1 3543 * n2146gat
not 2 1 >sa0 >sa1 3542 * n2209gat
fan 1 1 >sa0 3541 * 
fan 1 1 3541 * 
fan 1 1 >sa0 3539 * 
fan 1 1 >sa0 3539 * 
fan 1 1 >sa0 3539 * 
fan 1 1 >sa0 3539 * 
fan 1 1 >sa0 3539 * 
fan 1 1 >sa0 3538 * 
fan 1 1 >sa0 3538 * 
fan 1 1 3538 * 
nor 2 2 >sa0 >sa1 3231 3419 * n1476gat
not 1 1 3534 * II4594
not 1 1 3533 * II4573
fan 1 1 >sa0 3531 * 
fan 1 1 3531 * 
nor 1 2 >sa0 >sa1 3207 3523 * n1391gat
or 1 3 >sa0 3525 3532 3570 * II1733
not 1 1 >sa0 3529 * n1414gat
not 1 1 >sa0 3528 * n1478gat
not 1 1 >sa0 3527 * n1157gat
not 1 1 >sa0 3526 * n1307gat
or 1 2 3099 3522 * n2959gat
or 1 2 3098 3521 * n2934gat
or 1 2 3097 3520 * n2958gat
or 1 2 3519 3094 * n2953gat
or 1 2 3093 3518 * n2949gat
or 1 2 3517 3090 * n2963gat
or 1 2 3516 3089 * n2954gat
or 1 2 3087 3515 * n2964gat
or 1 2 3514 3086 * n2966gat
or 1 2 3513 3085 * n2974gat
or 1 2 3512 3084 * n2975gat
or 1 2 3511 3083 * n2979gat
fan 1 1 >sa0 3510 * 
fan 1 1 >sa0 3510 * 
fan 1 1 >sa0 3510 * 
not 1 1 3507 * II275
not 2 1 >sa0 >sa1 3506 * n754gat
fan 1 1 >sa0 3505 * 
fan 1 1 >sa0 3505 * 
nor 1 3 3504 3501 3497 * n532gat
fan 1 1 >sa0 3503 * 
fan 1 1 >sa0 3503 * 
fan 1 1 >sa0 3503 * 
fan 1 1 3503 * 
fan 1 1 >sa0 3500 * 
fan 1 1 >sa0 3500 * 
fan 1 1 >sa0 3500 * 
fan 1 1 >sa0 3500 * 
fan 1 1 3500 * 
fan 1 1 >sa0 3496 * 
fan 1 1 >sa0 3496 * 
fan 1 1 >sa0 3496 * 
fan 1 1 >sa0 3496 * 
fan 1 1 3496 * 
fan 1 1 >sa0 3493 * 
fan 1 1 >sa0 3493 * 
nor 1 3 1648 2650 3572 * n1759gat
not 1 1 >sa0 3571 * n1978gat
nor 1 2 >sa0 >sa1 3535 2931 * n1636gat
nor 1 2 >sa0 3560 435 * n1607gat
or 1 3 2799 3115 3537 * n2993gat
or 1 2 3540 3119 * n2998gat
not 6 1 >sa0 >sa1 3569 * n1855gat
fan 1 1 >sa0 3568 * 
fan 1 1 >sa0 3568 * 
fan 1 1 >sa0 3568 * 
fan 1 1 >sa0 3567 * 
fan 1 1 >sa0 3567 * 
fan 1 1 >sa0 3567 * 
fan 1 1 >sa0 3567 * 
fan 1 1 3567 * 
fan 1 1 >sa0 3566 * 
fan 1 1 >sa0 3566 * 
fan 1 1 >sa0 3566 * 
nor 4 4 >sa0 >sa1 3678 3683 3562 3771 * n1604gat
not 5 1 >sa0 >sa1 3686 * n253gat
not 1 1 3685 * n243gat
nor 2 2 >sa0 >sa1 3682 3677 * n1690gat
not 5 1 >sa0 >sa1 3681 * n334gat
not 1 1 3680 * n1430gat
not 1 1 >sa0 3675 * n1707gat
not 1 1 >sa0 3672 * n1544gat
nor 1 2 >sa0 >sa1 1197 3647 * n1593gat
nor 1 2 >sa0 3692 3651 * n1994gat
nor 1 2 >sa0 >sa1 3694 3643 * n1567gat
nor 1 2 >sa0 >sa1 3546 3648 * n1516gat
nor 1 2 >sa0 3653 1179 * n2350gat
fan 1 1 >sa0 3646 * 
fan 1 1 >sa0 3646 * 
fan 1 1 >sa0 3644 * 
fan 1 1 3644 * 
nor 1 2 >sa0 3612 3766 * n1502gat
nor 1 2 >sa0 2048 3623 * n1151gat
not 2 1 >sa0 >sa1 3639 * n127gat
fan 1 1 >sa0 3638 * 
fan 1 1 >sa0 3638 * 
nor 1 2 >sa0 3624 2035 * n877gat
nor 1 2 >sa0 3626 2027 * n1155gat
not 2 1 >sa0 >sa1 3637 * n125gat
fan 1 1 >sa0 3636 * 
fan 1 1 >sa0 3636 * 
nor 1 2 >sa0 2023 3625 * n1159gat
not 2 1 >sa0 >sa1 3635 * n1278gat
not 1 1 3634 * II1915
not 2 1 >sa0 >sa1 3631 * n1279gat
not 1 1 3630 * II1807
fan 1 1 >sa0 3629 * 
fan 1 1 >sa0 3629 * 
not 1 1 3628 * II2400
fan 1 1 >sa0 3608 * 
fan 1 1 >sa0 3608 * 
fan 1 1 >sa0 3607 * 
fan 1 1 >sa0 3607 * 
not 2 1 >sa0 >sa1 3606 * n576gat
not 1 1 3605 * II1488
not 1 1 3604 * II1493
not 2 1 >sa0 >sa1 3603 * n573gat
not 2 1 >sa0 >sa1 3602 * n577gat
not 1 1 3601 * II1360
not 2 1 >sa0 >sa1 3600 * n514gat
not 1 1 3599 * II1190
not 1 1 3598 * II1248
not 2 1 >sa0 >sa1 3597 * n510gat
not 2 1 >sa0 >sa1 3596 * n513gat
not 1 1 3595 * II1243
not 2 1 >sa0 >sa1 3594 * n942gat
not 1 1 3593 * II1023
not 1 1 3592 * II1028
not 2 1 >sa0 >sa1 3591 * n939gat
not 2 1 >sa0 >sa1 3590 * n943gat
not 1 1 3589 * II858
not 2 1 >sa0 >sa1 3588 * n65gat
not 1 1 3587 * II658
not 2 1 >sa0 >sa1 3586 * n53gat
not 1 1 3585 * II375
not 1 1 3584 * II473
not 2 1 >sa0 >sa1 3583 * n49gat
not 2 1 >sa0 >sa1 3582 * n52gat
not 1 1 3581 * II468
not 1 1 3580 * II746
not 2 1 >sa0 >sa1 3579 * n61gat
not 2 1 >sa0 >sa1 3578 * n64gat
not 1 1 3577 * II741
not 2 1 >sa0 >sa1 3576 * n755gat
fan 1 1 >sa0 3575 * 
fan 1 1 >sa0 3575 * 
fan 1 1 >sa0 3574 * 
fan 1 1 3574 * 
fan 1 1 3573 * 
fan 1 1 3573 * 
not 2 1 >sa0 >sa1 3760 * n639gat
nor 1 3 3758 3747 3753 * n629gat
not 2 1 >sa0 >sa1 3755 * n524gat
nor 2 2 >sa0 >sa1 1787 3663 * n288gat
nor 1 3 3020 3669 3336 * n15gat
nor 1 3 3019 3668 3145 * n87gat
nor 1 4 >sa0 3745 3494 3499 3502 * n410gat
not 3 1 >sa0 >sa1 3750 * n633gat
nor 3 2 >sa0 >sa1 1793 3665 * n286gat
nor 1 3 3670 3144 3146 * n86gat
not 1 1 >sa0 3746 * n358gat
nor 4 2 >sa0 >sa1 1800 3664 * n287gat
nor 2 3 >sa0 >sa1 3335 3142 3666 * n85gat
nor 1 3 3143 3667 2571 * n84gat
fan 1 1 >sa0 3743 * 
fan 1 1 >sa0 3743 * 
not 2 1 >sa0 >sa1 3742 * n756gat
nor 1 2 >sa0 >sa1 3162 3741 * n1610gat
not 1 1 >sa0 3738 * n1374gat
not 1 1 >sa0 3737 * n1378gat
not 1 1 >sa0 3736 * n1322gat
not 1 1 >sa0 3735 * n1369gat
not 1 1 >sa0 3734 * n1306gat
not 1 1 >sa0 3733 * n1248gat
not 1 1 >sa0 3732 * n1300gat
not 1 1 >sa0 3731 * n1106gat
not 1 1 >sa0 3730 * n1164gat
not 1 1 >sa0 3729 * n1247gat
not 1 1 >sa0 3728 * n1105gat
not 1 1 >sa0 3727 * n1309gat
nor 1 2 >sa0 3712 3423 * n1796gat
nor 1 2 >sa0 3652 2936 * n1794gat
nor 1 2 >sa0 3697 2933 * n1733gat
nor 1 3 >sa0 3242 2932 3650 * n1574gat
not 2 1 >sa0 >sa1 3720 * n1396gat
not 1 1 3718 * n2689gat
or 1 2 3688 2012 * n2694gat
not 1 1 3717 * n2706gat
or 1 2 3702 2019 * n2701gat
nor 1 2 >sa0 3641 3224 * n2647gat
nor 1 2 >sa0 3227 3640 * n2648gat
fan 1 1 >sa0 3716 * 
fan 1 1 3716 * 
nor 1 3 >sa0 3710 3420 3241 * n1573gat
nor 1 2 >sa0 >sa1 3536 3695 * n1565gat
not 1 1 >sa0 3715 * n1629gat
nor 1 2 >sa0 >sa1 3699 3708 * n1800gat
not 1 1 >sa0 3707 * n1889gat
fan 1 1 >sa0 3705 * 
fan 1 1 3705 * 
fan 1 1 >sa0 3704 * 
fan 1 1 3704 * 
fan 1 1 >sa0 3703 * 
fan 1 1 3703 * 
fan 1 1 >sa0 3693 * 
fan 1 1 3693 * 
not 1 1 >sa0 3690 * n1452gat
or 1 3 >sa0 3772 3776 3780 * II2812
nor 3 2 >sa0 >sa1 3779 3774 * n1608gat
nor 1 4 3778 3773 3770 3559 * n1695gat
not 1 1 >sa0 3777 * n2666gat
fan 1 1 >sa0 3769 * 
fan 1 1 >sa0 3769 * 
fan 1 1 >sa0 3769 * 
fan 1 1 >sa0 3769 * 
fan 1 1 >sa0 3769 * 
fan 1 1 >sa0 3769 * 
nor 1 2 >sa0 1346 3714 * n1630gat
nor 2 2 >sa0 >sa1 3713 3121 * n1896gat
not 2 1 >sa0 >sa1 3768 * n2056gat
not 2 1 >sa0 >sa1 3767 * n1892gat
nor 1 2 >sa0 3724 2044 * n982gat
nor 1 2 >sa0 3725 2040 * n1158gat
nor 1 2 >sa0 2038 3723 * n1153gat
nor 1 2 >sa0 3726 2031 * n1156gat
not 1 1 >sa0 3763 * n1684gat
nor 2 2 >sa0 >sa1 3498 3761 * n291gat
not 1 1 3856 * n640gat
not 1 1 3855 * II282
not 1 1 >sa0 3854 * n76gat
fan 1 1 >sa0 3850 * 
fan 1 1 >sa0 3850 * 
not 2 1 >sa0 >sa1 3849 * n62gat
fan 1 1 >sa0 3848 * 
fan 1 1 >sa0 3848 * 
fan 1 1 >sa0 3847 * 
fan 1 1 >sa0 3847 * 
not 2 1 >sa0 >sa1 3846 * n63gat
not 2 1 >sa0 >sa1 3845 * n50gat
fan 1 1 >sa0 3844 * 
fan 1 1 >sa0 3844 * 
fan 1 1 >sa0 3843 * 
fan 1 1 >sa0 3843 * 
not 2 1 >sa0 >sa1 3842 * n51gat
not 2 1 >sa0 >sa1 3841 * n48gat
fan 1 1 >sa0 3840 * 
fan 1 1 >sa0 3840 * 
nor 1 2 >sa0 >sa1 3740 3787 * n1696gat
nor 1 2 >sa0 >sa1 3739 3788 * n1613gat
not 2 1 >sa0 >sa1 3839 * n60gat
fan 1 1 >sa0 3838 * 
fan 1 1 >sa0 3838 * 
not 2 1 >sa0 >sa1 3837 * n938gat
fan 1 1 >sa0 3836 * 
fan 1 1 >sa0 3836 * 
fan 1 1 >sa0 3835 * 
fan 1 1 >sa0 3835 * 
not 2 1 >sa0 >sa1 3834 * n941gat
not 2 1 >sa0 >sa1 3833 * n940gat
fan 1 1 >sa0 3832 * 
fan 1 1 >sa0 3832 * 
not 2 1 >sa0 >sa1 3831 * n511gat
fan 1 1 >sa0 3830 * 
fan 1 1 >sa0 3830 * 
fan 1 1 >sa0 3829 * 
fan 1 1 >sa0 3829 * 
not 2 1 >sa0 >sa1 3828 * n512gat
not 2 1 >sa0 >sa1 3827 * n509gat
fan 1 1 >sa0 3826 * 
fan 1 1 >sa0 3826 * 
not 2 1 >sa0 >sa1 3825 * n572gat
fan 1 1 >sa0 3824 * 
fan 1 1 >sa0 3824 * 
fan 1 1 >sa0 3823 * 
fan 1 1 >sa0 3823 * 
not 2 1 >sa0 >sa1 3822 * n575gat
not 2 1 >sa0 >sa1 3821 * n574gat
fan 1 1 >sa0 3820 * 
fan 1 1 >sa0 3820 * 
nor 2 2 >sa0 >sa1 3819 3817 * n2583gat
not 2 1 >sa0 >sa1 3815 * n2616gat
not 2 1 >sa0 >sa1 3812 * n1274gat
fan 1 1 >sa0 3811 * 
fan 1 1 >sa0 3811 * 
not 2 1 >sa0 >sa1 3810 * n1276gat
fan 1 1 >sa0 3809 * 
fan 1 1 >sa0 3809 * 
fan 1 1 >sa0 3805 * 
fan 1 1 >sa0 3805 * 
nor 1 3 >sa0 3801 3218 3807 * n123gat
or 1 4 >sa0 3803 3928 3799 3930 * n2930gat
fan 1 1 >sa0 3800 * 
fan 1 1 >sa0 3800 * 
not 1 1 >sa0 3797 * n1885gat
not 2 1 >sa0 >sa1 3786 * n1490gat
fan 1 1 >sa0 3785 * 
fan 1 1 >sa0 3785 * 
fan 1 1 >sa0 3785 * 
fan 1 1 >sa0 3785 * 
fan 1 1 >sa0 3785 * 
fan 1 1 >sa0 3784 * 
fan 1 1 3784 * 
not 2 1 >sa0 >sa1 3783 * n233gat
fan 1 1 >sa0 3782 * 
fan 1 1 >sa0 3782 * 
fan 1 1 >sa0 3782 * 
fan 1 1 >sa0 3782 * 
fan 1 1 >sa0 3782 * 
fan 1 1 >sa0 3781 * 
fan 1 1 >sa0 3781 * 
fan 1 1 >sa0 3781 * 
fan 1 1 3781 * 
nor 1 2 >sa0 587 3909 * n2565gat
nor 1 2 >sa0 3795 3691 * n1916gat
nor 1 3 3552 3554 3911 * n1920gat
not 1 1 >sa0 3912 * n1923gat
or 2 2 >sa0 >sa1 3698 3889 * n2988gat
nor 1 2 >sa0 >sa1 3700 3794 * n1915gat
or 1 2 3701 3793 * n3009gat
not 1 1 >sa0 3910 * n2564gat
not 1 1 >sa0 3908 * n2050gat
not 1 1 >sa0 3906 * n2047gat
nor 1 2 >sa0 3902 2105 * n1710gat
or 1 2 3900 3890 * n2987gat
not 1 1 >sa0 3899 * n1409gat
or 2 2 >sa0 >sa1 3897 3896 * n2646gat
or 1 4 >sa0 3804 3931 3929 3808 * n2957gat
not 1 1 3895 * II4587
not 1 1 3894 * II4675
not 1 1 3893 * II4566
not 1 1 3892 * II4684
fan 1 1 >sa0 3891 * 
fan 1 1 >sa0 3891 * 
nor 1 2 >sa0 3887 3888 * n1792gat
nor 1 2 >sa0 3885 3622 * n1358gat
nor 1 2 >sa0 3621 3884 * n1303gat
nor 1 2 >sa0 3878 3620 * n1371gat
nor 1 2 >sa0 3619 3881 * n1302gat
nor 1 2 >sa0 3618 3877 * n1440gat
nor 1 2 >sa0 3617 3883 * n1360gat
nor 1 2 >sa0 3876 3615 * n1441gat
nor 1 2 >sa0 3875 3614 * n1367gat
nor 1 2 >sa0 3882 3613 * n1359gat
nor 1 2 >sa0 3611 3880 * n1352gat
nor 1 2 >sa0 3610 3879 * n1351gat
nor 1 2 >sa0 3886 3609 * n1357gat
fan 1 1 >sa0 3873 * 
fan 1 1 >sa0 3873 * 
not 1 1 >sa0 3870 * n88gat
fan 1 1 >sa0 3869 * 
fan 1 1 3869 * 
fan 1 1 >sa0 3868 * 
fan 1 1 >sa0 3868 * 
fan 1 1 >sa0 3868 * 
fan 1 1 3868 * 
not 1 1 >sa0 3866 * n79gat
fan 1 1 >sa0 3865 * 
fan 1 1 >sa0 3865 * 
fan 1 1 3865 * 
fan 1 1 >sa0 3864 * 
fan 1 1 >sa0 3864 * 
fan 1 1 >sa0 3864 * 
not 1 1 >sa0 3862 * n199gat
not 1 1 >sa0 3861 * n21gat
fan 1 1 >sa0 3860 * 
fan 1 1 3860 * 
fan 1 1 >sa0 3859 * 
fan 1 1 >sa0 3859 * 
not 9 1 >sa0 >sa1 3858 * n741gat
fan 1 1 >sa0 3857 * 
fan 1 1 >sa0 3857 * 
nor 1 2 >sa0 3867 3762 * n359gat
nor 1 3 3495 3863 3492 * n355gat
fan 1 1 >sa0 3933 * 
fan 1 1 3933 * 
or 1 2 3913 2016 * n2702gat
fan 1 1 >sa0 3927 * 
fan 1 1 3927 * 
fan 1 1 >sa0 3926 * 
fan 1 1 3926 * 
fan 1 1 >sa0 3925 * 
fan 1 1 3925 * 
nor 1 2 3921 3689 * n2057gat
nor 1 2 3923 2872 * n2194gat
nor 1 2 3922 3557 * n2192gat
or 1 4 3914 3679 3684 3563 * II2813
not 1 1 >sa0 >sa1 3916 * n1836gat
fan 1 1 >sa0 3915 * 
fan 1 1 >sa0 3915 * 
fan 1 1 3915 * 
nor 1 2 3564 3920 * n2329gat
nor 1 3 >sa0 3932 1208 1299 * n1686gat
nor 1 3 >sa0 4016 3418 536 * n1471gat
nor 1 3 >sa0 1249 1276 4012 * n139gat
nor 1 3 >sa0 4004 1244 1272 * n246gat
nor 1 2 >sa0 1237 4005 * n244gat
nor 1 2 >sa0 4003 1236 * n245gat
nor 1 3 >sa0 4006 1270 580 * n250gat
nor 3 3 >sa0 >sa1 1271 1268 4002 * n247gat
nor 1 3 >sa0 582 4014 1281 * n141gat
nor 3 3 >sa0 >sa1 1279 4010 1275 * n140gat
nor 1 2 >sa0 4013 1231 * n137gat
nor 1 2 >sa0 1230 4011 * n136gat
not 2 1 >sa0 >sa1 4018 * n1685gat
fan 1 1 >sa0 4009 * 
fan 1 1 >sa0 4009 * 
not 1 1 >sa0 >sa1 4008 * n1945gat
fan 1 1 >sa0 4001 * 
fan 1 1 >sa0 4001 * 
nor 1 3 >sa0 3802 3406 3994 * n122gat
nor 1 3 >sa0 3999 3219 3995 * n121gat
fan 1 1 >sa0 3991 * 
fan 1 1 >sa0 3991 * 
nor 1 3 >sa0 3992 3411 3990 * n1272gat
fan 1 1 >sa0 3988 * 
fan 1 1 >sa0 3988 * 
fan 1 1 >sa0 3987 * 
fan 1 1 >sa0 3987 * 
fan 1 1 >sa0 3986 * 
fan 1 1 >sa0 3986 * 
nor 1 3 >sa0 3984 3980 3979 * n570gat
fan 1 1 >sa0 3983 * 
fan 1 1 >sa0 3983 * 
fan 1 1 >sa0 3982 * 
fan 1 1 >sa0 3982 * 
fan 1 1 >sa0 3977 * 
fan 1 1 >sa0 3977 * 
nor 1 3 >sa0 3969 3971 3976 * n507gat
fan 1 1 >sa0 3974 * 
fan 1 1 >sa0 3974 * 
fan 1 1 >sa0 3973 * 
fan 1 1 >sa0 3973 * 
fan 1 1 >sa0 3968 * 
fan 1 1 >sa0 3968 * 
nor 1 3 >sa0 3966 3962 3961 * n936gat
fan 1 1 >sa0 3965 * 
fan 1 1 >sa0 3965 * 
fan 1 1 >sa0 3964 * 
fan 1 1 >sa0 3964 * 
fan 1 1 >sa0 3959 * 
fan 1 1 >sa0 3959 * 
nor 1 3 >sa0 3940 3942 3958 * n58gat
fan 1 1 >sa0 3956 * 
fan 1 1 >sa0 3956 * 
nor 1 3 >sa0 3946 3948 3953 * n46gat
fan 1 1 >sa0 3951 * 
fan 1 1 >sa0 3951 * 
fan 1 1 >sa0 3950 * 
fan 1 1 >sa0 3950 * 
fan 1 1 >sa0 3945 * 
fan 1 1 >sa0 3945 * 
fan 1 1 >sa0 3944 * 
fan 1 1 >sa0 3944 * 
fan 1 1 >sa0 3939 * 
fan 1 1 >sa0 3939 * 
nor 1 2 >sa0 1653 3936 * n77gat
not 2 1 >sa0 >sa1 3935 * n758gat
not 1 1 3934 * II237
nor 2 3 >sa0 >sa1 4074 3759 3748 * n630gat
fan 1 1 >sa0 4075 * 
fan 1 1 >sa0 4075 * 
fan 1 1 >sa0 4075 * 
fan 1 1 >sa0 4075 * 
fan 1 1 >sa0 4075 * 
fan 1 1 >sa0 4075 * 
fan 1 1 >sa0 4075 * 
fan 1 1 >sa0 4075 * 
fan 1 1 >sa0 4075 * 
nor 2 3 >sa0 >sa1 4068 3757 3752 * n632gat
nor 1 3 4073 4066 3756 * n631gat
nor 1 3 4076 4067 3751 * n636gat
not 4 1 >sa0 >sa1 4072 * n188gat
not 3 1 >sa0 >sa1 4065 * n189gat
not 2 1 >sa0 >sa1 4061 * n179gat
not 1 1 >sa0 4057 * n67gat
or 1 4 >sa0 4052 4041 4049 4046 * n2977gat
or 1 4 >sa0 4044 4042 4051 4050 * n2973gat
or 1 4 >sa0 4048 4043 4045 4047 * n2978gat
or 1 3 3722 1983 4017 * II1734
nor 1 3 3764 4007 3206 * n1721gat
or 1 2 4028 2004 * n2708gat
or 1 2 4027 2007 * n2799gat
not 1 1 4036 * n2690gat
not 1 1 4034 * n2697gat
nor 1 3 >sa0 3998 3405 3806 * n124gat
fan 1 1 4032 * 
fan 1 1 >sa0 >sa1 4032 * 
not 9 1 >sa0 >sa1 4030 * n1659gat
nor 1 2 >sa0 4022 3645 * n1924gat
not 2 1 >sa0 >sa1 4025 * n2281gat
fan 1 1 >sa0 4023 * 
fan 1 1 4023 * 
nor 1 3 4015 1315 3416 * n1402gat
not 1 1 >sa0 4021 * n1925gat
nor 1 3 >sa0 4038 1253 1186 * n1466gat
nor 1 2 >sa0 4026 1229 * n2566gat
nor 1 2 >sa0 589 4087 * n1971gat
not 3 1 >sa0 >sa1 4096 * n1427gat
not 2 1 >sa0 >sa1 4092 * n1694gat
nor 1 3 >sa0 1217 4031 1316 * n1407gat
nor 1 3 >sa0 1317 4039 1215 * n1408gat
not 1 1 4091 * II3401
not 1 1 4090 * II3387
not 1 1 4089 * II3412
nor 1 2 >sa0 >sa1 3696 4040 * n1793gat
or 1 2 3924 4029 * n2990gat
not 1 1 >sa0 4088 * n1970gat
not 1 1 >sa0 4086 * n2051gat
not 1 1 >sa0 4084 * n1840gat
not 1 1 4082 * II4580
nor 1 2 >sa0 1655 4055 * n89gat
nor 2 2 >sa0 >sa1 4062 1656 * n78gat
nor 1 2 >sa0 2506 4069 * n200gat
nor 1 2 >sa0 4070 2507 * n22gat
nor 2 3 >sa0 >sa1 3754 3749 4077 * n635gat
not 9 1 >sa0 >sa1 4081 * n455gat
not 2 1 >sa0 >sa1 4079 * n407gat
nor 2 2 >sa0 >sa1 4094 3417 * n1469gat
not 1 1 4097 * n2492gat
not 2 1 >sa0 >sa1 4164 * n753gat
fan 1 1 >sa0 4163 * 
fan 1 1 >sa0 4163 * 
nor 1 3 >sa0 3941 4159 4149 * n57gat
nor 1 3 >sa0 4161 3943 4150 * n56gat
nor 1 3 >sa0 3947 4155 4152 * n45gat
nor 1 3 >sa0 4157 3949 4153 * n44gat
nor 1 3 >sa0 4142 4144 3960 * n937gat
nor 1 3 >sa0 4143 3963 4147 * n934gat
nor 1 3 >sa0 3970 4138 4135 * n506gat
nor 1 3 >sa0 4140 3972 4136 * n505gat
nor 1 3 >sa0 4128 4130 3978 * n571gat
nor 1 3 >sa0 4129 3981 4133 * n568gat
nor 1 3 >sa0 4118 3632 3989 * n1273gat
nor 1 3 >sa0 4119 3412 4122 * n1270gat
fan 1 1 >sa0 4110 * 
fan 1 1 >sa0 >sa1 4110 * 
or 2 2 >sa0 >sa1 4109 4100 * n2877gat
fan 1 1 >sa0 4107 * 
fan 1 1 >sa0 4107 * 
fan 1 1 4107 * 
fan 1 1 >sa0 4105 * 
fan 1 1 >sa0 4105 * 
fan 1 1 4105 * 
or 2 2 >sa0 >sa1 4103 4101 * n2884gat
nor 1 2 >sa0 1269 4114 * n251gat
nor 1 2 >sa0 4115 1273 * n248gat
nor 1 2 >sa0 4112 1278 * n38gat
nor 1 2 >sa0 4111 1280 * n234gat
nor 1 2 3918 4197 * n2147gat
not 2 1 >sa0 >sa1 4199 * n1403gat
not 2 1 >sa0 >sa1 4198 * n1990gat
fan 1 1 >sa0 4196 * 
fan 1 1 4196 * 
fan 1 1 >sa0 4194 * 
fan 1 1 >sa0 4194 * 
fan 1 1 >sa0 4194 * 
fan 1 1 >sa0 4194 * 
fan 1 1 >sa0 4194 * 
fan 1 1 >sa0 4194 * 
fan 1 1 >sa0 4194 * 
fan 1 1 >sa0 4194 * 
fan 1 1 >sa0 4194 * 
not 1 1 >sa0 4192 * n2237gat
or 3 4 >sa0 >sa1 4191 3996 4116 4117 * n120gat
not 1 1 4190 * II4678
not 1 1 4189 * II4687
nor 1 3 >sa0 3993 3633 4121 * n1271gat
not 1 1 4188 * II4608
not 1 1 4187 * II4601
nor 2 2 >sa0 >sa1 3814 4124 * n2617gat
not 1 1 4186 * II4233
not 4 1 >sa0 >sa1 4185 * n2148gat
nor 1 2 >sa0 4126 3816 * n2580gat
nor 1 2 >sa0 3818 4125 * n2581gat
nor 1 3 >sa0 3985 4131 4132 * n569gat
nor 1 3 >sa0 4139 4137 3975 * n508gat
nor 1 3 >sa0 3967 4145 4146 * n935gat
nor 1 3 >sa0 4160 4158 3957 * n59gat
nor 1 2 >sa0 4170 1592 * n988gat
nor 1 2 >sa0 4166 1595 * n990gat
nor 1 2 >sa0 4168 1598 * n1098gat
nor 1 2 >sa0 1602 4169 * n987gat
nor 1 3 >sa0 4156 4154 3952 * n47gat
nor 1 2 >sa0 4167 1605 * n1097gat
nor 1 2 >sa0 4173 1609 * n998gat
nor 1 2 >sa0 4174 1616 * n989gat
nor 1 2 >sa0 1620 4172 * n890gat
nor 1 2 >sa0 1626 4171 * n997gat
nor 1 2 >sa0 1654 4181 * n73gat
fan 1 1 >sa0 4180 * 
fan 1 1 >sa0 4180 * 
fan 1 1 >sa0 4179 * 
fan 1 1 >sa0 4179 * 
fan 1 1 >sa0 4179 * 
fan 1 1 >sa0 4178 * 
fan 1 1 >sa0 4178 * 
fan 1 1 >sa0 4178 * 
fan 1 1 >sa0 4178 * 
not 2 1 >sa0 >sa1 4177 * n670gat
not 1 1 4176 * n628gat
fan 1 1 4175 * 
fan 1 1 4175 * 
fan 1 1 4165 * 
fan 1 1 4165 * 
fan 1 1 >sa0 4223 * 
fan 1 1 >sa0 4223 * 
fan 1 1 >sa0 4222 * 
fan 1 1 >sa0 4222 * 
fan 1 1 >sa0 4222 * 
fan 1 1 >sa0 4222 * 
fan 1 1 >sa0 4222 * 
fan 1 1 >sa0 4222 * 
fan 1 1 >sa0 4222 * 
fan 1 1 >sa0 4222 * 
fan 1 1 >sa0 4222 * 
fan 1 1 4221 * 
fan 1 1 4221 * 
fan 1 1 >sa0 4218 * 
fan 1 1 4218 * 
or 1 2 4214 1852 * n2684gat
not 1 1 4216 * n2698gat
nor 1 2 >sa0 3711 4200 * n1926gat
not 2 1 >sa0 >sa1 4212 * n1711gat
not 1 1 >sa0 >sa1 4210 * n3035gat
not 1 1 >sa0 >sa1 4209 * n3031gat
not 1 1 >sa0 >sa1 4208 * n3034gat
or 1 3 >sa0 4206 4207 2171 * n2981gat
fan 1 1 4205 * 
fan 1 1 4205 * 
fan 1 1 >sa0 4204 * 
fan 1 1 >sa0 4204 * 
fan 1 1 >sa0 4204 * 
or 1 2 >sa0 4019 4202 * n3015gat
nor 1 2 >sa0 4213 1228 * n1972gat
not 1 1 4225 * II3436
fan 1 1 >sa0 4224 * 
fan 1 1 4224 * 
nor 1 2 >sa0 1260 4244 * n237gat
nor 1 2 >sa0 4245 1263 * n240gat
nor 1 2 >sa0 4247 1264 * n39gat
nor 1 2 >sa0 4248 1267 * n143gat
fan 1 1 >sa0 4250 * 
fan 1 1 4250 * 
not 2 1 >sa0 >sa1 4249 * n144gat
not 2 1 >sa0 >sa1 4246 * n241gat
fan 1 1 >sa0 4243 * 
fan 1 1 4243 * 
nor 1 2 >sa0 4336 4241 * n1600gat
or 3 4 >sa0 >sa1 4239 4120 4273 4240 * n1269gat
or 2 4 >sa0 >sa1 4237 4127 4281 4238 * n567gat
or 2 4 >sa0 >sa1 4282 4134 4235 4236 * n504gat
or 2 4 >sa0 >sa1 4233 4141 4283 4234 * n933gat
or 2 4 >sa0 >sa1 4284 4148 4229 4230 * n55gat
or 2 4 >sa0 >sa1 4289 4151 4231 4232 * n43gat
nor 1 3 >sa0 3937 4053 4227 * n752gat
nor 1 3 >sa0 3851 3871 4228 * n751gat
fan 1 1 >sa0 4226 * 
fan 1 1 >sa0 4226 * 
not 9 1 >sa0 >sa1 4310 * n1112gat
not 9 1 >sa0 >sa1 4309 * n1006gat
not 9 1 >sa0 >sa1 4308 * n926gat
not 9 1 >sa0 >sa1 4307 * n1123gat
not 1 1 >sa0 4306 * n976gat
fan 1 1 >sa0 4305 * 
fan 1 1 >sa0 4305 * 
nor 1 3 4296 4302 4299 * n184gat
nor 2 3 >sa0 >sa1 4071 4058 4298 * n186gat
nor 1 3 4304 4297 4064 * n181gat
nor 1 3 >sa0 3014 4266 3659 * n1646gat
nor 1 3 >sa0 4260 3655 3484 * n1644gat
nor 1 3 >sa0 4263 3483 3660 * n1563gat
nor 1 3 >sa0 3657 4264 3482 * n1649gat
nor 1 3 >sa0 3656 3481 4268 * n1723gat
nor 1 3 >sa0 4261 3661 3480 * n1653gat
nor 1 3 >sa0 3508 4267 3658 * n1647gat
nor 1 3 >sa0 3509 4265 3654 * n1650gat
or 2 2 >sa0 >sa1 4280 4279 * n2579gat
fan 1 1 >sa0 4278 * 
fan 1 1 >sa0 4278 * 
fan 1 1 4278 * 
fan 1 1 4278 * 
not 1 1 4277 * n2808gat
fan 1 1 >sa0 4276 * 
fan 1 1 >sa0 4276 * 
not 1 1 4275 * n2705gat
not 1 1 4274 * n2796gat
fan 1 1 >sa0 4270 * 
fan 1 1 >sa0 4270 * 
fan 1 1 4270 * 
nor 1 3 >sa0 4342 4099 3898 * n1472gat
not 1 1 >sa0 4259 * n2054gat
fan 1 1 >sa0 4257 * 
fan 1 1 >sa0 4257 * 
fan 1 1 >sa0 4256 * 
fan 1 1 >sa0 4256 * 
not 6 1 >sa0 >sa1 4255 * n2199gat
or 1 2 4108 4254 * n2878gat
or 1 3 2163 4253 4106 * n2874gat
or 1 2 4102 4251 * n2883gat
or 1 3 4252 2167 4104 * n2885gat
not 2 1 >sa0 >sa1 4335 * n1777gat
not 1 1 >sa0 4334 * n1518gat
nor 3 4 >sa0 >sa1 4195 3790 4020 4328 * n2078gat
nor 1 2 >sa0 4262 3662 * n1654gat
fan 1 1 >sa0 4329 * 
fan 1 1 4329 * 
not 1 1 4327 * II4681
not 1 1 4326 * II3941
not 9 1 >sa0 >sa1 4325 * n219gat
nor 1 3 4303 4060 4300 * n187gat
nor 1 2 >sa0 4312 3337 * n408gat
nor 1 2 >sa0 4311 3744 * n409gat
nor 2 3 >sa0 >sa1 4059 4301 4063 * n180gat
not 9 1 >sa0 >sa1 4323 * n1111gat
not 9 1 >sa0 >sa1 4322 * n1007gat
not 1 1 >sa0 4343 * n1454gat
or 1 3 >sa0 1218 1256 4338 * II4216
nor 1 2 >sa0 4337 3561 * n1498gat
not 1 1 >sa0 >sa1 4341 * n3036gat
or 1 2 >sa0 4203 4340 * n2999gat
fan 1 1 4360 * 
fan 1 1 >sa0 >sa1 4360 * 
fan 1 1 4359 * 
fan 1 1 >sa0 >sa1 4359 * 
fan 1 1 4358 * 
fan 1 1 >sa0 >sa1 4358 * 
fan 1 1 4357 * 
fan 1 1 >sa0 >sa1 4357 * 
fan 1 1 4356 * 
fan 1 1 >sa0 >sa1 4356 * 
fan 1 1 >sa0 4355 * 
fan 1 1 4355 * 
fan 1 1 4355 * 
not 1 1 >sa0 4353 * n252gat
fan 1 1 >sa0 4351 * 
fan 1 1 >sa0 4351 * 
fan 1 1 >sa0 4350 * 
fan 1 1 >sa0 4350 * 
not 1 1 >sa0 4349 * n457gat
nor 1 2 >sa0 4400 554 * n1533gat
nor 2 3 >sa0 >sa1 4354 1252 2927 * n1519gat
nor 1 2 >sa0 4401 559 * n1400gat
nor 1 2 >sa0 560 4396 * n1470gat
nor 1 2 >sa0 4352 1250 * n390gat
nor 1 2 >sa0 4348 1240 * n460gat
not 1 1 >sa0 4405 * n333gat
not 1 1 >sa0 4404 * n800gat
not 1 1 >sa0 4403 * n235gat
nor 1 2 >sa0 3917 4393 * n2461gat
fan 1 1 >sa0 4402 * 
fan 1 1 >sa0 4402 * 
fan 1 1 >sa0 4402 * 
fan 1 1 >sa0 4402 * 
fan 1 1 >sa0 4402 * 
fan 1 1 >sa0 4402 * 
or 1 3 >sa0 4376 4380 4410 * n2991gat
not 3 1 >sa0 >sa1 4395 * n1601gat
not 1 1 4392 * II4669
not 1 1 4391 * II4672
nor 1 2 >sa0 3813 4389 * n2615gat
not 1 1 4388 * II4236
not 9 1 >sa0 >sa1 4387 * n855gat
not 9 1 >sa0 >sa1 4386 * n1725gat
fan 1 1 4383 * 
fan 1 1 >sa0 >sa1 4383 * 
or 1 3 >sa0 4377 4378 4382 * n2986gat
or 1 3 >sa0 4375 4381 4379 * n2992gat
nor 1 2 >sa0 4371 1644 * n801gat
nor 1 2 >sa0 837 4370 * n977gat
nor 1 3 >sa0 3938 3872 4364 * n749gat
nor 1 3 >sa0 3852 4054 4363 * n750gat
not 1 1 >sa0 4374 * n72gat
fan 1 1 >sa0 4373 * 
fan 1 1 4373 * 
not 1 1 >sa0 4372 * n195gat
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4368 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4367 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4366 * 
fan 1 1 >sa0 4365 * 
fan 1 1 >sa0 4365 * 
fan 1 1 >sa0 4365 * 
fan 1 1 >sa0 4365 * 
fan 1 1 >sa0 4365 * 
fan 1 1 >sa0 4365 * 
fan 1 1 >sa0 4365 * 
fan 1 1 >sa0 4365 * 
fan 1 1 >sa0 4365 * 
nor 9 2 >sa0 >sa1 4078 4417 * n420gat
nor 9 2 >sa0 >sa1 4080 4418 * n419gat
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4421 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4420 * 
fan 1 1 >sa0 4419 * 
fan 1 1 4419 * 
not 1 1 >sa0 4416 * n194gat
fan 1 1 >sa0 4415 * 
fan 1 1 >sa0 4415 * 
fan 1 1 >sa0 4415 * 
fan 1 1 >sa0 4415 * 
fan 1 1 >sa0 4415 * 
fan 1 1 >sa0 4415 * 
fan 1 1 >sa0 4415 * 
fan 1 1 >sa0 4415 * 
fan 1 1 >sa0 4415 * 
nor 1 2 2578 4384 * n854gat
nor 1 2 4385 2597 * n853gat
not 1 1 4414 * n2680gat
nor 1 2 >sa0 4390 4123 * n2614gat
or 1 2 4397 2001 * n2798gat
nor 1 2 >sa0 4394 1107 * n2460gat
not 1 1 >sa0 4412 * n1842gat
fan 1 1 >sa0 4409 * 
fan 1 1 >sa0 4409 * 
fan 1 1 4409 * 
fan 1 1 >sa0 4407 * 
fan 1 1 >sa0 >sa1 4407 * 
not 1 1 >sa0 4406 * n452gat
nor 1 2 >sa0 4422 1255 * n1459gat
or 1 2 4408 1258 * n2703gat
nor 1 2 >sa0 4424 3616 * n1504gat
or 1 3 4423 2334 1187 * II4217
nor 1 3 >sa0 4441 566 1262 * n324gat
nor 1 2 >sa0 568 4440 * n391gat
nor 1 2 >sa0 4442 1248 * n242gat
nor 1 3 >sa0 4443 1266 572 * n142gat
nor 1 2 >sa0 1243 4444 * n145gat
nor 1 2 >sa0 577 4445 * n459gat
nor 1 2 >sa0 4437 1105 * n1285gat
not 2 1 >sa0 >sa1 4439 * n1284gat
not 1 1 4438 * n1286gat
not 1 1 >sa0 4435 * n2244gat
not 1 1 >sa0 4433 * n2245gat
not 1 1 >sa0 4431 * n2246gat
not 1 1 >sa0 4429 * n2243gat
not 1 1 >sa0 4427 * n2384gat
or 1 2 >sa0 4369 4475 * n2944gat
nor 1 2 3853 4479 * n12gat
not 1 1 >sa0 4480 * n14gat
or 2 4 >sa0 >sa1 4361 4362 4477 4476 * n748gat
nor 1 3 4462 4472 4473 * n1726gat
not 1 1 >sa0 4470 * n2478gat
fan 1 1 4469 * 
fan 1 1 4469 * 
fan 1 1 4469 * 
fan 1 1 4469 * 
fan 1 1 4469 * 
fan 1 1 4469 * 
fan 1 1 4469 * 
fan 1 1 4469 * 
fan 1 1 4469 * 
fan 1 1 4468 * 
fan 1 1 4468 * 
fan 1 1 4468 * 
fan 1 1 4468 * 
fan 1 1 4468 * 
fan 1 1 4468 * 
fan 1 1 4468 * 
fan 1 1 4468 * 
fan 1 1 4468 * 
or 2 2 >sa0 >sa1 4466 4553 * n2613gat
not 1 1 4467 * n2804gat
fan 1 1 >sa0 4463 * 
fan 1 1 >sa0 4463 * 
fan 1 1 >sa0 4463 * 
nor 1 2 3905 4460 * n2396gat
nor 1 2 3907 4457 * n2196gat
nor 1 2 2885 4459 * n2198gat
nor 1 2 3544 4461 * n2498gat
nor 1 2 4258 4458 * n2197gat
fan 1 1 >sa0 4447 * 
fan 1 1 4447 * 
nor 1 2 4456 4339 * n2637gat
nor 1 3 >sa0 629 4398 4557 * n2073gat
nor 1 4 >sa0 2201 4399 636 4558 * n2079gat
not 1 1 >sa0 4559 * n2200gat
nor 1 2 >sa0 2047 4496 * n1152gat
nor 1 2 >sa0 2043 4497 * n981gat
nor 1 2 >sa0 2039 4495 * n984gat
nor 1 2 >sa0 2037 4499 * n880gat
nor 1 2 >sa0 4498 2034 * n980gat
nor 1 2 >sa0 4493 2030 * n986gat
nor 1 2 >sa0 4494 2026 * n1088gat
nor 1 2 >sa0 2022 4492 * n1087gat
nor 1 2 >sa0 1402 4487 * n1254gat
nor 1 2 >sa0 1406 4488 * n1244gat
nor 1 2 >sa0 4486 1410 * n1253gat
nor 1 2 >sa0 1414 4490 * n1255gat
nor 1 2 >sa0 4489 1418 * n1243gat
nor 1 2 >sa0 1420 4484 * n1251gat
nor 1 2 >sa0 4485 1424 * n1200gat
nor 1 2 >sa0 1428 4483 * n1212gat
not 1 1 4554 * II4615
nor 1 2 >sa0 1471 4514 * n993gat
nor 1 2 >sa0 4515 1475 * n886gat
nor 1 2 >sa0 1479 4513 * n1094gat
nor 1 2 >sa0 1483 4517 * n994gat
nor 1 2 >sa0 4509 1487 * n1096gat
nor 1 2 >sa0 4516 1490 * n995gat
nor 1 2 >sa0 4511 1494 * n885gat
nor 1 2 >sa0 4512 1498 * n992gat
nor 1 2 >sa0 1502 4510 * n991gat
nor 1 2 >sa0 4504 1506 * n1267gat
nor 1 2 >sa0 4500 1510 * n1176gat
nor 1 2 >sa0 4502 1513 * n1262gat
nor 1 2 >sa0 1517 4503 * n1375gat
nor 1 2 >sa0 4501 1521 * n1261gat
nor 1 2 >sa0 4508 1526 * n905gat
nor 1 2 >sa0 4507 1529 * n1175gat
nor 1 2 >sa0 1532 4505 * n904gat
nor 1 2 >sa0 1535 4506 * n1264gat
nor 1 2 >sa0 4534 1537 * n1092gat
nor 1 2 >sa0 1541 4535 * n889gat
nor 1 2 >sa0 1545 4533 * n1093gat
nor 1 2 >sa0 4537 1549 * n1100gat
nor 1 2 >sa0 4529 1553 * n1095gat
nor 1 2 >sa0 1556 4536 * n1099gat
nor 1 2 >sa0 1560 4531 * n1090gat
nor 1 2 >sa0 1564 4532 * n1091gat
nor 1 2 >sa0 4530 1568 * n1089gat
nor 1 2 >sa0 1572 4524 * n1257gat
nor 1 2 >sa0 1576 4520 * n1173gat
nor 1 2 >sa0 1579 4522 * n1260gat
nor 1 2 >sa0 4523 1583 * n1324gat
nor 1 2 >sa0 1587 4521 * n1326gat
not 1 1 4552 * II4792
nor 1 2 >sa0 4527 1629 * n1174gat
nor 1 2 >sa0 1633 4528 * n1012gat
nor 1 2 >sa0 1637 4526 * n1323gat
nor 1 2 >sa0 1642 4525 * n903gat
not 9 1 >sa0 >sa1 4551 * n851gat
nor 1 2 >sa0 2590 4540 * n197gat
nor 1 2 >sa0 4481 2589 * n196gat
nor 3 2 >sa0 >sa1 1810 4478 * n182gat
not 9 1 >sa0 >sa1 4550 * n852gat
nor 1 2 4538 4056 * n68gat
not 1 1 >sa0 4539 * n71gat
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4519 * 
fan 1 1 >sa0 4518 * 
fan 1 1 >sa0 4518 * 
fan 1 1 >sa0 4518 * 
fan 1 1 >sa0 4518 * 
fan 1 1 >sa0 4518 * 
fan 1 1 >sa0 4518 * 
fan 1 1 >sa0 4518 * 
fan 1 1 >sa0 4518 * 
fan 1 1 >sa0 4518 * 
nor 1 2 >sa0 1722 4549 * n767gat
nor 1 2 >sa0 1728 4547 * n961gat
nor 1 2 >sa0 1734 4548 * n867gat
nor 1 2 >sa0 4546 1740 * n445gat
nor 1 2 >sa0 1743 4541 * n446gat
nor 1 2 >sa0 4542 1748 * n968gat
nor 1 2 >sa0 1753 4545 * n869gat
nor 1 2 >sa0 4544 1759 * n870gat
nor 1 2 >sa0 1764 4543 * n969gat
nor 1 3 3674 3671 4560 * n1780gat
not 1 1 4564 * n2699gat
nor 1 2 >sa0 4563 3278 * n1458gat
not 2 1 >sa0 >sa1 4566 * n1681gat
or 1 2 >sa0 3798 4565 * n2982gat
not 1 1 4575 * II4558
fan 1 1 >sa0 4574 * 
fan 1 1 >sa0 4574 * 
or 1 2 4347 4571 * n2879gat
or 1 3 4346 2164 4570 * n2875gat
or 1 2 4345 4569 * n2882gat
or 1 3 4344 2165 4567 * n2881gat
or 1 2 4450 4568 * n2893gat
not 1 1 >sa0 4616 * n1468gat
or 1 2 4572 4451 * n2902gat
nor 1 2 >sa0 3775 4608 * n2421gat
not 1 1 4614 * II3549
not 1 1 4613 * II3520
not 1 1 4612 * II3539
not 1 1 4611 * II3558
not 1 1 4610 * II3530
not 1 1 4606 * II4756
fan 1 1 4605 * 
fan 1 1 >sa0 >sa1 4605 * 
not 1 1 >sa0 4604 * n759gat
not 1 1 >sa0 4603 * n1075gat
not 1 1 >sa0 4602 * n760gat
not 1 1 >sa0 4601 * n644gat
not 1 1 >sa0 4600 * n641gat
not 1 1 >sa0 4599 * n761gat
not 1 1 >sa0 4598 * n762gat
not 1 1 >sa0 4597 * n643gat
not 1 1 >sa0 4596 * n642gat
not 1 1 >sa0 4595 * n664gat
not 1 1 >sa0 4594 * n368gat
not 1 1 >sa0 4593 * n662gat
not 1 1 >sa0 4592 * n661gat
not 1 1 >sa0 4591 * n558gat
not 1 1 >sa0 4590 * n371gat
not 1 1 >sa0 4589 * n663gat
not 1 1 >sa0 4588 * n370gat
not 1 1 >sa0 4587 * n369gat
not 5 1 >sa0 >sa1 4585 * n1790gat
nor 1 2 >sa0 4583 1808 * n13gat
fan 1 1 4584 * 
fan 1 1 >sa0 >sa1 4584 * 
not 1 1 >sa0 4582 * n11gat
nor 1 2 >sa0 4491 4607 * n979gat
not 1 1 >sa0 4680 * n69gat
nor 9 2 >sa0 >sa1 4220 4676 * n93gat
nor 1 2 4677 4219 * n204gat
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4679 * 
fan 1 1 >sa0 4678 * 
fan 1 1 >sa0 4678 * 
fan 1 1 4678 * 
fan 1 1 >sa0 4675 * 
fan 1 1 >sa0 4675 * 
fan 1 1 >sa0 4675 * 
fan 1 1 >sa0 4675 * 
fan 1 1 >sa0 4675 * 
fan 1 1 >sa0 4675 * 
fan 1 1 >sa0 4675 * 
fan 1 1 >sa0 4675 * 
fan 1 1 >sa0 4675 * 
or 1 2 >sa0 4674 4654 * n2942gat
or 1 2 >sa0 4655 4673 * n2969gat
or 1 2 >sa0 4652 4672 * n2943gat
or 1 2 >sa0 4671 4653 * n2960gat
or 1 4 4638 4294 4656 4621 * n2940gat
or 1 4 4639 4657 4293 4622 * n2933gat
or 1 4 >sa0 4624 4292 4641 4659 * n2931gat
or 1 4 4625 4643 4291 4661 * n2946gat
or 1 4 4646 4628 4664 4290 * n2948gat
or 1 4 4288 4645 4627 4663 * n2939gat
or 1 4 4644 4626 4662 4287 * n2932gat
or 1 4 4623 4285 4658 4640 * n2947gat
or 1 2 >sa0 4651 4669 * n2968gat
or 1 2 >sa0 4668 4650 * n2961gat
or 1 2 >sa0 4667 4649 * n2967gat
or 1 2 >sa0 4666 4648 * n2962gat
or 1 2 >sa0 4665 4647 * n2965gat
nor 1 2 >sa0 3719 4615 * n1397gat
not 1 1 4637 * n2795gat
nor 1 2 >sa0 4609 695 * n2423gat
or 1 2 >sa0 >sa1 4618 4619 * n2983gat
not 1 1 4617 * n2636gat
not 1 1 4710 * II4777
not 1 1 >sa0 >sa1 4709 * n1781gat
nor 1 2 3919 4620 * n2195gat
nor 1 2 >sa0 1809 4681 * n70gat
nor 1 4 >sa0 4182 4183 4713 4184 * n1428gat
fan 1 1 >sa0 4712 * 
fan 1 1 >sa0 4712 * 
nor 1 2 >sa0 4711 1216 * n1532gat
not 1 1 >sa0 4721 * n381gat
not 1 1 >sa0 4720 * n380gat
not 1 1 >sa0 4719 * n802gat
not 1 1 >sa0 4718 * n134gat
not 1 1 >sa0 4717 * n878gat
nor 1 2 >sa0 697 4716 * n1287gat
not 1 1 4714 * n2687gat
nor 1 2 >sa0 4715 4482 * n1199gat
not 1 1 >sa0 4753 * n2385gat
or 1 3 4556 4752 4162 * n2822gat
fan 1 1 >sa0 4751 * 
fan 1 1 >sa0 4751 * 
fan 1 1 >sa0 4751 * 
fan 1 1 >sa0 4751 * 
fan 1 1 >sa0 4751 * 
nor 1 2 >sa0 4722 3524 * n1467gat
not 1 1 >sa0 4731 * n2186gat
not 1 1 >sa0 >sa1 4729 * n3048gat
not 1 1 >sa0 >sa1 4728 * n3051gat
not 1 1 >sa0 >sa1 4727 * n3049gat
not 1 1 >sa0 >sa1 4726 * n3047gat
not 1 1 >sa0 >sa1 4725 * n3050gat
not 1 1 >sa0 4723 * n458gat
nor 1 2 >sa0 4798 555 * n1398gat
not 1 1 4802 * II3660
or 1 2 4724 4455 * n3013gat
or 1 2 4000 4757 * n2710gat
or 1 2 3904 4755 * n2704gat
or 2 2 >sa0 >sa1 4800 4555 * n3010gat
nor 1 2 >sa0 4629 4781 * n1008gat
nor 1 2 >sa0 4782 4630 * n1265gat
nor 1 2 >sa0 4631 4797 * n1266gat
nor 1 2 >sa0 4783 4632 * n1009gat
nor 1 2 >sa0 4633 4784 * n1171gat
nor 1 2 >sa0 4634 4795 * n1259gat
nor 1 2 >sa0 4635 4794 * n1172gat
nor 1 2 >sa0 4793 4636 * n1263gat
not 1 1 4799 * II4666
not 2 1 >sa0 >sa1 4792 * n1179gat
or 1 4 >sa0 4756 4286 4660 4642 * n2945gat
not 2 1 >sa0 >sa1 4791 * n894gat
not 2 1 >sa0 >sa1 4790 * n897gat
not 2 1 >sa0 >sa1 4789 * n1180gat
not 2 1 >sa0 >sa1 4788 * n1002gat
not 2 1 >sa0 >sa1 4786 * n888gat
not 2 1 >sa0 >sa1 4785 * n898gat
not 9 1 >sa0 >sa1 4771 * n111gat
not 1 1 >sa0 >sa1 4759 * n827gat
fan 1 1 >sa0 4758 * 
fan 1 1 >sa0 4758 * 
fan 1 1 >sa0 4758 * 
fan 1 1 >sa0 4758 * 
fan 1 1 >sa0 4758 * 
fan 1 1 >sa0 4758 * 
fan 1 1 >sa0 4758 * 
fan 1 1 >sa0 4758 * 
fan 1 1 >sa0 4758 * 
nor 1 2 >sa0 4767 1720 * n795gat
nor 1 2 >sa0 4765 1726 * n960gat
nor 1 2 >sa0 1732 4766 * n794gat
nor 1 2 >sa0 4762 1738 * n649gat
nor 1 2 >sa0 1744 4760 * n764gat
nor 1 2 >sa0 1749 4761 * n650gat
nor 1 2 >sa0 1754 4764 * n555gat
nor 1 2 >sa0 4763 1760 * n557gat
nor 1 2 >sa0 4768 1765 * n556gat
nor 1 2 >sa0 1697 4779 * n656gat
nor 1 2 >sa0 4777 1694 * n965gat
nor 1 2 >sa0 1691 4778 * n773gat
nor 1 2 >sa0 4774 1688 * n449gat
nor 1 2 >sa0 4772 1686 * n774gat
nor 1 2 >sa0 1683 4773 * n791gat
nor 1 2 >sa0 1680 4776 * n450gat
nor 1 2 >sa0 1677 4775 * n654gat
nor 1 2 >sa0 4780 1674 * n793gat
nor 1 2 4324 4769 * n212gat
nor 6 2 >sa0 >sa1 4217 4770 * n110gat
nor 2 2 >sa0 >sa1 4474 4787 * n879gat
not 6 1 >sa0 >sa1 4805 * n2437gat
nor 1 2 >sa0 456 4807 * n1406gat
or 1 3 4215 4806 4295 * n2812gat
not 1 1 4817 * n2685gat
or 2 2 >sa0 >sa1 4573 4816 * n2971gat
or 1 2 4201 4826 * n2984gat
nor 1 4 >sa0 >sa1 1223 3330 1198 4824 * n2163gat
nor 1 2 4825 1298 * n1929gat
nor 1 2 >sa0 >sa1 2138 4823 * n2017gat
nor 1 2 >sa0 >sa1 3709 4822 * n1927gat
nor 1 4 >sa0 >sa1 3549 4821 3649 2928 * n1564gat
nor 1 2 >sa0 4796 4818 * n1252gat
not 1 1 4820 * II4651
nor 1 2 >sa0 1721 4867 * n769gat
nor 1 2 >sa0 1727 4865 * n766gat
nor 1 2 >sa0 1733 4866 * n1076gat
nor 1 2 >sa0 1739 4862 * n651gat
nor 1 2 >sa0 4860 1745 * n765gat
nor 1 2 >sa0 4861 1750 * n652gat
nor 1 2 >sa0 4864 1755 * n645gat
nor 1 2 >sa0 1761 4863 * n646gat
nor 1 2 >sa0 4859 1766 * n763gat
or 1 3 >sa0 >sa1 4743 4877 4868 * n2891gat
or 1 3 >sa0 >sa1 4745 4869 4878 * n2915gat
or 1 3 >sa0 >sa1 4744 4879 4870 * n2903gat
or 1 3 >sa0 >sa1 4880 4871 4748 * n2888gat
or 1 3 >sa0 >sa1 4750 4872 4881 * n2886gat
or 1 3 >sa0 >sa1 4749 4873 4882 * n2887gat
or 1 3 >sa0 >sa1 4883 4874 4746 * n2901gat
or 1 3 >sa0 >sa1 4747 4875 4884 * n2890gat
or 1 3 >sa0 >sa1 4876 4742 4885 * n2904gat
nor 2 2 >sa0 >sa1 4850 4581 * n978gat
nor 1 2 >sa0 4690 4843 * n902gat
nor 1 2 >sa0 4844 4689 * n999gat
nor 1 2 >sa0 4841 4688 * n892gat
nor 1 2 >sa0 4840 4687 * n900gat
nor 1 2 >sa0 4842 4686 * n1116gat
nor 1 2 >sa0 4846 4685 * n899gat
nor 1 2 >sa0 4845 4684 * n901gat
nor 1 2 >sa0 4683 4847 * n1115gat
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4857 * 
fan 1 1 >sa0 4856 * 
fan 1 1 >sa0 4856 * 
fan 1 1 >sa0 4855 * 
fan 1 1 >sa0 4855 * 
fan 1 1 >sa0 4854 * 
fan 1 1 >sa0 4854 * 
fan 1 1 >sa0 4853 * 
fan 1 1 >sa0 4853 * 
fan 1 1 >sa0 4852 * 
fan 1 1 >sa0 4852 * 
fan 1 1 >sa0 4851 * 
fan 1 1 >sa0 4851 * 
fan 1 1 >sa0 4849 * 
fan 1 1 >sa0 4849 * 
fan 1 1 4839 * 
fan 1 1 >sa0 >sa1 4839 * 
not 1 1 4838 * II3935
not 1 1 4837 * II3923
not 1 1 >sa0 4836 * n2422gat
not 1 1 >sa0 >sa1 4835 * n3054gat
or 2 4 >sa0 >sa1 4834 3279 4448 4449 * n2980gat
fan 1 1 >sa0 4889 * 
fan 1 1 >sa0 4889 * 
fan 1 1 >sa0 4889 * 
fan 1 1 >sa0 4889 * 
fan 1 1 >sa0 4889 * 
fan 1 1 >sa0 4889 * 
fan 1 1 >sa0 4888 * 
fan 1 1 >sa0 4888 * 
fan 1 1 >sa0 4887 * 
fan 1 1 >sa0 4887 * 
fan 1 1 >sa0 4887 * 
fan 1 1 >sa0 4887 * 
fan 1 1 >sa0 4887 * 
fan 1 1 4887 * 
not 5 1 >sa0 >sa1 4886 * n372gat
not 1 1 4891 * II4642
fan 1 1 4893 * 
fan 1 1 >sa0 >sa1 4893 * 
not 1 1 4892 * II4690
nor 1 2 >sa0 4900 4682 * n1000gat
not 1 1 4901 * n2819gat
not 1 1 >sa0 4896 * n2004gat
not 1 1 >sa0 4894 * n1477gat
fan 1 1 4958 * 
fan 1 1 4958 * 
not 1 1 4955 * n2707gat
not 1 1 4954 * n2700gat
not 1 1 >sa0 4952 * n2325gat
or 1 2 >sa0 >sa1 4733 4902 * n2918gat
or 1 2 >sa0 >sa1 4734 4904 * n2952gat
or 1 2 >sa0 >sa1 4735 4903 * n2919gat
or 1 2 >sa0 >sa1 4736 4908 * n2910gat
or 1 2 >sa0 >sa1 4737 4909 * n2907gat
or 1 2 >sa0 >sa1 4905 4738 * n2911gat
or 1 2 >sa0 >sa1 4907 4739 * n2912gat
or 1 2 >sa0 >sa1 4740 4906 * n2909gat
or 1 2 >sa0 >sa1 4741 4910 * n2908gat
fan 1 1 >sa0 4920 * 
fan 1 1 >sa0 4920 * 
nor 1 2 >sa0 4967 1719 * n796gat
nor 1 2 >sa0 1725 4968 * n797gat
nor 1 2 >sa0 4971 1731 * n1074gat
nor 1 2 >sa0 1737 4970 * n377gat
nor 1 2 >sa0 1763 4969 * n1077gat
nor 1 2 >sa0 4937 1698 * n653gat
nor 1 2 >sa0 1695 4935 * n964gat
nor 1 2 >sa0 4936 1692 * n771gat
nor 1 2 >sa0 4934 1689 * n447gat
nor 1 2 >sa0 1685 4929 * n772gat
nor 1 2 >sa0 1682 4930 * n971gat
nor 1 2 >sa0 1679 4933 * n448gat
nor 1 2 >sa0 4932 1676 * n974gat
nor 1 2 >sa0 1673 4931 * n975gat
nor 1 2 >sa0 4966 4699 * n1003gat
nor 1 2 >sa0 4943 4698 * n1001gat
nor 1 2 >sa0 4941 4697 * n891gat
nor 1 2 >sa0 4939 4696 * n895gat
nor 1 2 >sa0 4951 4695 * n1178gat
nor 1 2 >sa0 4694 4947 * n896gat
nor 1 2 >sa0 4693 4949 * n893gat
nor 1 2 >sa0 4692 4945 * n1177gat
nor 1 2 >sa0 4313 4944 * n1182gat
nor 1 2 >sa0 4314 4948 * n1005gat
nor 1 2 >sa0 4315 4946 * n1010gat
nor 1 2 >sa0 4950 4316 * n1181gat
nor 1 2 >sa0 4938 4317 * n1011gat
nor 1 2 >sa0 4940 4318 * n1030gat
nor 1 2 >sa0 4319 4942 * n1031gat
nor 1 2 >sa0 4965 4320 * n1028gat
fan 1 1 >sa0 4973 * 
fan 1 1 >sa0 4973 * 
fan 1 1 >sa0 4973 * 
fan 1 1 >sa0 4973 * 
fan 1 1 >sa0 4973 * 
not 5 1 >sa0 >sa1 4972 * n375gat
nor 1 2 >sa0 4956 3627 * n1598gat
nor 1 2 4083 4962 * n2436gat
nor 1 2 4961 4085 * n2387gat
nor 1 2 3706 4960 * n2330gat
nor 1 2 4963 3796 * n2539gat
nor 1 2 4964 4411 * n2556gat
nor 1 2 4959 4426 * n2559gat
not 1 1 4974 * n2809gat
not 1 1 >sa0 4975 * n1782gat
not 1 1 4979 * II4654
nor 1 2 >sa0 4691 4997 * n1004gat
or 1 2 4986 5026 * n2761gat
nor 1 2 >sa0 5028 4814 * n451gat
nor 1 2 >sa0 4815 5029 * n970gat
not 1 1 4985 * II4795
not 1 1 4984 * II4798
nor 1 3 >sa0 >sa1 4980 3331 2139 * n2009gat
nor 1 2 >sa0 4981 1214 * n1531gat
not 1 1 4983 * n1505gat
not 1 1 4982 * n1546gat
nor 1 2 >sa0 4833 5030 * n972gat
nor 1 2 >sa0 4562 5032 * n453gat
nor 1 2 >sa0 4452 5031 * n973gat
not 1 1 5039 * II3457
not 1 1 5038 * II3472
not 1 1 5037 * II3504
not 1 1 5036 * II3491
not 1 1 5035 * II3483
nor 1 3 >sa0 4033 3997 5034 * n1154gat
or 1 2 4576 5024 * n2756gat
or 1 2 4577 5025 * n2757gat
or 1 2 4578 5022 * n2749gat
or 1 2 4579 5023 * n2750gat
or 1 2 4580 5021 * n2742gat
fan 1 1 >sa0 5033 * 
fan 1 1 >sa0 5033 * 
fan 1 1 >sa0 5033 * 
fan 1 1 >sa0 5033 * 
fan 1 1 >sa0 5033 * 
or 1 2 4819 5020 * n2741gat
nor 1 2 >sa0 4321 4996 * n1029gat
or 1 2 4928 5019 * n2955gat
or 1 2 5018 4927 * n2936gat
or 1 2 5017 4926 * n2938gat
or 1 2 4925 5016 * n2956gat
or 1 2 5015 4924 * n2937gat
or 1 2 5014 4923 * n2935gat
or 1 2 4922 5013 * n2950gat
or 1 2 4921 5012 * n2941gat
or 1 2 >sa0 >sa1 5003 4700 * n2913gat
or 1 2 >sa0 >sa1 4701 5004 * n2905gat
or 1 2 >sa0 >sa1 5005 4702 * n2920gat
or 1 2 >sa0 >sa1 4703 5006 * n2898gat
not 1 1 5041 * II4657
not 1 1 5040 * n2558gat
or 1 2 5042 5027 * n2762gat
not 1 1 5053 * II4122
not 1 1 5052 * II4117
not 1 1 5045 * II4518
or 1 2 4978 5044 * n2951gat
or 1 3 4704 5046 5007 * n2899gat
or 1 3 4705 5047 5008 * n2916gat
or 1 3 5009 5055 4706 * n2900gat
or 1 3 4707 5056 5010 * n2929gat
or 1 3 4708 5054 5011 * n2925gat
not 1 1 5082 * II4309
not 1 1 5081 * II4329
not 1 1 5080 * II4349
not 1 1 5079 * II4369
not 1 1 5078 * II4389
not 1 1 5077 * II4409
not 1 1 5076 * II4429
not 1 1 5075 * II4449
not 1 1 5073 * II4554
nor 1 2 >sa0 5070 4811 * n1083gat
nor 1 2 >sa0 5069 4813 * n871gat
nor 1 2 >sa0 4812 5068 * n1082gat
not 1 1 5067 * II4548
not 1 1 5066 * II4536
not 1 1 5065 * II4542
not 1 1 5064 * II4524
not 1 1 5063 * II4530
not 1 1 >sa0 >sa1 5061 * n3041gat
not 1 1 >sa0 >sa1 5060 * n3042gat
not 1 1 >sa0 >sa1 5059 * n3044gat
not 1 1 >sa0 >sa1 5058 * n3040gat
not 1 1 >sa0 >sa1 5057 * n3037gat
or 2 4 >sa0 >sa1 5051 4810 4446 4098 * n2985gat
nor 1 2 >sa0 4453 5072 * n872gat
nor 1 2 >sa0 4454 5071 * n378gat
not 1 1 5088 * II3635
nor 1 2 >sa0 4095 5062 * n1411gat
or 1 2 4269 5074 * n2764gat
not 1 1 5089 * II4512
not 1 1 5093 * II4475
not 1 1 5092 * n2759gat
not 1 1 5091 * n2758gat
not 1 1 5090 * n2752gat
fan 1 1 >sa0 5121 * 
fan 1 1 >sa0 5121 * 
not 1 1 5115 * n2753gat
not 1 1 5114 * n2754gat
not 1 1 5113 * n2745gat
not 1 1 5112 * n2746gat
not 1 1 5111 * n2738gat
not 1 1 5107 * n2737gat
not 1 1 5106 * n2828gat
not 1 1 5105 * n2829gat
not 1 1 5104 * n2823gat
not 1 1 5103 * n2824gat
not 1 1 5102 * n2817gat
not 1 1 5101 * n2818gat
not 1 1 5100 * n2813gat
not 1