# TIMEOUT 7200 MAIN BEGIN : [Thu Jul 6 14:08:50 2006] READ BEGIN : csp/abb313GPIA.csp [Thu Jul 6 14:08:50 2006] READ END : csp/abb313GPIA.csp (83 seconds) [Thu Jul 6 14:10:13 2006] READ CPU : 82.66 = 81.27 + 1.39 + 0 + 0 # BOUND : color 2 14 GENERATE_CNF 14 BEGIN : [Thu Jul 6 14:10:13 2006] GENERATE_CNF 14 END : 131606 variables 1592434 clauses 33420965 bytes (77 seconds) [Thu Jul 6 14:11:30 2006] GENERATE_CNF 14 CPU : 76.86 = 76.5 + 0.36 + 0 + 0 MODIFY_CNF 8 BEGIN : [Thu Jul 6 14:11:30 2006] MODIFY_CNF 8 END : 33420969 bytes (0 seconds) [Thu Jul 6 14:11:30 2006] MODIFY_CNF 8 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 8 BEGIN : [Thu Jul 6 14:11:30 2006] CMD : minisat /tmp/csp2sat18711.cnf /tmp/csp2sat18711.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 942827 2870946 | 314275 0 0 nan | 0.000 % | | 101 | 942827 2870946 | 345702 101 1351 13.4 | 10.640 % | | 251 | 942827 2870946 | 380272 251 2814 11.2 | 10.640 % | | 477 | 942827 2870946 | 418300 477 5238 11.0 | 10.640 % | | 814 | 942827 2870946 | 460130 814 12720 15.6 | 10.640 % | | 1321 | 942827 2870946 | 506143 1321 17277 13.1 | 10.640 % | | 2080 | 942827 2870946 | 556757 2080 31452 15.1 | 10.640 % | | 3220 | 942827 2870946 | 612433 3220 50482 15.7 | 10.640 % | | 4928 | 942827 2870946 | 673676 4928 79738 16.2 | 10.640 % | | 7490 | 942827 2870946 | 741044 7490 129967 17.4 | 10.640 % | | 11334 | 942827 2870946 | 815148 11334 219077 19.3 | 10.640 % | | 17100 | 942827 2870946 | 896663 17100 422474 24.7 | 10.640 % | | 25755 | 942827 2870946 | 986329 25755 634784 24.6 | 10.640 % | | 38730 | 942827 2870946 | 1084962 38730 917400 23.7 | 10.640 % | | 58193 | 942827 2870946 | 1193458 58193 1270449 21.8 | 10.640 % | | 87385 | 942827 2870946 | 1312804 87385 1737340 19.9 | 10.640 % | | 131175 | 942827 2870946 | 1444085 131175 2435800 18.6 | 10.640 % | | 196860 | 942827 2870946 | 1588493 196860 3473657 17.6 | 10.640 % | | 295387 | 942829 2870946 | 1747343 295385 4882628 16.5 | 10.640 % | ============================================================================== restarts : 19 conflicts : 386628 (391 /sec) decisions : 459247 (464 /sec) propagations : 101022739 (102162 /sec) conflict literals : 6036259 (17.65 % deleted) Memory used : 75.71 MB CPU time : 988.85 s UNSATISFIABLE VERIFY_CNF 8 END : (990 seconds) [Thu Jul 6 14:28:00 2006] VERIFY_CNF 8 CPU : 990.03 = 0.00999999999999091 + 0.03 + 988.85 + 1.14 # RESULT : color 8 UNSATISFIABLE # BOUND : color 9 14 MODIFY_CNF 11 BEGIN : [Thu Jul 6 14:28:00 2006] MODIFY_CNF 11 END : 33420970 bytes (0 seconds) [Thu Jul 6 14:28:00 2006] MODIFY_CNF 11 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 11 BEGIN : [Thu Jul 6 14:28:00 2006] CMD : minisat /tmp/csp2sat18711.cnf /tmp/csp2sat18711.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1262963 3831354 | 420987 0 0 nan | 0.000 % | | 101 | 1262963 3831354 | 463085 101 758 7.5 | 7.093 % | | 252 | 1262963 3831354 | 509394 252 2271 9.0 | 7.093 % | | 478 | 1262963 3831354 | 560333 478 8314 17.4 | 7.093 % | | 817 | 1262963 3831354 | 616367 817 14769 18.1 | 7.093 % | ============================================================================== restarts : 5 conflicts : 1177 (288 /sec) decisions : 11046 (2701 /sec) propagations : 1691381 (413541 /sec) conflict literals : 24139 (1.66 % deleted) Memory used : 60.80 MB CPU time : 4.09 s SATISFIABLE VERIFY_CNF 11 END : (4 seconds) [Thu Jul 6 14:28:04 2006] VERIFY_CNF 11 CPU : 4.39999999999997 = 0 + 0.02 + 4.15999999999997 + 0.22 # RESULT : color 11 SATISFIABLE SHOW_RESULT 11 BEGIN : [Thu Jul 6 14:28:04 2006] # ASSIGN : color 11 # ASSIGN : n3 10 # ASSIGN : n4 6 # ASSIGN : n5 11 # ASSIGN : n6 4 # ASSIGN : n7 11 # ASSIGN : n8 9 # ASSIGN : n9 10 # ASSIGN : n10 8 # ASSIGN : n11 10 # ASSIGN : n12 9 # ASSIGN : n13 11 # ASSIGN : n14 4 # ASSIGN : n15 5 # ASSIGN : n16 2 # ASSIGN : n17 10 # ASSIGN : n18 9 # ASSIGN : n19 5 # ASSIGN : n20 10 # ASSIGN : n21 9 # ASSIGN : n22 11 # ASSIGN : n23 10 # ASSIGN : n24 6 # ASSIGN : n25 8 # ASSIGN : n26 7 # ASSIGN : n27 2 # ASSIGN : n28 1 # ASSIGN : n29 9 # ASSIGN : n30 11 # ASSIGN : n31 2 # ASSIGN : n32 4 # ASSIGN : n33 1 # ASSIGN : n34 9 # ASSIGN : n35 11 # ASSIGN : n36 4 # ASSIGN : n37 3 # ASSIGN : n38 10 # ASSIGN : n39 7 # ASSIGN : n40 2 # ASSIGN : n41 4 # ASSIGN : n42 5 # ASSIGN : n43 2 # ASSIGN : n44 1 # ASSIGN : n45 6 # ASSIGN : n46 8 # ASSIGN : n47 7 # ASSIGN : n48 2 # ASSIGN : n49 1 # ASSIGN : n50 11 # ASSIGN : n51 9 # ASSIGN : n52 8 # ASSIGN : n53 10 # ASSIGN : n54 1 # ASSIGN : n55 7 # ASSIGN : n56 9 # ASSIGN : n57 6 # ASSIGN : n58 3 # ASSIGN : n59 1 # ASSIGN : n60 6 # ASSIGN : n61 5 # ASSIGN : n62 2 # ASSIGN : n63 10 # ASSIGN : n64 1 # ASSIGN : n65 5 # ASSIGN : n66 9 # ASSIGN : n67 8 # ASSIGN : n68 4 # ASSIGN : n69 1 # ASSIGN : n70 2 # ASSIGN : n71 10 # ASSIGN : n72 6 # ASSIGN : n73 3 # ASSIGN : n74 1 # ASSIGN : n75 8 # ASSIGN : n76 4 # ASSIGN : n77 6 # ASSIGN : n78 5 # ASSIGN : n79 11 # ASSIGN : n80 8 # ASSIGN : n81 10 # ASSIGN : n82 9 # ASSIGN : n83 5 # ASSIGN : n84 1 # ASSIGN : n85 9 # ASSIGN : n86 8 # ASSIGN : n87 4 # ASSIGN : n88 3 # ASSIGN : n89 10 # ASSIGN : n90 11 # ASSIGN : n91 9 # ASSIGN : n92 6 # ASSIGN : n93 3 # ASSIGN : n94 1 # ASSIGN : n95 8 # ASSIGN : n96 7 # ASSIGN : n97 6 # ASSIGN : n98 3 # ASSIGN : n99 1 # ASSIGN : n100 4 # ASSIGN : n101 3 # ASSIGN : n102 7 # ASSIGN : n103 5 # ASSIGN : n104 2 # ASSIGN : n105 6 # ASSIGN : n106 3 # ASSIGN : n107 9 # ASSIGN : n108 5 # ASSIGN : n109 10 # ASSIGN : n110 8 # ASSIGN : n111 4 # ASSIGN : n112 6 # ASSIGN : n113 5 # ASSIGN : n114 11 # ASSIGN : n115 4 # ASSIGN : n116 3 # ASSIGN : n117 7 # ASSIGN : n118 10 # ASSIGN : n119 11 # ASSIGN : n120 6 # ASSIGN : n121 10 # ASSIGN : n122 9 # ASSIGN : n123 4 # ASSIGN : n124 11 # ASSIGN : n125 7 # ASSIGN : n126 5 # ASSIGN : n127 4 # ASSIGN : n128 3 # ASSIGN : n129 8 # ASSIGN : n130 2 # ASSIGN : n131 7 # ASSIGN : n132 1 # ASSIGN : n133 3 # ASSIGN : n134 8 # ASSIGN : n135 2 # ASSIGN : n136 8 # ASSIGN : n137 10 # ASSIGN : n138 9 # ASSIGN : n139 5 # ASSIGN : n140 1 # ASSIGN : n141 6 # ASSIGN : n142 3 # ASSIGN : n143 9 # ASSIGN : n144 5 # ASSIGN : n145 2 # ASSIGN : n146 6 # ASSIGN : n147 10 # ASSIGN : n148 9 # ASSIGN : n149 4 # ASSIGN : n150 2 # ASSIGN : n151 7 # ASSIGN : n152 5 # ASSIGN : n153 11 # ASSIGN : n154 10 # ASSIGN : n155 8 # ASSIGN : n156 2 # ASSIGN : n157 7 # ASSIGN : n158 5 # ASSIGN : n159 10 # ASSIGN : n160 8 # ASSIGN : n161 2 # ASSIGN : n162 7 # ASSIGN : n163 5 # ASSIGN : n164 11 # ASSIGN : n165 3 # ASSIGN : n166 8 # ASSIGN : n167 9 # ASSIGN : n168 7 # ASSIGN : n169 5 # ASSIGN : n170 11 # ASSIGN : n171 10 # ASSIGN : n172 8 # ASSIGN : n173 2 # ASSIGN : n174 11 # ASSIGN : n175 8 # ASSIGN : n176 9 # ASSIGN : n177 1 # ASSIGN : n178 10 # ASSIGN : n179 8 # ASSIGN : n180 7 # ASSIGN : n181 5 # ASSIGN : n182 9 # ASSIGN : n183 11 # ASSIGN : n184 3 # ASSIGN : n185 8 # ASSIGN : n186 6 # ASSIGN : n187 7 # ASSIGN : n188 9 # ASSIGN : n189 7 # ASSIGN : n190 1 # ASSIGN : n191 3 # ASSIGN : n192 8 # ASSIGN : n193 4 # ASSIGN : n194 7 # ASSIGN : n195 5 # ASSIGN : n196 10 # ASSIGN : n197 8 # ASSIGN : n198 2 # ASSIGN : n199 8 # ASSIGN : n200 6 # ASSIGN : n201 10 # ASSIGN : n202 8 # ASSIGN : n203 7 # ASSIGN : n204 11 # ASSIGN : n205 4 # ASSIGN : n206 3 # ASSIGN : n207 8 # ASSIGN : n208 1 # ASSIGN : n209 7 # ASSIGN : n210 9 # ASSIGN : n211 4 # ASSIGN : n212 10 # ASSIGN : n213 8 # ASSIGN : n214 7 # ASSIGN : n215 5 # ASSIGN : n216 9 # ASSIGN : n217 10 # ASSIGN : n218 8 # ASSIGN : n219 7 # ASSIGN : n220 11 # ASSIGN : n221 1 # ASSIGN : n222 3 # ASSIGN : n223 11 # ASSIGN : n224 6 # ASSIGN : n225 10 # ASSIGN : n226 9 # ASSIGN : n227 7 # ASSIGN : n228 11 # ASSIGN : n229 10 # ASSIGN : n230 8 # ASSIGN : n231 6 # ASSIGN : n232 1 # ASSIGN : n233 7 # ASSIGN : n234 11 # ASSIGN : n235 8 # ASSIGN : n236 6 # ASSIGN : n237 1 # ASSIGN : n238 7 # ASSIGN : n239 11 # ASSIGN : n240 8 # ASSIGN : n241 10 # ASSIGN : n242 9 # ASSIGN : n243 4 # ASSIGN : n244 3 # ASSIGN : n245 8 # ASSIGN : n246 6 # ASSIGN : n247 7 # ASSIGN : n248 9 # ASSIGN : n249 3 # ASSIGN : n250 8 # ASSIGN : n251 2 # ASSIGN : n252 7 # ASSIGN : n253 11 # ASSIGN : n254 3 # ASSIGN : n255 5 # ASSIGN : n256 6 # ASSIGN : n257 10 # ASSIGN : n258 9 # ASSIGN : n259 2 # ASSIGN : n260 7 # ASSIGN : n261 5 # ASSIGN : n262 8 # ASSIGN : n263 4 # ASSIGN : n264 11 # ASSIGN : n265 2 # ASSIGN : n266 7 # ASSIGN : n267 8 # ASSIGN : n268 4 # ASSIGN : n269 11 # ASSIGN : n270 1 # ASSIGN : n271 7 # ASSIGN : n272 8 # ASSIGN : n273 3 # ASSIGN : n274 11 # ASSIGN : n275 7 # ASSIGN : n276 2 # ASSIGN : n277 10 # ASSIGN : n278 9 # ASSIGN : n279 6 # ASSIGN : n280 1 # ASSIGN : n281 2 # ASSIGN : n282 7 # ASSIGN : n283 5 # ASSIGN : n284 9 # ASSIGN : n285 4 # ASSIGN : n286 11 # ASSIGN : n287 5 # ASSIGN : n288 9 # ASSIGN : n289 6 # ASSIGN : n290 2 # ASSIGN : n291 3 # ASSIGN : n292 11 # ASSIGN : n293 5 # ASSIGN : n294 9 # ASSIGN : n295 11 # ASSIGN : n296 10 # ASSIGN : n297 8 # ASSIGN : n298 6 # ASSIGN : n299 2 # ASSIGN : n300 7 # ASSIGN : n301 11 # ASSIGN : n302 7 # ASSIGN : n303 2 # ASSIGN : n304 9 # ASSIGN : n305 6 # ASSIGN : n306 1 # ASSIGN : n307 2 # ASSIGN : n308 7 # ASSIGN : n309 9 # ASSIGN : n310 4 # ASSIGN : n311 11 # ASSIGN : n312 5 # ASSIGN : n313 9 # ASSIGN : n314 3 # ASSIGN : n315 9 # ASSIGN : n316 6 # ASSIGN : n317 2 # ASSIGN : n318 10 # ASSIGN : n319 11 # ASSIGN : n320 8 # ASSIGN : n321 4 # ASSIGN : n322 5 # ASSIGN : n323 7 # ASSIGN : n324 3 # ASSIGN : n325 7 # ASSIGN : n326 5 # ASSIGN : n327 8 # ASSIGN : n328 10 # ASSIGN : n329 4 # ASSIGN : n330 1 # ASSIGN : n331 7 # ASSIGN : n332 8 # ASSIGN : n333 3 # ASSIGN : n334 11 # ASSIGN : n335 5 # ASSIGN : n336 9 # ASSIGN : n337 6 # ASSIGN : n338 2 # ASSIGN : n339 3 # ASSIGN : n340 11 # ASSIGN : n341 9 # ASSIGN : n342 6 # ASSIGN : n343 2 # ASSIGN : n344 10 # ASSIGN : n345 11 # ASSIGN : n346 8 # ASSIGN : n347 10 # ASSIGN : n348 5 # ASSIGN : n349 1 # ASSIGN : n350 11 # ASSIGN : n351 2 # ASSIGN : n352 3 # ASSIGN : n353 1 # ASSIGN : n354 5 # ASSIGN : n355 4 # ASSIGN : n356 8 # ASSIGN : n357 10 # ASSIGN : n358 7 # ASSIGN : n359 6 # ASSIGN : n360 4 # ASSIGN : n361 10 # ASSIGN : n362 8 # ASSIGN : n363 6 # ASSIGN : n364 2 # ASSIGN : n365 7 # ASSIGN : n366 3 # ASSIGN : n367 8 # ASSIGN : n368 6 # ASSIGN : n369 5 # ASSIGN : n370 7 # ASSIGN : n371 3 # ASSIGN : n372 8 # ASSIGN : n373 10 # ASSIGN : n374 9 # ASSIGN : n375 7 # ASSIGN : n376 4 # ASSIGN : n377 9 # ASSIGN : n378 7 # ASSIGN : n379 10 # ASSIGN : n380 11 # ASSIGN : n381 4 # ASSIGN : n382 9 # ASSIGN : n383 1 # ASSIGN : n384 11 # ASSIGN : n385 6 # ASSIGN : n386 4 # ASSIGN : n387 2 # ASSIGN : n388 3 # ASSIGN : n389 1 # ASSIGN : n390 11 # ASSIGN : n391 6 # ASSIGN : n392 2 # ASSIGN : n393 7 # ASSIGN : n394 10 # ASSIGN : n395 11 # ASSIGN : n396 6 # ASSIGN : n397 10 # ASSIGN : n398 8 # ASSIGN : n399 7 # ASSIGN : n400 3 # ASSIGN : n401 9 # ASSIGN : n402 10 # ASSIGN : n403 11 # ASSIGN : n404 4 # ASSIGN : n405 7 # ASSIGN : n406 6 # ASSIGN : n407 10 # ASSIGN : n408 8 # ASSIGN : n409 2 # ASSIGN : n410 4 # ASSIGN : n411 6 # ASSIGN : n412 2 # ASSIGN : n413 10 # ASSIGN : n414 11 # ASSIGN : n415 6 # ASSIGN : n416 9 # ASSIGN : n417 5 # ASSIGN : n418 1 # ASSIGN : n419 11 # ASSIGN : n420 3 # ASSIGN : n421 8 # ASSIGN : n422 10 # ASSIGN : n423 5 # ASSIGN : n424 7 # ASSIGN : n425 6 # ASSIGN : n426 9 # ASSIGN : n427 11 # ASSIGN : n428 3 # ASSIGN : n429 4 # ASSIGN : n430 5 # ASSIGN : n431 8 # ASSIGN : n432 7 # ASSIGN : n433 3 # ASSIGN : n434 2 # ASSIGN : n435 4 # ASSIGN : n436 8 # ASSIGN : n437 10 # ASSIGN : n438 11 # ASSIGN : n439 9 # ASSIGN : n440 7 # ASSIGN : n441 6 # ASSIGN : n442 11 # ASSIGN : n443 3 # ASSIGN : n444 1 # ASSIGN : n445 5 # ASSIGN : n446 8 # ASSIGN : n447 1 # ASSIGN : n448 7 # ASSIGN : n449 2 # ASSIGN : n450 11 # ASSIGN : n451 8 # ASSIGN : n452 4 # ASSIGN : n453 7 # ASSIGN : n454 3 # ASSIGN : n455 11 # ASSIGN : n456 8 # ASSIGN : n457 9 # ASSIGN : n458 7 # ASSIGN : n459 10 # ASSIGN : n460 2 # ASSIGN : n461 8 # ASSIGN : n462 10 # ASSIGN : n463 5 # ASSIGN : n464 9 # ASSIGN : n465 4 # ASSIGN : n466 3 # ASSIGN : n467 7 # ASSIGN : n468 6 # ASSIGN : n469 9 # ASSIGN : n470 4 # ASSIGN : n471 8 # ASSIGN : n472 1 # ASSIGN : n473 7 # ASSIGN : n474 2 # ASSIGN : n475 11 # ASSIGN : n476 8 # ASSIGN : n477 2 # ASSIGN : n478 4 # ASSIGN : n479 6 # ASSIGN : n480 1 # ASSIGN : n481 8 # ASSIGN : n482 9 # ASSIGN : n483 11 # ASSIGN : n484 10 # ASSIGN : n485 6 # ASSIGN : n486 8 # ASSIGN : n487 4 # ASSIGN : n488 5 # ASSIGN : n489 6 # ASSIGN : n490 11 # ASSIGN : n491 8 # ASSIGN : n492 2 # ASSIGN : n493 4 # ASSIGN : n494 6 # ASSIGN : n495 1 # ASSIGN : n496 8 # ASSIGN : n497 3 # ASSIGN : n498 1 # ASSIGN : n499 10 # ASSIGN : n500 2 # ASSIGN : n501 8 # ASSIGN : n502 6 # ASSIGN : n503 9 # ASSIGN : n504 10 # ASSIGN : n505 4 # ASSIGN : n506 7 # ASSIGN : n507 8 # ASSIGN : n508 6 # ASSIGN : n509 9 # ASSIGN : n510 4 # ASSIGN : n511 7 # ASSIGN : n512 8 # ASSIGN : n513 9 # ASSIGN : n514 7 # ASSIGN : n515 10 # ASSIGN : n516 6 # ASSIGN : n517 8 # ASSIGN : n518 9 # ASSIGN : n519 11 # ASSIGN : n520 10 # ASSIGN : n521 6 # ASSIGN : n522 8 # ASSIGN : n523 3 # ASSIGN : n524 11 # ASSIGN : n525 10 # ASSIGN : n526 2 # ASSIGN : n527 8 # ASSIGN : n528 5 # ASSIGN : n529 6 # ASSIGN : n530 3 # ASSIGN : n531 4 # ASSIGN : n532 11 # ASSIGN : n533 8 # ASSIGN : n534 10 # ASSIGN : n535 6 # ASSIGN : n536 4 # ASSIGN : n537 11 # ASSIGN : n538 8 # ASSIGN : n539 6 # ASSIGN : n540 9 # ASSIGN : n541 10 # ASSIGN : n542 4 # ASSIGN : n543 7 # ASSIGN : n544 8 # ASSIGN : n545 5 # ASSIGN : n546 6 # ASSIGN : n547 3 # ASSIGN : n548 4 # ASSIGN : n549 11 # ASSIGN : n550 8 # ASSIGN : n551 3 # ASSIGN : n552 11 # ASSIGN : n553 8 # ASSIGN : n554 3 # ASSIGN : n555 4 # ASSIGN : n556 7 # ASSIGN : n557 1 # ASSIGN : n558 6 # ASSIGN : n559 2 # ASSIGN : n560 10 # ASSIGN : n561 4 # ASSIGN : n562 11 # ASSIGN : n563 5 # ASSIGN : n564 6 # ASSIGN : n565 2 # ASSIGN : n566 6 # ASSIGN : n567 9 # ASSIGN : n568 4 # ASSIGN : n569 7 # ASSIGN : n570 10 # ASSIGN : n571 5 # ASSIGN : n572 6 # ASSIGN : n573 4 # ASSIGN : n574 11 # ASSIGN : n575 3 # ASSIGN : n576 7 # ASSIGN : n577 10 # ASSIGN : n578 4 # ASSIGN : n579 7 # ASSIGN : n580 8 # ASSIGN : n581 6 # ASSIGN : n582 10 # ASSIGN : n583 4 # ASSIGN : n584 11 # ASSIGN : n585 8 # ASSIGN : n586 9 # ASSIGN : n587 10 # ASSIGN : n588 3 # ASSIGN : n589 4 # ASSIGN : n590 7 # ASSIGN : n591 8 # ASSIGN : n592 6 # ASSIGN : n593 5 # ASSIGN : n594 4 # ASSIGN : n595 7 # ASSIGN : n596 1 # ASSIGN : n597 6 # ASSIGN : n598 5 # ASSIGN : n599 1 # ASSIGN : n600 11 # ASSIGN : n601 3 # ASSIGN : n602 9 # ASSIGN : n603 10 # ASSIGN : n604 8 # ASSIGN : n605 11 # ASSIGN : n606 9 # ASSIGN : n607 3 # ASSIGN : n608 5 # ASSIGN : n609 8 # ASSIGN : n610 6 # ASSIGN : n611 3 # ASSIGN : n612 7 # ASSIGN : n613 10 # ASSIGN : n614 10 # ASSIGN : n615 4 # ASSIGN : n616 11 # ASSIGN : n617 5 # ASSIGN : n618 6 # ASSIGN : n619 2 # ASSIGN : n620 4 # ASSIGN : n621 7 # ASSIGN : n622 3 # ASSIGN : n623 9 # ASSIGN : n624 2 # ASSIGN : n625 1 # ASSIGN : n626 11 # ASSIGN : n627 3 # ASSIGN : n628 9 # ASSIGN : n629 2 # ASSIGN : n630 5 # ASSIGN : n631 6 # ASSIGN : n632 4 # ASSIGN : n633 10 # ASSIGN : n634 2 # ASSIGN : n635 8 # ASSIGN : n636 9 # ASSIGN : n637 11 # ASSIGN : n638 7 # ASSIGN : n639 2 # ASSIGN : n640 5 # ASSIGN : n641 9 # ASSIGN : n642 10 # ASSIGN : n643 1 # ASSIGN : n644 2 # ASSIGN : n645 8 # ASSIGN : n646 6 # ASSIGN : n647 10 # ASSIGN : n648 11 # ASSIGN : n649 2 # ASSIGN : n650 8 # ASSIGN : n651 6 # ASSIGN : n652 10 # ASSIGN : n653 4 # ASSIGN : n654 7 # ASSIGN : n655 2 # ASSIGN : n656 8 # ASSIGN : n657 6 # ASSIGN : n658 4 # ASSIGN : n659 3 # ASSIGN : n660 5 # ASSIGN : n661 8 # ASSIGN : n662 6 # ASSIGN : n663 4 # ASSIGN : n664 1 # ASSIGN : n665 2 # ASSIGN : n666 9 # ASSIGN : n667 10 # ASSIGN : n668 11 # ASSIGN : n669 7 # ASSIGN : n670 2 # ASSIGN : n671 8 # ASSIGN : n672 6 # ASSIGN : n673 5 # ASSIGN : n674 4 # ASSIGN : n675 2 # ASSIGN : n676 8 # ASSIGN : n677 6 # ASSIGN : n678 11 # ASSIGN : n679 7 # ASSIGN : n680 2 # ASSIGN : n681 9 # ASSIGN : n682 10 # ASSIGN : n683 5 # ASSIGN : n684 7 # ASSIGN : n685 2 # ASSIGN : n686 11 # ASSIGN : n687 4 # ASSIGN : n688 6 # ASSIGN : n689 8 # ASSIGN : n690 2 # ASSIGN : n691 3 # ASSIGN : n692 4 # ASSIGN : n693 10 # ASSIGN : n694 9 # ASSIGN : n695 2 # ASSIGN : n696 5 # ASSIGN : n697 9 # ASSIGN : n698 10 # ASSIGN : n699 1 # ASSIGN : n700 2 # ASSIGN : n701 11 # ASSIGN : n702 4 # ASSIGN : n703 10 # ASSIGN : n704 1 # ASSIGN : n705 2 # ASSIGN : n706 6 # ASSIGN : n707 1 # ASSIGN : n708 5 # ASSIGN : n709 9 # ASSIGN : n710 2 # ASSIGN : n711 6 # ASSIGN : n712 8 # ASSIGN : n713 3 # ASSIGN : n714 4 # ASSIGN : n715 7 # ASSIGN : n716 2 # ASSIGN : n717 3 # ASSIGN : n718 6 # ASSIGN : n719 10 # ASSIGN : n720 11 # ASSIGN : n721 2 # ASSIGN : n722 3 # ASSIGN : n723 4 # ASSIGN : n724 10 # ASSIGN : n725 9 # ASSIGN : n726 8 # ASSIGN : n727 6 # ASSIGN : n728 1 # ASSIGN : n729 5 # ASSIGN : n730 9 # ASSIGN : n731 2 # ASSIGN : n732 5 # ASSIGN : n733 11 # ASSIGN : n734 3 # ASSIGN : n735 4 # ASSIGN : n736 7 # ASSIGN : n737 8 # ASSIGN : n738 10 # ASSIGN : n739 11 # ASSIGN : n740 4 # ASSIGN : n741 7 # ASSIGN : n742 8 # ASSIGN : n743 5 # ASSIGN : n744 9 # ASSIGN : n745 4 # ASSIGN : n746 7 # ASSIGN : n747 2 # ASSIGN : n748 8 # ASSIGN : n749 6 # ASSIGN : n750 10 # ASSIGN : n751 4 # ASSIGN : n752 7 # ASSIGN : n753 2 # ASSIGN : n754 6 # ASSIGN : n755 8 # ASSIGN : n756 3 # ASSIGN : n757 4 # ASSIGN : n758 9 # ASSIGN : n759 2 # ASSIGN : n760 5 # ASSIGN : n761 11 # ASSIGN : n762 3 # ASSIGN : n763 4 # ASSIGN : n764 7 # ASSIGN : n765 2 # ASSIGN : n766 10 # ASSIGN : n767 4 # ASSIGN : n768 9 # ASSIGN : n769 2 # ASSIGN : n770 3 # ASSIGN : n771 1 # ASSIGN : n772 9 # ASSIGN : n773 6 # ASSIGN : n774 11 # ASSIGN : n775 2 # ASSIGN : n776 10 # ASSIGN : n777 11 # ASSIGN : n778 4 # ASSIGN : n779 7 # ASSIGN : n780 8 # ASSIGN : n781 10 # ASSIGN : n782 4 # ASSIGN : n783 9 # ASSIGN : n784 8 # ASSIGN : n785 1 # ASSIGN : n786 9 # ASSIGN : n787 6 # ASSIGN : n788 11 # ASSIGN : n789 5 # ASSIGN : n790 4 # ASSIGN : n791 9 # ASSIGN : n792 11 # ASSIGN : n793 10 # ASSIGN : n794 8 # ASSIGN : n795 4 # ASSIGN : n796 9 # ASSIGN : n797 3 # ASSIGN : n798 8 # ASSIGN : n799 5 # ASSIGN : n800 9 # ASSIGN : n801 4 # ASSIGN : n802 8 # ASSIGN : n803 2 # ASSIGN : n804 3 # ASSIGN : n805 1 # ASSIGN : n806 9 # ASSIGN : n807 6 # ASSIGN : n808 11 # ASSIGN : n809 2 # ASSIGN : n810 1 # ASSIGN : n811 9 # ASSIGN : n812 6 # ASSIGN : n813 11 # ASSIGN : n814 2 # ASSIGN : n815 4 # ASSIGN : n816 8 # ASSIGN : n817 5 # ASSIGN : n818 1 # ASSIGN : n819 2 # ASSIGN : n820 1 # ASSIGN : n821 9 # ASSIGN : n822 10 # ASSIGN : n823 11 # ASSIGN : n824 3 # ASSIGN : n825 2 # ASSIGN : n826 4 # ASSIGN : n827 9 # ASSIGN : n828 5 # ASSIGN : n829 10 # ASSIGN : n830 2 # ASSIGN : n831 6 # ASSIGN : n832 8 # ASSIGN : n833 5 # ASSIGN : n834 1 # ASSIGN : n835 2 # ASSIGN : n836 4 # ASSIGN : n837 9 # ASSIGN : n838 11 # ASSIGN : n839 10 # ASSIGN : n840 3 # ASSIGN : n841 2 # ASSIGN : n842 11 # ASSIGN : n843 10 # ASSIGN : n844 6 # ASSIGN : n845 9 # ASSIGN : n846 7 # ASSIGN : n847 11 # ASSIGN : n848 1 # ASSIGN : n849 8 # ASSIGN : n850 4 # ASSIGN : n851 2 # ASSIGN : n852 5 # ASSIGN : n853 10 # ASSIGN : n854 3 # ASSIGN : n855 9 # ASSIGN : n856 7 # ASSIGN : n857 4 # ASSIGN : n858 9 # ASSIGN : n859 3 # ASSIGN : n860 5 # ASSIGN : n861 1 # ASSIGN : n862 9 # ASSIGN : n863 10 # ASSIGN : n864 11 # ASSIGN : n865 3 # ASSIGN : n866 2 # ASSIGN : n867 4 # ASSIGN : n868 9 # ASSIGN : n869 11 # ASSIGN : n870 10 # ASSIGN : n871 3 # ASSIGN : n872 2 # ASSIGN : n873 4 # ASSIGN : n874 7 # ASSIGN : n875 3 # ASSIGN : n876 6 # ASSIGN : n877 8 # ASSIGN : n878 5 # ASSIGN : n879 1 # ASSIGN : n880 9 # ASSIGN : n881 3 # ASSIGN : n882 8 # ASSIGN : n883 10 # ASSIGN : n884 2 # ASSIGN : n885 5 # ASSIGN : n886 10 # ASSIGN : n887 6 # ASSIGN : n888 9 # ASSIGN : n889 4 # ASSIGN : n890 1 # ASSIGN : n891 7 # ASSIGN : n892 3 # ASSIGN : n893 2 # ASSIGN : n894 8 # ASSIGN : n895 11 # ASSIGN : n896 6 # ASSIGN : n897 9 # ASSIGN : n898 7 # ASSIGN : n899 10 # ASSIGN : n900 11 # ASSIGN : n901 2 # ASSIGN : n902 8 # ASSIGN : n903 3 # ASSIGN : n904 1 # ASSIGN : n905 11 # ASSIGN : n906 6 # ASSIGN : n907 9 # ASSIGN : n908 7 # ASSIGN : n909 1 # ASSIGN : n910 11 # ASSIGN : n911 2 # ASSIGN : n912 9 # ASSIGN : n913 5 # ASSIGN : n914 10 # ASSIGN : n915 4 # ASSIGN : n916 5 # ASSIGN : n917 1 # ASSIGN : n918 8 # ASSIGN : n919 4 # ASSIGN : n920 2 # ASSIGN : n921 1 # ASSIGN : n922 9 # ASSIGN : n923 3 # ASSIGN : n924 8 # ASSIGN : n925 10 # ASSIGN : n926 11 # ASSIGN : n927 6 # ASSIGN : n928 9 # ASSIGN : n929 7 # ASSIGN : n930 10 # ASSIGN : n931 11 # ASSIGN : n932 8 # ASSIGN : n933 10 # ASSIGN : n934 3 # ASSIGN : n935 6 # ASSIGN : n936 11 # ASSIGN : n937 5 # ASSIGN : n938 10 # ASSIGN : n939 3 # ASSIGN : n940 9 # ASSIGN : n941 7 # ASSIGN : n942 2 # ASSIGN : n943 8 # ASSIGN : n944 3 # ASSIGN : n945 1 # ASSIGN : n946 11 # ASSIGN : n947 8 # ASSIGN : n948 10 # ASSIGN : n949 3 # ASSIGN : n950 9 # ASSIGN : n951 11 # ASSIGN : n952 3 # ASSIGN : n953 9 # ASSIGN : n954 4 # ASSIGN : n955 8 # ASSIGN : n956 11 # ASSIGN : n957 3 # ASSIGN : n958 9 # ASSIGN : n959 5 # ASSIGN : n960 10 # ASSIGN : n961 7 # ASSIGN : n962 3 # ASSIGN : n963 9 # ASSIGN : n964 10 # ASSIGN : n965 4 # ASSIGN : n966 7 # ASSIGN : n967 3 # ASSIGN : n968 6 # ASSIGN : n969 4 # ASSIGN : n970 5 # ASSIGN : n971 11 # ASSIGN : n972 2 # ASSIGN : n973 9 # ASSIGN : n974 7 # ASSIGN : n975 1 # ASSIGN : n976 11 # ASSIGN : n977 3 # ASSIGN : n978 9 # ASSIGN : n979 4 # ASSIGN : n980 8 # ASSIGN : n981 11 # ASSIGN : n982 7 # ASSIGN : n983 8 # ASSIGN : n984 5 # ASSIGN : n985 10 # ASSIGN : n986 6 # ASSIGN : n987 2 # ASSIGN : n988 9 # ASSIGN : n989 11 # ASSIGN : n990 10 # ASSIGN : n991 7 # ASSIGN : n992 3 # ASSIGN : n993 9 # ASSIGN : n994 11 # ASSIGN : n995 10 # ASSIGN : n996 7 # ASSIGN : n997 4 # ASSIGN : n998 8 # ASSIGN : n999 11 # ASSIGN : n1000 10 # ASSIGN : n1001 6 # ASSIGN : n1002 5 # ASSIGN : n1003 1 # ASSIGN : n1004 8 # ASSIGN : n1005 4 # ASSIGN : n1006 7 # ASSIGN : n1007 11 # ASSIGN : n1008 10 # ASSIGN : n1009 2 # ASSIGN : n1010 9 # ASSIGN : n1011 7 # ASSIGN : n1012 3 # ASSIGN : n1013 6 # ASSIGN : n1014 8 # ASSIGN : n1015 11 # ASSIGN : n1016 7 # ASSIGN : n1017 5 # ASSIGN : n1018 1 # ASSIGN : n1019 8 # ASSIGN : n1020 4 # ASSIGN : n1021 9 # ASSIGN : n1022 10 # ASSIGN : n1023 11 # ASSIGN : n1024 2 # ASSIGN : n1025 5 # ASSIGN : n1026 7 # ASSIGN : n1027 8 # ASSIGN : n1028 4 # ASSIGN : n1029 1 # ASSIGN : n1030 5 # ASSIGN : n1031 9 # ASSIGN : n1032 10 # ASSIGN : n1033 11 # ASSIGN : n1034 1 # ASSIGN : n1035 6 # ASSIGN : n1036 7 # ASSIGN : n1037 3 # ASSIGN : n1038 6 # ASSIGN : n1039 2 # ASSIGN : n1040 5 # ASSIGN : n1041 10 # ASSIGN : n1042 11 # ASSIGN : n1043 1 # ASSIGN : n1044 2 # ASSIGN : n1045 9 # ASSIGN : n1046 7 # ASSIGN : n1047 8 # ASSIGN : n1048 11 # ASSIGN : n1049 2 # ASSIGN : n1050 5 # ASSIGN : n1051 7 # ASSIGN : n1052 4 # ASSIGN : n1053 9 # ASSIGN : n1054 1 # ASSIGN : n1055 11 # ASSIGN : n1056 10 # ASSIGN : n1057 2 # ASSIGN : n1058 5 # ASSIGN : n1059 1 # ASSIGN : n1060 6 # ASSIGN : n1061 10 # ASSIGN : n1062 8 # ASSIGN : n1063 4 # ASSIGN : n1064 7 # ASSIGN : n1065 5 # ASSIGN : n1066 6 # ASSIGN : n1067 4 # ASSIGN : n1068 9 # ASSIGN : n1069 7 # ASSIGN : n1070 11 # ASSIGN : n1071 6 # ASSIGN : n1072 7 # ASSIGN : n1073 5 # ASSIGN : n1074 8 # ASSIGN : n1075 9 # ASSIGN : n1076 2 # ASSIGN : n1077 7 # ASSIGN : n1078 11 # ASSIGN : n1079 4 # ASSIGN : n1080 10 # ASSIGN : n1081 6 # ASSIGN : n1082 7 # ASSIGN : n1083 11 # ASSIGN : n1084 9 # ASSIGN : n1085 3 # ASSIGN : n1086 6 # ASSIGN : n1087 10 # ASSIGN : n1088 4 # ASSIGN : n1089 1 # ASSIGN : n1090 6 # ASSIGN : n1091 2 # ASSIGN : n1092 4 # ASSIGN : n1093 5 # ASSIGN : n1094 8 # ASSIGN : n1095 6 # ASSIGN : n1096 11 # ASSIGN : n1097 7 # ASSIGN : n1098 5 # ASSIGN : n1099 3 # ASSIGN : n1100 6 # ASSIGN : n1101 2 # ASSIGN : n1102 3 # ASSIGN : n1103 6 # ASSIGN : n1104 4 # ASSIGN : n1105 10 # ASSIGN : n1106 11 # ASSIGN : n1107 1 # ASSIGN : n1108 6 # ASSIGN : n1109 10 # ASSIGN : n1110 7 # ASSIGN : n1111 11 # ASSIGN : n1112 7 # ASSIGN : n1113 11 # ASSIGN : n1114 4 # ASSIGN : n1115 10 # ASSIGN : n1116 8 # ASSIGN : n1117 3 # ASSIGN : n1118 6 # ASSIGN : n1119 2 # ASSIGN : n1120 10 # ASSIGN : n1121 5 # ASSIGN : n1122 4 # ASSIGN : n1123 1 # ASSIGN : n1124 3 # ASSIGN : n1125 7 # ASSIGN : n1126 5 # ASSIGN : n1127 2 # ASSIGN : n1128 10 # ASSIGN : n1129 6 # ASSIGN : n1130 7 # ASSIGN : n1131 5 # ASSIGN : n1132 2 # ASSIGN : n1133 10 # ASSIGN : n1134 6 # ASSIGN : n1135 7 # ASSIGN : n1136 11 # ASSIGN : n1137 5 # ASSIGN : n1138 1 # ASSIGN : n1139 5 # ASSIGN : n1140 3 # ASSIGN : n1141 8 # ASSIGN : n1142 9 # ASSIGN : n1143 1 # ASSIGN : n1144 6 # ASSIGN : n1145 10 # ASSIGN : n1146 7 # ASSIGN : n1147 11 # ASSIGN : n1148 4 # ASSIGN : n1149 1 # ASSIGN : n1150 3 # ASSIGN : n1151 8 # ASSIGN : n1152 11 # ASSIGN : n1153 3 # ASSIGN : n1154 8 # ASSIGN : n1155 6 # ASSIGN : n1156 4 # ASSIGN : n1157 11 # ASSIGN : n1158 10 # ASSIGN : n1159 8 # ASSIGN : n1160 6 # ASSIGN : n1161 4 # ASSIGN : n1162 1 # ASSIGN : n1163 9 # ASSIGN : n1164 3 # ASSIGN : n1165 7 # ASSIGN : n1166 4 # ASSIGN : n1167 2 # ASSIGN : n1168 11 # ASSIGN : n1169 2 # ASSIGN : n1170 1 # ASSIGN : n1171 6 # ASSIGN : n1172 7 # ASSIGN : n1173 11 # ASSIGN : n1174 3 # ASSIGN : n1175 8 # ASSIGN : n1176 6 # ASSIGN : n1177 4 # ASSIGN : n1178 5 # ASSIGN : n1179 1 # ASSIGN : n1180 5 # ASSIGN : n1181 6 # ASSIGN : n1182 7 # ASSIGN : n1183 10 # ASSIGN : n1184 8 # ASSIGN : n1185 5 # ASSIGN : n1186 2 # ASSIGN : n1187 9 # ASSIGN : n1188 6 # ASSIGN : n1189 7 # ASSIGN : n1190 11 # ASSIGN : n1191 5 # ASSIGN : n1192 3 # ASSIGN : n1193 8 # ASSIGN : n1194 6 # ASSIGN : n1195 4 # ASSIGN : n1196 1 # ASSIGN : n1197 5 # ASSIGN : n1198 1 # ASSIGN : n1199 5 # ASSIGN : n1200 6 # ASSIGN : n1201 7 # ASSIGN : n1202 11 # ASSIGN : n1203 9 # ASSIGN : n1204 8 # ASSIGN : n1205 5 # ASSIGN : n1206 6 # ASSIGN : n1207 7 # ASSIGN : n1208 11 # ASSIGN : n1209 8 # ASSIGN : n1210 9 # ASSIGN : n1211 10 # ASSIGN : n1212 6 # ASSIGN : n1213 7 # ASSIGN : n1214 1 # ASSIGN : n1215 3 # ASSIGN : n1216 2 # ASSIGN : n1217 5 # ASSIGN : n1218 3 # ASSIGN : n1219 7 # ASSIGN : n1220 9 # ASSIGN : n1221 2 # ASSIGN : n1222 5 # ASSIGN : n1223 6 # ASSIGN : n1224 7 # ASSIGN : n1225 10 # ASSIGN : n1226 2 # ASSIGN : n1227 5 # ASSIGN : n1228 6 # ASSIGN : n1229 7 # ASSIGN : n1230 11 # ASSIGN : n1231 10 # ASSIGN : n1232 2 # ASSIGN : n1233 5 # ASSIGN : n1234 10 # ASSIGN : n1235 2 # ASSIGN : n1236 3 # ASSIGN : n1237 1 # ASSIGN : n1238 5 # ASSIGN : n1239 4 # ASSIGN : n1240 8 # ASSIGN : n1241 3 # ASSIGN : n1242 11 # ASSIGN : n1243 5 # ASSIGN : n1244 6 # ASSIGN : n1245 7 # ASSIGN : n1246 11 # ASSIGN : n1247 8 # ASSIGN : n1248 9 # ASSIGN : n1249 5 # ASSIGN : n1250 10 # ASSIGN : n1251 2 # ASSIGN : n1252 3 # ASSIGN : n1253 1 # ASSIGN : n1254 5 # ASSIGN : n1255 8 # ASSIGN : n1256 9 # ASSIGN : n1257 10 # ASSIGN : n1258 11 # ASSIGN : n1259 5 # ASSIGN : n1260 3 # ASSIGN : n1261 9 # ASSIGN : n1262 7 # ASSIGN : n1263 2 # ASSIGN : n1264 5 # ASSIGN : n1265 3 # ASSIGN : n1266 9 # ASSIGN : n1267 4 # ASSIGN : n1268 11 # ASSIGN : n1269 5 # ASSIGN : n1270 6 # ASSIGN : n1271 4 # ASSIGN : n1272 1 # ASSIGN : n1273 3 # ASSIGN : n1274 2 # ASSIGN : n1275 5 # ASSIGN : n1276 4 # ASSIGN : n1277 8 # ASSIGN : n1278 3 # ASSIGN : n1279 11 # ASSIGN : n1280 7 # ASSIGN : n1281 8 # ASSIGN : n1282 9 # ASSIGN : n1283 10 # ASSIGN : n1284 11 # ASSIGN : n1285 7 # ASSIGN : n1286 10 # ASSIGN : n1287 11 # ASSIGN : n1288 6 # ASSIGN : n1289 8 # ASSIGN : n1290 5 # ASSIGN : n1291 3 # ASSIGN : n1292 2 # ASSIGN : n1293 1 # ASSIGN : n1294 6 # ASSIGN : n1295 7 # ASSIGN : n1296 10 # ASSIGN : n1297 2 # ASSIGN : n1298 4 # ASSIGN : n1299 8 # ASSIGN : n1300 5 # ASSIGN : n1301 3 # ASSIGN : n1302 1 # ASSIGN : n1303 7 # ASSIGN : n1304 2 # ASSIGN : n1305 5 # ASSIGN : n1306 10 # ASSIGN : n1307 11 # ASSIGN : n1308 7 # ASSIGN : n1309 8 # ASSIGN : n1310 9 # ASSIGN : n1311 7 # ASSIGN : n1312 8 # ASSIGN : n1313 11 # ASSIGN : n1314 10 # ASSIGN : n1315 9 # ASSIGN : n1316 6 # ASSIGN : n1317 2 # ASSIGN : n1318 4 # ASSIGN : n1319 11 # ASSIGN : n1320 9 # ASSIGN : n1321 3 # ASSIGN : n1322 2 # ASSIGN : n1323 1 # ASSIGN : n1324 6 # ASSIGN : n1325 5 # ASSIGN : n1326 7 # ASSIGN : n1327 2 # ASSIGN : n1328 1 # ASSIGN : n1329 10 # ASSIGN : n1330 5 # ASSIGN : n1331 1 # ASSIGN : n1332 10 # ASSIGN : n1333 4 # ASSIGN : n1334 7 # ASSIGN : n1335 5 # ASSIGN : n1336 1 # ASSIGN : n1337 10 # ASSIGN : n1338 7 # ASSIGN : n1339 9 # ASSIGN : n1340 8 # ASSIGN : n1341 11 # ASSIGN : n1342 10 # ASSIGN : n1343 3 # ASSIGN : n1344 7 # ASSIGN : n1345 8 # ASSIGN : n1346 3 # ASSIGN : n1347 9 # ASSIGN : n1348 4 # ASSIGN : n1349 7 # ASSIGN : n1350 10 # ASSIGN : n1351 3 # ASSIGN : n1352 2 # ASSIGN : n1353 4 # ASSIGN : n1354 8 # ASSIGN : n1355 5 # ASSIGN : n1356 6 # ASSIGN : n1357 2 # ASSIGN : n1358 4 # ASSIGN : n1359 11 # ASSIGN : n1360 10 # ASSIGN : n1361 1 # ASSIGN : n1362 6 # ASSIGN : n1363 4 # ASSIGN : n1364 8 # ASSIGN : n1365 5 # ASSIGN : n1366 4 # ASSIGN : n1367 8 # ASSIGN : n1368 3 # ASSIGN : n1369 9 # ASSIGN : n1370 10 # ASSIGN : n1371 4 # ASSIGN : n1372 8 # ASSIGN : n1373 3 # ASSIGN : n1374 6 # ASSIGN : n1375 5 # ASSIGN : n1376 1 # ASSIGN : n1377 10 # ASSIGN : n1378 5 # ASSIGN : n1379 9 # ASSIGN : n1380 2 # ASSIGN : n1381 4 # ASSIGN : n1382 8 # ASSIGN : n1383 3 # ASSIGN : n1384 9 # ASSIGN : n1385 2 # ASSIGN : n1386 5 # ASSIGN : n1387 11 # ASSIGN : n1388 1 # ASSIGN : n1389 6 # ASSIGN : n1390 2 # ASSIGN : n1391 3 # ASSIGN : n1392 9 # ASSIGN : n1393 4 # ASSIGN : n1394 10 # ASSIGN : n1395 2 # ASSIGN : n1396 3 # ASSIGN : n1397 11 # ASSIGN : n1398 8 # ASSIGN : n1399 6 # ASSIGN : n1400 2 # ASSIGN : n1401 11 # ASSIGN : n1402 10 # ASSIGN : n1403 3 # ASSIGN : n1404 7 # ASSIGN : n1405 8 # ASSIGN : n1406 4 # ASSIGN : n1407 11 # ASSIGN : n1408 1 # ASSIGN : n1409 6 # ASSIGN : n1410 2 # ASSIGN : n1411 5 # ASSIGN : n1412 9 # ASSIGN : n1413 1 # ASSIGN : n1414 6 # ASSIGN : n1415 2 # ASSIGN : n1416 3 # ASSIGN : n1417 6 # ASSIGN : n1418 4 # ASSIGN : n1419 10 # ASSIGN : n1420 8 # ASSIGN : n1421 3 # ASSIGN : n1422 7 # ASSIGN : n1423 9 # ASSIGN : n1424 4 # ASSIGN : n1425 2 # ASSIGN : n1426 3 # ASSIGN : n1427 9 # ASSIGN : n1428 1 # ASSIGN : n1429 10 # ASSIGN : n1430 8 # ASSIGN : n1431 3 # ASSIGN : n1432 6 # ASSIGN : n1433 4 # ASSIGN : n1434 10 # ASSIGN : n1435 8 # ASSIGN : n1436 11 # ASSIGN : n1437 10 # ASSIGN : n1438 5 # ASSIGN : n1439 6 # ASSIGN : n1440 2 # ASSIGN : n1441 11 # ASSIGN : n1442 10 # ASSIGN : n1443 9 # ASSIGN : n1444 3 # ASSIGN : n1445 8 # ASSIGN : n1446 4 # ASSIGN : n1447 10 # ASSIGN : n1448 3 # ASSIGN : n1449 5 # ASSIGN : n1450 2 # ASSIGN : n1451 7 # ASSIGN : n1452 11 # ASSIGN : n1453 8 # ASSIGN : n1454 4 # ASSIGN : n1455 2 # ASSIGN : n1456 3 # ASSIGN : n1457 7 # ASSIGN : n1458 9 # ASSIGN : n1459 4 # ASSIGN : n1460 2 # ASSIGN : n1461 1 # ASSIGN : n1462 7 # ASSIGN : n1463 9 # ASSIGN : n1464 6 # ASSIGN : n1465 2 # ASSIGN : n1466 8 # ASSIGN : n1467 6 # ASSIGN : n1468 7 # ASSIGN : n1469 3 # ASSIGN : n1470 10 # ASSIGN : n1471 9 # ASSIGN : n1472 6 # ASSIGN : n1473 11 # ASSIGN : n1474 1 # ASSIGN : n1475 10 # ASSIGN : n1476 1 # ASSIGN : n1477 10 # ASSIGN : n1478 9 # ASSIGN : n1479 3 # ASSIGN : n1480 2 # ASSIGN : n1481 5 # ASSIGN : n1482 6 # ASSIGN : n1483 7 # ASSIGN : n1484 3 # ASSIGN : n1485 2 # ASSIGN : n1486 9 # ASSIGN : n1487 4 # ASSIGN : n1488 11 # ASSIGN : n1489 5 # ASSIGN : n1490 2 # ASSIGN : n1491 9 # ASSIGN : n1492 4 # ASSIGN : n1493 11 # ASSIGN : n1494 1 # ASSIGN : n1495 10 # ASSIGN : n1496 2 # ASSIGN : n1497 7 # ASSIGN : n1498 4 # ASSIGN : n1499 8 # ASSIGN : n1500 6 # ASSIGN : n1501 2 # ASSIGN : n1502 4 # ASSIGN : n1503 10 # ASSIGN : n1504 3 # ASSIGN : n1505 5 # ASSIGN : n1506 2 # ASSIGN : n1507 9 # ASSIGN : n1508 6 # ASSIGN : n1509 11 # ASSIGN : n1510 1 # ASSIGN : n1511 2 # ASSIGN : n1512 9 # ASSIGN : n1513 4 # ASSIGN : n1514 11 # ASSIGN : n1515 1 # ASSIGN : n1516 2 # ASSIGN : n1517 3 # ASSIGN : n1518 1 # ASSIGN : n1519 10 # ASSIGN : n1520 2 # ASSIGN : n1521 11 # ASSIGN : n1522 7 # ASSIGN : n1523 8 # ASSIGN : n1524 6 # ASSIGN : n1525 2 # ASSIGN : n1526 9 # ASSIGN : n1527 4 # ASSIGN : n1528 11 # ASSIGN : n1529 1 # ASSIGN : n1530 10 # ASSIGN : n1531 2 # ASSIGN : n1532 11 # ASSIGN : n1533 1 # ASSIGN : n1534 10 # ASSIGN : n1535 2 # ASSIGN : n1536 11 # ASSIGN : n1537 1 # ASSIGN : n1538 10 # ASSIGN : n1539 8 # ASSIGN : n1540 6 # ASSIGN : n1541 2 # ASSIGN : n1542 7 # ASSIGN : n1543 4 # ASSIGN : n1544 8 # ASSIGN : n1545 6 # ASSIGN : n1546 5 # ASSIGN : n1547 11 # ASSIGN : n1548 1 # ASSIGN : n1549 8 # ASSIGN : n1550 6 # ASSIGN : n1551 2 # ASSIGN : n1552 11 # ASSIGN : n1553 7 # ASSIGN : n1554 10 # ASSIGN : n1555 8 # ASSIGN : n1556 6 # ASSIGN : n1557 9 SHOW_RESULT 11 END : 11 (0 seconds) [Thu Jul 6 14:28:04 2006] SHOW_RESULT 11 CPU : 0.159999999999997 = 0.159999999999997 + 0 + 0 + 0 # BOUND : color 9 11 MODIFY_CNF 10 BEGIN : [Thu Jul 6 14:28:04 2006] MODIFY_CNF 10 END : 33420970 bytes (0 seconds) [Thu Jul 6 14:28:04 2006] MODIFY_CNF 10 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 10 BEGIN : [Thu Jul 6 14:28:04 2006] CMD : minisat /tmp/csp2sat18711.cnf /tmp/csp2sat18711.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1156251 3511218 | 385417 0 0 nan | 0.000 % | | 101 | 1156251 3511218 | 423958 101 1880 18.6 | 8.275 % | | 251 | 1156251 3511218 | 466354 251 5742 22.9 | 8.275 % | | 477 | 1156251 3511218 | 512990 477 9769 20.5 | 8.275 % | | 814 | 1156251 3511218 | 564289 814 19562 24.0 | 8.275 % | | 1322 | 1156251 3511218 | 620717 1322 32878 24.9 | 8.275 % | | 2082 | 1156251 3511218 | 682789 2082 50587 24.3 | 8.275 % | | 3223 | 1156251 3511218 | 751068 3223 78023 24.2 | 8.275 % | ============================================================================== restarts : 8 conflicts : 4641 (462 /sec) decisions : 14324 (1425 /sec) propagations : 7118022 (708261 /sec) conflict literals : 132116 (1.72 % deleted) Memory used : 60.80 MB CPU time : 10.05 s SATISFIABLE VERIFY_CNF 10 END : (11 seconds) [Thu Jul 6 14:28:15 2006] VERIFY_CNF 10 CPU : 10.36 = 0 + 0.02 + 10.11 + 0.23 # RESULT : color 10 SATISFIABLE SHOW_RESULT 10 BEGIN : [Thu Jul 6 14:28:15 2006] # ASSIGN : color 10 # ASSIGN : n3 10 # ASSIGN : n4 1 # ASSIGN : n5 9 # ASSIGN : n6 6 # ASSIGN : n7 7 # ASSIGN : n8 3 # ASSIGN : n9 10 # ASSIGN : n10 10 # ASSIGN : n11 10 # ASSIGN : n12 1 # ASSIGN : n13 2 # ASSIGN : n14 10 # ASSIGN : n15 7 # ASSIGN : n16 3 # ASSIGN : n17 6 # ASSIGN : n18 8 # ASSIGN : n19 9 # ASSIGN : n20 4 # ASSIGN : n21 8 # ASSIGN : n22 9 # ASSIGN : n23 4 # ASSIGN : n24 1 # ASSIGN : n25 9 # ASSIGN : n26 7 # ASSIGN : n27 3 # ASSIGN : n28 4 # ASSIGN : n29 1 # ASSIGN : n30 5 # ASSIGN : n31 6 # ASSIGN : n32 10 # ASSIGN : n33 4 # ASSIGN : n34 1 # ASSIGN : n35 2 # ASSIGN : n36 3 # ASSIGN : n37 6 # ASSIGN : n38 4 # ASSIGN : n39 7 # ASSIGN : n40 8 # ASSIGN : n41 10 # ASSIGN : n42 7 # ASSIGN : n43 5 # ASSIGN : n44 4 # ASSIGN : n45 1 # ASSIGN : n46 9 # ASSIGN : n47 7 # ASSIGN : n48 3 # ASSIGN : n49 10 # ASSIGN : n50 7 # ASSIGN : n51 3 # ASSIGN : n52 6 # ASSIGN : n53 9 # ASSIGN : n54 4 # ASSIGN : n55 2 # ASSIGN : n56 8 # ASSIGN : n57 9 # ASSIGN : n58 6 # ASSIGN : n59 10 # ASSIGN : n60 1 # ASSIGN : n61 2 # ASSIGN : n62 6 # ASSIGN : n63 10 # ASSIGN : n64 7 # ASSIGN : n65 2 # ASSIGN : n66 5 # ASSIGN : n67 6 # ASSIGN : n68 10 # ASSIGN : n69 4 # ASSIGN : n70 8 # ASSIGN : n71 10 # ASSIGN : n72 3 # ASSIGN : n73 5 # ASSIGN : n74 4 # ASSIGN : n75 8 # ASSIGN : n76 10 # ASSIGN : n77 2 # ASSIGN : n78 5 # ASSIGN : n79 4 # ASSIGN : n80 6 # ASSIGN : n81 10 # ASSIGN : n82 5 # ASSIGN : n83 1 # ASSIGN : n84 7 # ASSIGN : n85 8 # ASSIGN : n86 2 # ASSIGN : n87 3 # ASSIGN : n88 6 # ASSIGN : n89 4 # ASSIGN : n90 7 # ASSIGN : n91 8 # ASSIGN : n92 9 # ASSIGN : n93 6 # ASSIGN : n94 4 # ASSIGN : n95 8 # ASSIGN : n96 10 # ASSIGN : n97 3 # ASSIGN : n98 5 # ASSIGN : n99 4 # ASSIGN : n100 3 # ASSIGN : n101 6 # ASSIGN : n102 2 # ASSIGN : n103 7 # ASSIGN : n104 4 # ASSIGN : n105 3 # ASSIGN : n106 6 # ASSIGN : n107 8 # ASSIGN : n108 1 # ASSIGN : n109 4 # ASSIGN : n110 8 # ASSIGN : n111 10 # ASSIGN : n112 2 # ASSIGN : n113 7 # ASSIGN : n114 4 # ASSIGN : n115 3 # ASSIGN : n116 6 # ASSIGN : n117 2 # ASSIGN : n118 7 # ASSIGN : n119 4 # ASSIGN : n120 2 # ASSIGN : n121 7 # ASSIGN : n122 8 # ASSIGN : n123 1 # ASSIGN : n124 4 # ASSIGN : n125 9 # ASSIGN : n126 7 # ASSIGN : n127 3 # ASSIGN : n128 10 # ASSIGN : n129 8 # ASSIGN : n130 4 # ASSIGN : n131 9 # ASSIGN : n132 5 # ASSIGN : n133 10 # ASSIGN : n134 8 # ASSIGN : n135 4 # ASSIGN : n136 6 # ASSIGN : n137 10 # ASSIGN : n138 5 # ASSIGN : n139 1 # ASSIGN : n140 4 # ASSIGN : n141 3 # ASSIGN : n142 6 # ASSIGN : n143 8 # ASSIGN : n144 1 # ASSIGN : n145 4 # ASSIGN : n146 2 # ASSIGN : n147 7 # ASSIGN : n148 8 # ASSIGN : n149 1 # ASSIGN : n150 4 # ASSIGN : n151 5 # ASSIGN : n152 9 # ASSIGN : n153 3 # ASSIGN : n154 10 # ASSIGN : n155 6 # ASSIGN : n156 4 # ASSIGN : n157 5 # ASSIGN : n158 1 # ASSIGN : n159 2 # ASSIGN : n160 6 # ASSIGN : n161 4 # ASSIGN : n162 9 # ASSIGN : n163 5 # ASSIGN : n164 3 # ASSIGN : n165 10 # ASSIGN : n166 6 # ASSIGN : n167 1 # ASSIGN : n168 5 # ASSIGN : n169 9 # ASSIGN : n170 3 # ASSIGN : n171 10 # ASSIGN : n172 6 # ASSIGN : n173 7 # ASSIGN : n174 3 # ASSIGN : n175 6 # ASSIGN : n176 7 # ASSIGN : n177 3 # ASSIGN : n178 10 # ASSIGN : n179 6 # ASSIGN : n180 4 # ASSIGN : n181 5 # ASSIGN : n182 7 # ASSIGN : n183 3 # ASSIGN : n184 2 # ASSIGN : n185 8 # ASSIGN : n186 4 # ASSIGN : n187 5 # ASSIGN : n188 1 # ASSIGN : n189 9 # ASSIGN : n190 5 # ASSIGN : n191 10 # ASSIGN : n192 8 # ASSIGN : n193 3 # ASSIGN : n194 5 # ASSIGN : n195 9 # ASSIGN : n196 2 # ASSIGN : n197 6 # ASSIGN : n198 3 # ASSIGN : n199 8 # ASSIGN : n200 7 # ASSIGN : n201 10 # ASSIGN : n202 6 # ASSIGN : n203 4 # ASSIGN : n204 5 # ASSIGN : n205 1 # ASSIGN : n206 2 # ASSIGN : n207 8 # ASSIGN : n208 4 # ASSIGN : n209 5 # ASSIGN : n210 3 # ASSIGN : n211 3 # ASSIGN : n212 10 # ASSIGN : n213 6 # ASSIGN : n214 4 # ASSIGN : n215 5 # ASSIGN : n216 1 # ASSIGN : n217 10 # ASSIGN : n218 6 # ASSIGN : n219 4 # ASSIGN : n220 5 # ASSIGN : n221 1 # ASSIGN : n222 8 # ASSIGN : n223 2 # ASSIGN : n224 7 # ASSIGN : n225 10 # ASSIGN : n226 1 # ASSIGN : n227 8 # ASSIGN : n228 5 # ASSIGN : n229 10 # ASSIGN : n230 3 # ASSIGN : n231 9 # ASSIGN : n232 1 # ASSIGN : n233 8 # ASSIGN : n234 5 # ASSIGN : n235 3 # ASSIGN : n236 9 # ASSIGN : n237 1 # ASSIGN : n238 4 # ASSIGN : n239 2 # ASSIGN : n240 9 # ASSIGN : n241 7 # ASSIGN : n242 1 # ASSIGN : n243 3 # ASSIGN : n244 2 # ASSIGN : n245 8 # ASSIGN : n246 4 # ASSIGN : n247 5 # ASSIGN : n248 1 # ASSIGN : n249 2 # ASSIGN : n250 8 # ASSIGN : n251 4 # ASSIGN : n252 5 # ASSIGN : n253 1 # ASSIGN : n254 8 # ASSIGN : n255 2 # ASSIGN : n256 7 # ASSIGN : n257 10 # ASSIGN : n258 1 # ASSIGN : n259 7 # ASSIGN : n260 6 # ASSIGN : n261 2 # ASSIGN : n262 3 # ASSIGN : n263 9 # ASSIGN : n264 1 # ASSIGN : n265 7 # ASSIGN : n266 6 # ASSIGN : n267 3 # ASSIGN : n268 9 # ASSIGN : n269 1 # ASSIGN : n270 4 # ASSIGN : n271 10 # ASSIGN : n272 9 # ASSIGN : n273 8 # ASSIGN : n274 1 # ASSIGN : n275 8 # ASSIGN : n276 5 # ASSIGN : n277 10 # ASSIGN : n278 3 # ASSIGN : n279 9 # ASSIGN : n280 1 # ASSIGN : n281 7 # ASSIGN : n282 5 # ASSIGN : n283 2 # ASSIGN : n284 3 # ASSIGN : n285 9 # ASSIGN : n286 1 # ASSIGN : n287 10 # ASSIGN : n288 3 # ASSIGN : n289 4 # ASSIGN : n290 5 # ASSIGN : n291 8 # ASSIGN : n292 6 # ASSIGN : n293 2 # ASSIGN : n294 3 # ASSIGN : n295 6 # ASSIGN : n296 10 # ASSIGN : n297 3 # ASSIGN : n298 4 # ASSIGN : n299 5 # ASSIGN : n300 7 # ASSIGN : n301 1 # ASSIGN : n302 8 # ASSIGN : n303 2 # ASSIGN : n304 3 # ASSIGN : n305 9 # ASSIGN : n306 1 # ASSIGN : n307 7 # ASSIGN : n308 6 # ASSIGN : n309 3 # ASSIGN : n310 9 # ASSIGN : n311 1 # ASSIGN : n312 2 # ASSIGN : n313 3 # ASSIGN : n314 1 # ASSIGN : n315 3 # ASSIGN : n316 4 # ASSIGN : n317 5 # ASSIGN : n318 8 # ASSIGN : n319 1 # ASSIGN : n320 3 # ASSIGN : n321 4 # ASSIGN : n322 5 # ASSIGN : n323 7 # ASSIGN : n324 1 # ASSIGN : n325 4 # ASSIGN : n326 2 # ASSIGN : n327 9 # ASSIGN : n328 7 # ASSIGN : n329 10 # ASSIGN : n330 4 # ASSIGN : n331 6 # ASSIGN : n332 9 # ASSIGN : n333 8 # ASSIGN : n334 1 # ASSIGN : n335 2 # ASSIGN : n336 3 # ASSIGN : n337 4 # ASSIGN : n338 5 # ASSIGN : n339 8 # ASSIGN : n340 1 # ASSIGN : n341 3 # ASSIGN : n342 4 # ASSIGN : n343 5 # ASSIGN : n344 8 # ASSIGN : n345 10 # ASSIGN : n346 9 # ASSIGN : n347 8 # ASSIGN : n348 2 # ASSIGN : n349 6 # ASSIGN : n350 10 # ASSIGN : n351 5 # ASSIGN : n352 8 # ASSIGN : n353 6 # ASSIGN : n354 4 # ASSIGN : n355 10 # ASSIGN : n356 9 # ASSIGN : n357 7 # ASSIGN : n358 4 # ASSIGN : n359 6 # ASSIGN : n360 1 # ASSIGN : n361 10 # ASSIGN : n362 3 # ASSIGN : n363 4 # ASSIGN : n364 5 # ASSIGN : n365 7 # ASSIGN : n366 1 # ASSIGN : n367 3 # ASSIGN : n368 9 # ASSIGN : n369 5 # ASSIGN : n370 7 # ASSIGN : n371 1 # ASSIGN : n372 9 # ASSIGN : n373 8 # ASSIGN : n374 2 # ASSIGN : n375 6 # ASSIGN : n376 1 # ASSIGN : n377 5 # ASSIGN : n378 7 # ASSIGN : n379 9 # ASSIGN : n380 4 # ASSIGN : n381 1 # ASSIGN : n382 5 # ASSIGN : n383 7 # ASSIGN : n384 8 # ASSIGN : n385 10 # ASSIGN : n386 1 # ASSIGN : n387 5 # ASSIGN : n388 8 # ASSIGN : n389 6 # ASSIGN : n390 4 # ASSIGN : n391 1 # ASSIGN : n392 5 # ASSIGN : n393 7 # ASSIGN : n394 9 # ASSIGN : n395 4 # ASSIGN : n396 1 # ASSIGN : n397 9 # ASSIGN : n398 2 # ASSIGN : n399 8 # ASSIGN : n400 10 # ASSIGN : n401 1 # ASSIGN : n402 9 # ASSIGN : n403 4 # ASSIGN : n404 7 # ASSIGN : n405 8 # ASSIGN : n406 1 # ASSIGN : n407 6 # ASSIGN : n408 2 # ASSIGN : n409 7 # ASSIGN : n410 3 # ASSIGN : n411 1 # ASSIGN : n412 9 # ASSIGN : n413 7 # ASSIGN : n414 4 # ASSIGN : n415 10 # ASSIGN : n416 1 # ASSIGN : n417 2 # ASSIGN : n418 7 # ASSIGN : n419 8 # ASSIGN : n420 10 # ASSIGN : n421 1 # ASSIGN : n422 9 # ASSIGN : n423 2 # ASSIGN : n424 8 # ASSIGN : n425 10 # ASSIGN : n426 5 # ASSIGN : n427 4 # ASSIGN : n428 10 # ASSIGN : n429 7 # ASSIGN : n430 3 # ASSIGN : n431 5 # ASSIGN : n432 8 # ASSIGN : n433 10 # ASSIGN : n434 7 # ASSIGN : n435 9 # ASSIGN : n436 5 # ASSIGN : n437 9 # ASSIGN : n438 4 # ASSIGN : n439 7 # ASSIGN : n440 8 # ASSIGN : n441 10 # ASSIGN : n442 4 # ASSIGN : n443 6 # ASSIGN : n444 7 # ASSIGN : n445 3 # ASSIGN : n446 1 # ASSIGN : n447 2 # ASSIGN : n448 8 # ASSIGN : n449 4 # ASSIGN : n450 9 # ASSIGN : n451 10 # ASSIGN : n452 2 # ASSIGN : n453 8 # ASSIGN : n454 9 # ASSIGN : n455 6 # ASSIGN : n456 10 # ASSIGN : n457 2 # ASSIGN : n458 3 # ASSIGN : n459 6 # ASSIGN : n460 5 # ASSIGN : n461 10 # ASSIGN : n462 6 # ASSIGN : n463 2 # ASSIGN : n464 7 # ASSIGN : n465 3 # ASSIGN : n466 10 # ASSIGN : n467 8 # ASSIGN : n468 6 # ASSIGN : n469 7 # ASSIGN : n470 9 # ASSIGN : n471 1 # ASSIGN : n472 2 # ASSIGN : n473 8 # ASSIGN : n474 4 # ASSIGN : n475 9 # ASSIGN : n476 10 # ASSIGN : n477 4 # ASSIGN : n478 3 # ASSIGN : n479 5 # ASSIGN : n480 6 # ASSIGN : n481 10 # ASSIGN : n482 7 # ASSIGN : n483 9 # ASSIGN : n484 6 # ASSIGN : n485 8 # ASSIGN : n486 10 # ASSIGN : n487 2 # ASSIGN : n488 8 # ASSIGN : n489 5 # ASSIGN : n490 1 # ASSIGN : n491 10 # ASSIGN : n492 4 # ASSIGN : n493 3 # ASSIGN : n494 5 # ASSIGN : n495 6 # ASSIGN : n496 10 # ASSIGN : n497 9 # ASSIGN : n498 7 # ASSIGN : n499 4 # ASSIGN : n500 8 # ASSIGN : n501 10 # ASSIGN : n502 5 # ASSIGN : n503 6 # ASSIGN : n504 8 # ASSIGN : n505 2 # ASSIGN : n506 4 # ASSIGN : n507 10 # ASSIGN : n508 5 # ASSIGN : n509 6 # ASSIGN : n510 2 # ASSIGN : n511 4 # ASSIGN : n512 10 # ASSIGN : n513 7 # ASSIGN : n514 3 # ASSIGN : n515 6 # ASSIGN : n516 5 # ASSIGN : n517 10 # ASSIGN : n518 7 # ASSIGN : n519 3 # ASSIGN : n520 6 # ASSIGN : n521 8 # ASSIGN : n522 10 # ASSIGN : n523 9 # ASSIGN : n524 7 # ASSIGN : n525 4 # ASSIGN : n526 8 # ASSIGN : n527 2 # ASSIGN : n528 1 # ASSIGN : n529 5 # ASSIGN : n530 3 # ASSIGN : n531 9 # ASSIGN : n532 7 # ASSIGN : n533 10 # ASSIGN : n534 6 # ASSIGN : n535 8 # ASSIGN : n536 9 # ASSIGN : n537 7 # ASSIGN : n538 10 # ASSIGN : n539 5 # ASSIGN : n540 1 # ASSIGN : n541 3 # ASSIGN : n542 2 # ASSIGN : n543 4 # ASSIGN : n544 10 # ASSIGN : n545 1 # ASSIGN : n546 5 # ASSIGN : n547 3 # ASSIGN : n548 2 # ASSIGN : n549 7 # ASSIGN : n550 10 # ASSIGN : n551 3 # ASSIGN : n552 7 # ASSIGN : n553 10 # ASSIGN : n554 8 # ASSIGN : n555 9 # ASSIGN : n556 7 # ASSIGN : n557 1 # ASSIGN : n558 5 # ASSIGN : n559 6 # ASSIGN : n560 3 # ASSIGN : n561 9 # ASSIGN : n562 4 # ASSIGN : n563 5 # ASSIGN : n564 1 # ASSIGN : n565 6 # ASSIGN : n566 5 # ASSIGN : n567 6 # ASSIGN : n568 2 # ASSIGN : n569 4 # ASSIGN : n570 3 # ASSIGN : n571 6 # ASSIGN : n572 8 # ASSIGN : n573 2 # ASSIGN : n574 7 # ASSIGN : n575 3 # ASSIGN : n576 4 # ASSIGN : n577 3 # ASSIGN : n578 9 # ASSIGN : n579 7 # ASSIGN : n580 1 # ASSIGN : n581 10 # ASSIGN : n582 3 # ASSIGN : n583 9 # ASSIGN : n584 4 # ASSIGN : n585 5 # ASSIGN : n586 10 # ASSIGN : n587 3 # ASSIGN : n588 8 # ASSIGN : n589 9 # ASSIGN : n590 7 # ASSIGN : n591 1 # ASSIGN : n592 10 # ASSIGN : n593 6 # ASSIGN : n594 9 # ASSIGN : n595 7 # ASSIGN : n596 1 # ASSIGN : n597 10 # ASSIGN : n598 6 # ASSIGN : n599 2 # ASSIGN : n600 4 # ASSIGN : n601 8 # ASSIGN : n602 7 # ASSIGN : n603 6 # ASSIGN : n604 1 # ASSIGN : n605 10 # ASSIGN : n606 8 # ASSIGN : n607 7 # ASSIGN : n608 6 # ASSIGN : n609 2 # ASSIGN : n610 10 # ASSIGN : n611 3 # ASSIGN : n612 9 # ASSIGN : n613 6 # ASSIGN : n614 3 # ASSIGN : n615 9 # ASSIGN : n616 4 # ASSIGN : n617 5 # ASSIGN : n618 10 # ASSIGN : n619 6 # ASSIGN : n620 2 # ASSIGN : n621 4 # ASSIGN : n622 5 # ASSIGN : n623 10 # ASSIGN : n624 6 # ASSIGN : n625 2 # ASSIGN : n626 4 # ASSIGN : n627 8 # ASSIGN : n628 7 # ASSIGN : n629 6 # ASSIGN : n630 5 # ASSIGN : n631 10 # ASSIGN : n632 3 # ASSIGN : n633 2 # ASSIGN : n634 6 # ASSIGN : n635 8 # ASSIGN : n636 10 # ASSIGN : n637 4 # ASSIGN : n638 9 # ASSIGN : n639 6 # ASSIGN : n640 5 # ASSIGN : n641 1 # ASSIGN : n642 3 # ASSIGN : n643 2 # ASSIGN : n644 6 # ASSIGN : n645 8 # ASSIGN : n646 1 # ASSIGN : n647 9 # ASSIGN : n648 3 # ASSIGN : n649 6 # ASSIGN : n650 8 # ASSIGN : n651 7 # ASSIGN : n652 3 # ASSIGN : n653 4 # ASSIGN : n654 2 # ASSIGN : n655 6 # ASSIGN : n656 1 # ASSIGN : n657 5 # ASSIGN : n658 3 # ASSIGN : n659 7 # ASSIGN : n660 6 # ASSIGN : n661 5 # ASSIGN : n662 1 # ASSIGN : n663 3 # ASSIGN : n664 2 # ASSIGN : n665 6 # ASSIGN : n666 8 # ASSIGN : n667 2 # ASSIGN : n668 4 # ASSIGN : n669 9 # ASSIGN : n670 6 # ASSIGN : n671 2 # ASSIGN : n672 10 # ASSIGN : n673 3 # ASSIGN : n674 7 # ASSIGN : n675 6 # ASSIGN : n676 8 # ASSIGN : n677 10 # ASSIGN : n678 4 # ASSIGN : n679 9 # ASSIGN : n680 6 # ASSIGN : n681 8 # ASSIGN : n682 2 # ASSIGN : n683 4 # ASSIGN : n684 1 # ASSIGN : n685 6 # ASSIGN : n686 4 # ASSIGN : n687 9 # ASSIGN : n688 8 # ASSIGN : n689 2 # ASSIGN : n690 6 # ASSIGN : n691 4 # ASSIGN : n692 1 # ASSIGN : n693 10 # ASSIGN : n694 5 # ASSIGN : n695 6 # ASSIGN : n696 5 # ASSIGN : n697 1 # ASSIGN : n698 3 # ASSIGN : n699 2 # ASSIGN : n700 6 # ASSIGN : n701 4 # ASSIGN : n702 9 # ASSIGN : n703 8 # ASSIGN : n704 2 # ASSIGN : n705 6 # ASSIGN : n706 8 # ASSIGN : n707 2 # ASSIGN : n708 10 # ASSIGN : n709 5 # ASSIGN : n710 6 # ASSIGN : n711 8 # ASSIGN : n712 7 # ASSIGN : n713 1 # ASSIGN : n714 4 # ASSIGN : n715 10 # ASSIGN : n716 6 # ASSIGN : n717 8 # ASSIGN : n718 1 # ASSIGN : n719 9 # ASSIGN : n720 3 # ASSIGN : n721 6 # ASSIGN : n722 4 # ASSIGN : n723 1 # ASSIGN : n724 10 # ASSIGN : n725 5 # ASSIGN : n726 6 # ASSIGN : n727 8 # ASSIGN : n728 2 # ASSIGN : n729 10 # ASSIGN : n730 5 # ASSIGN : n731 6 # ASSIGN : n732 9 # ASSIGN : n733 5 # ASSIGN : n734 1 # ASSIGN : n735 4 # ASSIGN : n736 2 # ASSIGN : n737 6 # ASSIGN : n738 9 # ASSIGN : n739 3 # ASSIGN : n740 4 # ASSIGN : n741 2 # ASSIGN : n742 6 # ASSIGN : n743 10 # ASSIGN : n744 3 # ASSIGN : n745 8 # ASSIGN : n746 2 # ASSIGN : n747 6 # ASSIGN : n748 8 # ASSIGN : n749 7 # ASSIGN : n750 3 # ASSIGN : n751 4 # ASSIGN : n752 2 # ASSIGN : n753 6 # ASSIGN : n754 8 # ASSIGN : n755 7 # ASSIGN : n756 1 # ASSIGN : n757 4 # ASSIGN : n758 10 # ASSIGN : n759 6 # ASSIGN : n760 9 # ASSIGN : n761 5 # ASSIGN : n762 1 # ASSIGN : n763 4 # ASSIGN : n764 2 # ASSIGN : n765 6 # ASSIGN : n766 3 # ASSIGN : n767 4 # ASSIGN : n768 10 # ASSIGN : n769 6 # ASSIGN : n770 3 # ASSIGN : n771 4 # ASSIGN : n772 10 # ASSIGN : n773 8 # ASSIGN : n774 9 # ASSIGN : n775 6 # ASSIGN : n776 7 # ASSIGN : n777 5 # ASSIGN : n778 4 # ASSIGN : n779 2 # ASSIGN : n780 1 # ASSIGN : n781 3 # ASSIGN : n782 4 # ASSIGN : n783 2 # ASSIGN : n784 9 # ASSIGN : n785 4 # ASSIGN : n786 10 # ASSIGN : n787 8 # ASSIGN : n788 5 # ASSIGN : n789 1 # ASSIGN : n790 4 # ASSIGN : n791 2 # ASSIGN : n792 7 # ASSIGN : n793 5 # ASSIGN : n794 1 # ASSIGN : n795 4 # ASSIGN : n796 2 # ASSIGN : n797 6 # ASSIGN : n798 1 # ASSIGN : n799 10 # ASSIGN : n800 3 # ASSIGN : n801 8 # ASSIGN : n802 2 # ASSIGN : n803 1 # ASSIGN : n804 3 # ASSIGN : n805 4 # ASSIGN : n806 10 # ASSIGN : n807 8 # ASSIGN : n808 9 # ASSIGN : n809 7 # ASSIGN : n810 4 # ASSIGN : n811 10 # ASSIGN : n812 8 # ASSIGN : n813 9 # ASSIGN : n814 1 # ASSIGN : n815 8 # ASSIGN : n816 9 # ASSIGN : n817 3 # ASSIGN : n818 10 # ASSIGN : n819 1 # ASSIGN : n820 4 # ASSIGN : n821 10 # ASSIGN : n822 8 # ASSIGN : n823 5 # ASSIGN : n824 6 # ASSIGN : n825 7 # ASSIGN : n826 4 # ASSIGN : n827 2 # ASSIGN : n828 3 # ASSIGN : n829 5 # ASSIGN : n830 1 # ASSIGN : n831 8 # ASSIGN : n832 9 # ASSIGN : n833 7 # ASSIGN : n834 10 # ASSIGN : n835 1 # ASSIGN : n836 4 # ASSIGN : n837 2 # ASSIGN : n838 7 # ASSIGN : n839 5 # ASSIGN : n840 6 # ASSIGN : n841 1 # ASSIGN : n842 7 # ASSIGN : n843 10 # ASSIGN : n844 9 # ASSIGN : n845 8 # ASSIGN : n846 1 # ASSIGN : n847 7 # ASSIGN : n848 5 # ASSIGN : n849 8 # ASSIGN : n850 9 # ASSIGN : n851 1 # ASSIGN : n852 7 # ASSIGN : n853 5 # ASSIGN : n854 4 # ASSIGN : n855 2 # ASSIGN : n856 1 # ASSIGN : n857 4 # ASSIGN : n858 2 # ASSIGN : n859 6 # ASSIGN : n860 1 # ASSIGN : n861 4 # ASSIGN : n862 10 # ASSIGN : n863 8 # ASSIGN : n864 9 # ASSIGN : n865 6 # ASSIGN : n866 7 # ASSIGN : n867 4 # ASSIGN : n868 2 # ASSIGN : n869 3 # ASSIGN : n870 5 # ASSIGN : n871 6 # ASSIGN : n872 1 # ASSIGN : n873 4 # ASSIGN : n874 10 # ASSIGN : n875 6 # ASSIGN : n876 9 # ASSIGN : n877 8 # ASSIGN : n878 7 # ASSIGN : n879 4 # ASSIGN : n880 2 # ASSIGN : n881 6 # ASSIGN : n882 8 # ASSIGN : n883 9 # ASSIGN : n884 7 # ASSIGN : n885 3 # ASSIGN : n886 10 # ASSIGN : n887 9 # ASSIGN : n888 2 # ASSIGN : n889 1 # ASSIGN : n890 4 # ASSIGN : n891 10 # ASSIGN : n892 6 # ASSIGN : n893 9 # ASSIGN : n894 8 # ASSIGN : n895 7 # ASSIGN : n896 5 # ASSIGN : n897 2 # ASSIGN : n898 10 # ASSIGN : n899 3 # ASSIGN : n900 7 # ASSIGN : n901 5 # ASSIGN : n902 8 # ASSIGN : n903 4 # ASSIGN : n904 10 # ASSIGN : n905 7 # ASSIGN : n906 5 # ASSIGN : n907 2 # ASSIGN : n908 3 # ASSIGN : n909 10 # ASSIGN : n910 1 # ASSIGN : n911 9 # ASSIGN : n912 2 # ASSIGN : n913 4 # ASSIGN : n914 3 # ASSIGN : n915 7 # ASSIGN : n916 7 # ASSIGN : n917 5 # ASSIGN : n918 8 # ASSIGN : n919 9 # ASSIGN : n920 1 # ASSIGN : n921 4 # ASSIGN : n922 2 # ASSIGN : n923 6 # ASSIGN : n924 8 # ASSIGN : n925 9 # ASSIGN : n926 1 # ASSIGN : n927 5 # ASSIGN : n928 2 # ASSIGN : n929 10 # ASSIGN : n930 3 # ASSIGN : n931 1 # ASSIGN : n932 8 # ASSIGN : n933 3 # ASSIGN : n934 4 # ASSIGN : n935 2 # ASSIGN : n936 1 # ASSIGN : n937 7 # ASSIGN : n938 5 # ASSIGN : n939 9 # ASSIGN : n940 2 # ASSIGN : n941 6 # ASSIGN : n942 5 # ASSIGN : n943 8 # ASSIGN : n944 4 # ASSIGN : n945 10 # ASSIGN : n946 6 # ASSIGN : n947 8 # ASSIGN : n948 3 # ASSIGN : n949 4 # ASSIGN : n950 2 # ASSIGN : n951 6 # ASSIGN : n952 4 # ASSIGN : n953 2 # ASSIGN : n954 7 # ASSIGN : n955 8 # ASSIGN : n956 6 # ASSIGN : n957 9 # ASSIGN : n958 10 # ASSIGN : n959 1 # ASSIGN : n960 8 # ASSIGN : n961 6 # ASSIGN : n962 9 # ASSIGN : n963 10 # ASSIGN : n964 5 # ASSIGN : n965 1 # ASSIGN : n966 6 # ASSIGN : n967 4 # ASSIGN : n968 10 # ASSIGN : n969 7 # ASSIGN : n970 8 # ASSIGN : n971 6 # ASSIGN : n972 9 # ASSIGN : n973 2 # ASSIGN : n974 3 # ASSIGN : n975 10 # ASSIGN : n976 1 # ASSIGN : n977 4 # ASSIGN : n978 2 # ASSIGN : n979 3 # ASSIGN : n980 8 # ASSIGN : n981 1 # ASSIGN : n982 7 # ASSIGN : n983 10 # ASSIGN : n984 4 # ASSIGN : n985 5 # ASSIGN : n986 6 # ASSIGN : n987 9 # ASSIGN : n988 2 # ASSIGN : n989 1 # ASSIGN : n990 3 # ASSIGN : n991 6 # ASSIGN : n992 9 # ASSIGN : n993 10 # ASSIGN : n994 1 # ASSIGN : n995 8 # ASSIGN : n996 6 # ASSIGN : n997 7 # ASSIGN : n998 10 # ASSIGN : n999 4 # ASSIGN : n1000 5 # ASSIGN : n1001 6 # ASSIGN : n1002 4 # ASSIGN : n1003 8 # ASSIGN : n1004 2 # ASSIGN : n1005 7 # ASSIGN : n1006 6 # ASSIGN : n1007 4 # ASSIGN : n1008 5 # ASSIGN : n1009 7 # ASSIGN : n1010 2 # ASSIGN : n1011 6 # ASSIGN : n1012 4 # ASSIGN : n1013 10 # ASSIGN : n1014 5 # ASSIGN : n1015 7 # ASSIGN : n1016 6 # ASSIGN : n1017 4 # ASSIGN : n1018 8 # ASSIGN : n1019 2 # ASSIGN : n1020 7 # ASSIGN : n1021 9 # ASSIGN : n1022 5 # ASSIGN : n1023 1 # ASSIGN : n1024 3 # ASSIGN : n1025 8 # ASSIGN : n1026 9 # ASSIGN : n1027 2 # ASSIGN : n1028 7 # ASSIGN : n1029 3 # ASSIGN : n1030 4 # ASSIGN : n1031 6 # ASSIGN : n1032 2 # ASSIGN : n1033 7 # ASSIGN : n1034 10 # ASSIGN : n1035 8 # ASSIGN : n1036 6 # ASSIGN : n1037 4 # ASSIGN : n1038 10 # ASSIGN : n1039 7 # ASSIGN : n1040 8 # ASSIGN : n1041 6 # ASSIGN : n1042 4 # ASSIGN : n1043 5 # ASSIGN : n1044 7 # ASSIGN : n1045 2 # ASSIGN : n1046 9 # ASSIGN : n1047 5 # ASSIGN : n1048 1 # ASSIGN : n1049 3 # ASSIGN : n1050 8 # ASSIGN : n1051 6 # ASSIGN : n1052 7 # ASSIGN : n1053 8 # ASSIGN : n1054 3 # ASSIGN : n1055 5 # ASSIGN : n1056 6 # ASSIGN : n1057 7 # ASSIGN : n1058 2 # ASSIGN : n1059 10 # ASSIGN : n1060 4 # ASSIGN : n1061 9 # ASSIGN : n1062 2 # ASSIGN : n1063 7 # ASSIGN : n1064 3 # ASSIGN : n1065 4 # ASSIGN : n1066 6 # ASSIGN : n1067 7 # ASSIGN : n1068 8 # ASSIGN : n1069 9 # ASSIGN : n1070 5 # ASSIGN : n1071 6 # ASSIGN : n1072 9 # ASSIGN : n1073 1 # ASSIGN : n1074 10 # ASSIGN : n1075 8 # ASSIGN : n1076 6 # ASSIGN : n1077 3 # ASSIGN : n1078 5 # ASSIGN : n1079 10 # ASSIGN : n1080 7 # ASSIGN : n1081 6 # ASSIGN : n1082 3 # ASSIGN : n1083 5 # ASSIGN : n1084 2 # ASSIGN : n1085 8 # ASSIGN : n1086 6 # ASSIGN : n1087 2 # ASSIGN : n1088 7 # ASSIGN : n1089 10 # ASSIGN : n1090 4 # ASSIGN : n1091 6 # ASSIGN : n1092 7 # ASSIGN : n1093 2 # ASSIGN : n1094 10 # ASSIGN : n1095 4 # ASSIGN : n1096 6 # ASSIGN : n1097 9 # ASSIGN : n1098 1 # ASSIGN : n1099 10 # ASSIGN : n1100 8 # ASSIGN : n1101 6 # ASSIGN : n1102 5 # ASSIGN : n1103 8 # ASSIGN : n1104 1 # ASSIGN : n1105 9 # ASSIGN : n1106 6 # ASSIGN : n1107 10 # ASSIGN : n1108 3 # ASSIGN : n1109 9 # ASSIGN : n1110 2 # ASSIGN : n1111 6 # ASSIGN : n1112 3 # ASSIGN : n1113 5 # ASSIGN : n1114 10 # ASSIGN : n1115 7 # ASSIGN : n1116 6 # ASSIGN : n1117 5 # ASSIGN : n1118 8 # ASSIGN : n1119 1 # ASSIGN : n1120 7 # ASSIGN : n1121 6 # ASSIGN : n1122 10 # ASSIGN : n1123 7 # ASSIGN : n1124 8 # ASSIGN : n1125 4 # ASSIGN : n1126 6 # ASSIGN : n1127 10 # ASSIGN : n1128 9 # ASSIGN : n1129 5 # ASSIGN : n1130 4 # ASSIGN : n1131 6 # ASSIGN : n1132 10 # ASSIGN : n1133 9 # ASSIGN : n1134 5 # ASSIGN : n1135 4 # ASSIGN : n1136 8 # ASSIGN : n1137 6 # ASSIGN : n1138 3 # ASSIGN : n1139 1 # ASSIGN : n1140 8 # ASSIGN : n1141 2 # ASSIGN : n1142 10 # ASSIGN : n1143 5 # ASSIGN : n1144 3 # ASSIGN : n1145 9 # ASSIGN : n1146 2 # ASSIGN : n1147 6 # ASSIGN : n1148 1 # ASSIGN : n1149 7 # ASSIGN : n1150 8 # ASSIGN : n1151 4 # ASSIGN : n1152 6 # ASSIGN : n1153 9 # ASSIGN : n1154 2 # ASSIGN : n1155 5 # ASSIGN : n1156 1 # ASSIGN : n1157 10 # ASSIGN : n1158 9 # ASSIGN : n1159 2 # ASSIGN : n1160 5 # ASSIGN : n1161 1 # ASSIGN : n1162 3 # ASSIGN : n1163 10 # ASSIGN : n1164 8 # ASSIGN : n1165 4 # ASSIGN : n1166 3 # ASSIGN : n1167 1 # ASSIGN : n1168 10 # ASSIGN : n1169 10 # ASSIGN : n1170 2 # ASSIGN : n1171 5 # ASSIGN : n1172 4 # ASSIGN : n1173 6 # ASSIGN : n1174 9 # ASSIGN : n1175 2 # ASSIGN : n1176 5 # ASSIGN : n1177 1 # ASSIGN : n1178 7 # ASSIGN : n1179 8 # ASSIGN : n1180 7 # ASSIGN : n1181 5 # ASSIGN : n1182 4 # ASSIGN : n1183 3 # ASSIGN : n1184 9 # ASSIGN : n1185 7 # ASSIGN : n1186 10 # ASSIGN : n1187 7 # ASSIGN : n1188 5 # ASSIGN : n1189 4 # ASSIGN : n1190 8 # ASSIGN : n1191 6 # ASSIGN : n1192 9 # ASSIGN : n1193 2 # ASSIGN : n1194 5 # ASSIGN : n1195 1 # ASSIGN : n1196 3 # ASSIGN : n1197 6 # ASSIGN : n1198 8 # ASSIGN : n1199 6 # ASSIGN : n1200 5 # ASSIGN : n1201 4 # ASSIGN : n1202 8 # ASSIGN : n1203 2 # ASSIGN : n1204 9 # ASSIGN : n1205 6 # ASSIGN : n1206 5 # ASSIGN : n1207 1 # ASSIGN : n1208 8 # ASSIGN : n1209 10 # ASSIGN : n1210 9 # ASSIGN : n1211 6 # ASSIGN : n1212 5 # ASSIGN : n1213 4 # ASSIGN : n1214 8 # ASSIGN : n1215 7 # ASSIGN : n1216 10 # ASSIGN : n1217 6 # ASSIGN : n1218 8 # ASSIGN : n1219 4 # ASSIGN : n1220 3 # ASSIGN : n1221 1 # ASSIGN : n1222 6 # ASSIGN : n1223 5 # ASSIGN : n1224 4 # ASSIGN : n1225 3 # ASSIGN : n1226 9 # ASSIGN : n1227 6 # ASSIGN : n1228 5 # ASSIGN : n1229 4 # ASSIGN : n1230 8 # ASSIGN : n1231 2 # ASSIGN : n1232 9 # ASSIGN : n1233 6 # ASSIGN : n1234 3 # ASSIGN : n1235 1 # ASSIGN : n1236 10 # ASSIGN : n1237 4 # ASSIGN : n1238 6 # ASSIGN : n1239 2 # ASSIGN : n1240 9 # ASSIGN : n1241 7 # ASSIGN : n1242 10 # ASSIGN : n1243 6 # ASSIGN : n1244 5 # ASSIGN : n1245 1 # ASSIGN : n1246 8 # ASSIGN : n1247 2 # ASSIGN : n1248 9 # ASSIGN : n1249 6 # ASSIGN : n1250 3 # ASSIGN : n1251 1 # ASSIGN : n1252 10 # ASSIGN : n1253 4 # ASSIGN : n1254 6 # ASSIGN : n1255 2 # ASSIGN : n1256 9 # ASSIGN : n1257 7 # ASSIGN : n1258 3 # ASSIGN : n1259 6 # ASSIGN : n1260 2 # ASSIGN : n1261 9 # ASSIGN : n1262 1 # ASSIGN : n1263 8 # ASSIGN : n1264 6 # ASSIGN : n1265 10 # ASSIGN : n1266 4 # ASSIGN : n1267 8 # ASSIGN : n1268 5 # ASSIGN : n1269 6 # ASSIGN : n1270 5 # ASSIGN : n1271 4 # ASSIGN : n1272 8 # ASSIGN : n1273 7 # ASSIGN : n1274 10 # ASSIGN : n1275 9 # ASSIGN : n1276 2 # ASSIGN : n1277 1 # ASSIGN : n1278 7 # ASSIGN : n1279 10 # ASSIGN : n1280 6 # ASSIGN : n1281 2 # ASSIGN : n1282 4 # ASSIGN : n1283 7 # ASSIGN : n1284 3 # ASSIGN : n1285 6 # ASSIGN : n1286 7 # ASSIGN : n1287 3 # ASSIGN : n1288 1 # ASSIGN : n1289 8 # ASSIGN : n1290 9 # ASSIGN : n1291 7 # ASSIGN : n1292 3 # ASSIGN : n1293 2 # ASSIGN : n1294 4 # ASSIGN : n1295 6 # ASSIGN : n1296 7 # ASSIGN : n1297 10 # ASSIGN : n1298 8 # ASSIGN : n1299 5 # ASSIGN : n1300 9 # ASSIGN : n1301 2 # ASSIGN : n1302 4 # ASSIGN : n1303 1 # ASSIGN : n1304 8 # ASSIGN : n1305 6 # ASSIGN : n1306 7 # ASSIGN : n1307 3 # ASSIGN : n1308 1 # ASSIGN : n1309 8 # ASSIGN : n1310 6 # ASSIGN : n1311 1 # ASSIGN : n1312 8 # ASSIGN : n1313 9 # ASSIGN : n1314 4 # ASSIGN : n1315 6 # ASSIGN : n1316 1 # ASSIGN : n1317 10 # ASSIGN : n1318 3 # ASSIGN : n1319 5 # ASSIGN : n1320 6 # ASSIGN : n1321 7 # ASSIGN : n1322 3 # ASSIGN : n1323 2 # ASSIGN : n1324 4 # ASSIGN : n1325 6 # ASSIGN : n1326 1 # ASSIGN : n1327 8 # ASSIGN : n1328 2 # ASSIGN : n1329 4 # ASSIGN : n1330 6 # ASSIGN : n1331 9 # ASSIGN : n1332 10 # ASSIGN : n1333 8 # ASSIGN : n1334 5 # ASSIGN : n1335 6 # ASSIGN : n1336 2 # ASSIGN : n1337 4 # ASSIGN : n1338 1 # ASSIGN : n1339 5 # ASSIGN : n1340 6 # ASSIGN : n1341 9 # ASSIGN : n1342 10 # ASSIGN : n1343 5 # ASSIGN : n1344 8 # ASSIGN : n1345 6 # ASSIGN : n1346 10 # ASSIGN : n1347 4 # ASSIGN : n1348 8 # ASSIGN : n1349 5 # ASSIGN : n1350 6 # ASSIGN : n1351 7 # ASSIGN : n1352 10 # ASSIGN : n1353 8 # ASSIGN : n1354 2 # ASSIGN : n1355 6 # ASSIGN : n1356 1 # ASSIGN : n1357 10 # ASSIGN : n1358 3 # ASSIGN : n1359 2 # ASSIGN : n1360 6 # ASSIGN : n1361 9 # ASSIGN : n1362 10 # ASSIGN : n1363 8 # ASSIGN : n1364 5 # ASSIGN : n1365 6 # ASSIGN : n1366 8 # ASSIGN : n1367 2 # ASSIGN : n1368 10 # ASSIGN : n1369 9 # ASSIGN : n1370 6 # ASSIGN : n1371 3 # ASSIGN : n1372 2 # ASSIGN : n1373 4 # ASSIGN : n1374 1 # ASSIGN : n1375 6 # ASSIGN : n1376 2 # ASSIGN : n1377 4 # ASSIGN : n1378 1 # ASSIGN : n1379 5 # ASSIGN : n1380 7 # ASSIGN : n1381 8 # ASSIGN : n1382 2 # ASSIGN : n1383 10 # ASSIGN : n1384 9 # ASSIGN : n1385 7 # ASSIGN : n1386 10 # ASSIGN : n1387 9 # ASSIGN : n1388 4 # ASSIGN : n1389 8 # ASSIGN : n1390 7 # ASSIGN : n1391 10 # ASSIGN : n1392 5 # ASSIGN : n1393 4 # ASSIGN : n1394 8 # ASSIGN : n1395 7 # ASSIGN : n1396 1 # ASSIGN : n1397 9 # ASSIGN : n1398 4 # ASSIGN : n1399 2 # ASSIGN : n1400 6 # ASSIGN : n1401 2 # ASSIGN : n1402 10 # ASSIGN : n1403 5 # ASSIGN : n1404 8 # ASSIGN : n1405 6 # ASSIGN : n1406 3 # ASSIGN : n1407 2 # ASSIGN : n1408 4 # ASSIGN : n1409 1 # ASSIGN : n1410 9 # ASSIGN : n1411 10 # ASSIGN : n1412 3 # ASSIGN : n1413 4 # ASSIGN : n1414 8 # ASSIGN : n1415 6 # ASSIGN : n1416 5 # ASSIGN : n1417 1 # ASSIGN : n1418 2 # ASSIGN : n1419 3 # ASSIGN : n1420 6 # ASSIGN : n1421 5 # ASSIGN : n1422 8 # ASSIGN : n1423 10 # ASSIGN : n1424 7 # ASSIGN : n1425 9 # ASSIGN : n1426 10 # ASSIGN : n1427 5 # ASSIGN : n1428 4 # ASSIGN : n1429 8 # ASSIGN : n1430 6 # ASSIGN : n1431 5 # ASSIGN : n1432 1 # ASSIGN : n1433 9 # ASSIGN : n1434 3 # ASSIGN : n1435 6 # ASSIGN : n1436 9 # ASSIGN : n1437 8 # ASSIGN : n1438 10 # ASSIGN : n1439 7 # ASSIGN : n1440 6 # ASSIGN : n1441 9 # ASSIGN : n1442 8 # ASSIGN : n1443 10 # ASSIGN : n1444 5 # ASSIGN : n1445 6 # ASSIGN : n1446 4 # ASSIGN : n1447 3 # ASSIGN : n1448 10 # ASSIGN : n1449 1 # ASSIGN : n1450 6 # ASSIGN : n1451 1 # ASSIGN : n1452 9 # ASSIGN : n1453 4 # ASSIGN : n1454 7 # ASSIGN : n1455 6 # ASSIGN : n1456 5 # ASSIGN : n1457 1 # ASSIGN : n1458 10 # ASSIGN : n1459 7 # ASSIGN : n1460 6 # ASSIGN : n1461 9 # ASSIGN : n1462 8 # ASSIGN : n1463 10 # ASSIGN : n1464 7 # ASSIGN : n1465 6 # ASSIGN : n1466 3 # ASSIGN : n1467 7 # ASSIGN : n1468 1 # ASSIGN : n1469 5 # ASSIGN : n1470 6 # ASSIGN : n1471 4 # ASSIGN : n1472 2 # ASSIGN : n1473 5 # ASSIGN : n1474 8 # ASSIGN : n1475 6 # ASSIGN : n1476 9 # ASSIGN : n1477 8 # ASSIGN : n1478 1 # ASSIGN : n1479 5 # ASSIGN : n1480 6 # ASSIGN : n1481 3 # ASSIGN : n1482 7 # ASSIGN : n1483 1 # ASSIGN : n1484 5 # ASSIGN : n1485 6 # ASSIGN : n1486 4 # ASSIGN : n1487 2 # ASSIGN : n1488 7 # ASSIGN : n1489 8 # ASSIGN : n1490 6 # ASSIGN : n1491 4 # ASSIGN : n1492 2 # ASSIGN : n1493 7 # ASSIGN : n1494 8 # ASSIGN : n1495 9 # ASSIGN : n1496 6 # ASSIGN : n1497 10 # ASSIGN : n1498 5 # ASSIGN : n1499 9 # ASSIGN : n1500 8 # ASSIGN : n1501 6 # ASSIGN : n1502 4 # ASSIGN : n1503 3 # ASSIGN : n1504 10 # ASSIGN : n1505 1 # ASSIGN : n1506 6 # ASSIGN : n1507 4 # ASSIGN : n1508 2 # ASSIGN : n1509 5 # ASSIGN : n1510 8 # ASSIGN : n1511 9 # ASSIGN : n1512 4 # ASSIGN : n1513 2 # ASSIGN : n1514 7 # ASSIGN : n1515 8 # ASSIGN : n1516 9 # ASSIGN : n1517 10 # ASSIGN : n1518 8 # ASSIGN : n1519 3 # ASSIGN : n1520 6 # ASSIGN : n1521 10 # ASSIGN : n1522 1 # ASSIGN : n1523 4 # ASSIGN : n1524 2 # ASSIGN : n1525 6 # ASSIGN : n1526 4 # ASSIGN : n1527 2 # ASSIGN : n1528 7 # ASSIGN : n1529 8 # ASSIGN : n1530 9 # ASSIGN : n1531 6 # ASSIGN : n1532 10 # ASSIGN : n1533 1 # ASSIGN : n1534 9 # ASSIGN : n1535 6 # ASSIGN : n1536 10 # ASSIGN : n1537 1 # ASSIGN : n1538 3 # ASSIGN : n1539 4 # ASSIGN : n1540 2 # ASSIGN : n1541 6 # ASSIGN : n1542 10 # ASSIGN : n1543 5 # ASSIGN : n1544 9 # ASSIGN : n1545 8 # ASSIGN : n1546 7 # ASSIGN : n1547 5 # ASSIGN : n1548 1 # ASSIGN : n1549 4 # ASSIGN : n1550 2 # ASSIGN : n1551 6 # ASSIGN : n1552 10 # ASSIGN : n1553 1 # ASSIGN : n1554 3 # ASSIGN : n1555 4 # ASSIGN : n1556 2 # ASSIGN : n1557 6 SHOW_RESULT 10 END : 10 (0 seconds) [Thu Jul 6 14:28:15 2006] SHOW_RESULT 10 CPU : 0.149999999999977 = 0.149999999999977 + 0 + 0 + 0 # BOUND : color 9 10 MODIFY_CNF 9 BEGIN : [Thu Jul 6 14:28:15 2006] MODIFY_CNF 9 END : 33420969 bytes (0 seconds) [Thu Jul 6 14:28:15 2006] MODIFY_CNF 9 CPU : 0 = 0 + 0 + 0 + 0 VERIFY_CNF 9 BEGIN : [Thu Jul 6 14:28:15 2006] CMD : minisat /tmp/csp2sat18711.cnf /tmp/csp2sat18711.out ==================================[MINISAT]=================================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Clauses Literals | Limit Clauses Literals Lit/Cl | | ============================================================================== | 0 | 1049539 3191082 | 349846 0 0 nan | 0.000 % | | 102 | 1049539 3191082 | 384830 102 1788 17.5 | 9.458 % | | 254 | 1049539 3191082 | 423313 254 2821 11.1 | 9.458 % | | 481 | 1049539 3191082 | 465645 481 5659 11.8 | 9.458 % | | 818 | 1049539 3191082 | 512209 818 12045 14.7 | 9.458 % | | 1324 | 1049539 3191082 | 563430 1324 20476 15.5 | 9.458 % | | 2083 | 1049539 3191082 | 619773 2083 43861 21.1 | 9.458 % | | 3222 | 1049539 3191082 | 681750 3222 63735 19.8 | 9.458 % | | 4930 | 1049539 3191082 | 749925 4930 125776 25.5 | 9.458 % | | 7493 | 1049539 3191082 | 824918 7493 228270 30.5 | 9.458 % | ============================================================================== restarts : 10 conflicts : 10557 (558 /sec) decisions : 20600 (1088 /sec) propagations : 15738660 (831414 /sec) conflict literals : 356586 (2.50 % deleted) Memory used : 60.84 MB CPU time : 18.93 s SATISFIABLE VERIFY_CNF 9 END : (19 seconds) [Thu Jul 6 14:28:34 2006] VERIFY_CNF 9 CPU : 19.2 = 0 + 0.02 + 18.98 + 0.2 # RESULT : color 9 SATISFIABLE SHOW_RESULT 9 BEGIN : [Thu Jul 6 14:28:34 2006] # ASSIGN : color 9 # ASSIGN : n3 9 # ASSIGN : n4 4 # ASSIGN : n5 7 # ASSIGN : n6 9 # ASSIGN : n7 2 # ASSIGN : n8 3 # ASSIGN : n9 9 # ASSIGN : n10 9 # ASSIGN : n11 7 # ASSIGN : n12 4 # ASSIGN : n13 1 # ASSIGN : n14 2 # ASSIGN : n15 8 # ASSIGN : n16 6 # ASSIGN : n17 5 # ASSIGN : n18 4 # ASSIGN : n19 7 # ASSIGN : n20 9 # ASSIGN : n21 4 # ASSIGN : n22 7 # ASSIGN : n23 9 # ASSIGN : n24 4 # ASSIGN : n25 7 # ASSIGN : n26 8 # ASSIGN : n27 6 # ASSIGN : n28 9 # ASSIGN : n29 3 # ASSIGN : n30 7 # ASSIGN : n31 8 # ASSIGN : n32 5 # ASSIGN : n33 9 # ASSIGN : n34 4 # ASSIGN : n35 1 # ASSIGN : n36 5 # ASSIGN : n37 2 # ASSIGN : n38 9 # ASSIGN : n39 8 # ASSIGN : n40 3 # ASSIGN : n41 9 # ASSIGN : n42 8 # ASSIGN : n43 6 # ASSIGN : n44 9 # ASSIGN : n45 4 # ASSIGN : n46 7 # ASSIGN : n47 2 # ASSIGN : n48 6 # ASSIGN : n49 9 # ASSIGN : n50 2 # ASSIGN : n51 3 # ASSIGN : n52 4 # ASSIGN : n53 5 # ASSIGN : n54 9 # ASSIGN : n55 8 # ASSIGN : n56 1 # ASSIGN : n57 5 # ASSIGN : n58 7 # ASSIGN : n59 9 # ASSIGN : n60 3 # ASSIGN : n61 7 # ASSIGN : n62 8 # ASSIGN : n63 5 # ASSIGN : n64 6 # ASSIGN : n65 2 # ASSIGN : n66 3 # ASSIGN : n67 4 # ASSIGN : n68 5 # ASSIGN : n69 9 # ASSIGN : n70 8 # ASSIGN : n71 1 # ASSIGN : n72 3 # ASSIGN : n73 7 # ASSIGN : n74 6 # ASSIGN : n75 4 # ASSIGN : n76 5 # ASSIGN : n77 3 # ASSIGN : n78 2 # ASSIGN : n79 9 # ASSIGN : n80 4 # ASSIGN : n81 5 # ASSIGN : n82 3 # ASSIGN : n83 7 # ASSIGN : n84 9 # ASSIGN : n85 4 # ASSIGN : n86 1 # ASSIGN : n87 5 # ASSIGN : n88 2 # ASSIGN : n89 9 # ASSIGN : n90 8 # ASSIGN : n91 6 # ASSIGN : n92 5 # ASSIGN : n93 7 # ASSIGN : n94 9 # ASSIGN : n95 4 # ASSIGN : n96 1 # ASSIGN : n97 3 # ASSIGN : n98 2 # ASSIGN : n99 9 # ASSIGN : n100 5 # ASSIGN : n101 7 # ASSIGN : n102 6 # ASSIGN : n103 8 # ASSIGN : n104 9 # ASSIGN : n105 5 # ASSIGN : n106 2 # ASSIGN : n107 1 # ASSIGN : n108 8 # ASSIGN : n109 9 # ASSIGN : n110 4 # ASSIGN : n111 5 # ASSIGN : n112 6 # ASSIGN : n113 2 # ASSIGN : n114 9 # ASSIGN : n115 5 # ASSIGN : n116 7 # ASSIGN : n117 6 # ASSIGN : n118 8 # ASSIGN : n119 9 # ASSIGN : n120 6 # ASSIGN : n121 2 # ASSIGN : n122 1 # ASSIGN : n123 7 # ASSIGN : n124 9 # ASSIGN : n125 3 # ASSIGN : n126 8 # ASSIGN : n127 7 # ASSIGN : n128 1 # ASSIGN : n129 5 # ASSIGN : n130 9 # ASSIGN : n131 3 # ASSIGN : n132 8 # ASSIGN : n133 1 # ASSIGN : n134 5 # ASSIGN : n135 9 # ASSIGN : n136 4 # ASSIGN : n137 5 # ASSIGN : n138 3 # ASSIGN : n139 7 # ASSIGN : n140 9 # ASSIGN : n141 5 # ASSIGN : n142 2 # ASSIGN : n143 1 # ASSIGN : n144 8 # ASSIGN : n145 9 # ASSIGN : n146 6 # ASSIGN : n147 2 # ASSIGN : n148 1 # ASSIGN : n149 7 # ASSIGN : n150 9 # ASSIGN : n151 3 # ASSIGN : n152 8 # ASSIGN : n153 4 # ASSIGN : n154 6 # ASSIGN : n155 5 # ASSIGN : n156 9 # ASSIGN : n157 3 # ASSIGN : n158 8 # ASSIGN : n159 6 # ASSIGN : n160 5 # ASSIGN : n161 9 # ASSIGN : n162 3 # ASSIGN : n163 8 # ASSIGN : n164 7 # ASSIGN : n165 1 # ASSIGN : n166 5 # ASSIGN : n167 9 # ASSIGN : n168 3 # ASSIGN : n169 8 # ASSIGN : n170 4 # ASSIGN : n171 6 # ASSIGN : n172 5 # ASSIGN : n173 9 # ASSIGN : n174 4 # ASSIGN : n175 5 # ASSIGN : n176 9 # ASSIGN : n177 4 # ASSIGN : n178 6 # ASSIGN : n179 2 # ASSIGN : n180 8 # ASSIGN : n181 3 # ASSIGN : n182 9 # ASSIGN : n183 7 # ASSIGN : n184 6 # ASSIGN : n185 5 # ASSIGN : n186 3 # ASSIGN : n187 8 # ASSIGN : n188 9 # ASSIGN : n189 3 # ASSIGN : n190 8 # ASSIGN : n191 1 # ASSIGN : n192 5 # ASSIGN : n193 4 # ASSIGN : n194 3 # ASSIGN : n195 8 # ASSIGN : n196 6 # ASSIGN : n197 5 # ASSIGN : n198 4 # ASSIGN : n199 2 # ASSIGN : n200 9 # ASSIGN : n201 6 # ASSIGN : n202 2 # ASSIGN : n203 8 # ASSIGN : n204 3 # ASSIGN : n205 9 # ASSIGN : n206 6 # ASSIGN : n207 5 # ASSIGN : n208 3 # ASSIGN : n209 8 # ASSIGN : n210 7 # ASSIGN : n211 4 # ASSIGN : n212 6 # ASSIGN : n213 5 # ASSIGN : n214 8 # ASSIGN : n215 3 # ASSIGN : n216 9 # ASSIGN : n217 6 # ASSIGN : n218 2 # ASSIGN : n219 8 # ASSIGN : n220 3 # ASSIGN : n221 9 # ASSIGN : n222 7 # ASSIGN : n223 1 # ASSIGN : n224 4 # ASSIGN : n225 2 # ASSIGN : n226 9 # ASSIGN : n227 8 # ASSIGN : n228 1 # ASSIGN : n229 6 # ASSIGN : n230 5 # ASSIGN : n231 2 # ASSIGN : n232 9 # ASSIGN : n233 8 # ASSIGN : n234 1 # ASSIGN : n235 5 # ASSIGN : n236 2 # ASSIGN : n237 9 # ASSIGN : n238 7 # ASSIGN : n239 3 # ASSIGN : n240 4 # ASSIGN : n241 6 # ASSIGN : n242 9 # ASSIGN : n243 7 # ASSIGN : n244 6 # ASSIGN : n245 5 # ASSIGN : n246 3 # ASSIGN : n247 8 # ASSIGN : n248 9 # ASSIGN : n249 6 # ASSIGN : n250 5 # ASSIGN : n251 4 # ASSIGN : n252 8 # ASSIGN : n253 9 # ASSIGN : n254 7 # ASSIGN : n255 1 # ASSIGN : n256 4 # ASSIGN : n257 2 # ASSIGN : n258 9 # ASSIGN : n259 4 # ASSIGN : n260 8 # ASSIGN : n261 6 # ASSIGN : n262 5 # ASSIGN : n263 7 # ASSIGN : n264 9 # ASSIGN : n265 4 # ASSIGN : n266 8 # ASSIGN : n267 5 # ASSIGN : n268 7 # ASSIGN : n269 9 # ASSIGN : n270 3 # ASSIGN : n271 2 # ASSIGN : n272 1 # ASSIGN : n273 6 # ASSIGN : n274 9 # ASSIGN : n275 8 # ASSIGN : n276 1 # ASSIGN : n277 6 # ASSIGN : n278 5 # ASSIGN : n279 2 # ASSIGN : n280 9 # ASSIGN : n281 4 # ASSIGN : n282 8 # ASSIGN : n283 6 # ASSIGN : n284 5 # ASSIGN : n285 7 # ASSIGN : n286 9 # ASSIGN : n287 3 # ASSIGN : n288 5 # ASSIGN : n289 7 # ASSIGN : n290 4 # ASSIGN : n291 8 # ASSIGN : n292 9 # ASSIGN : n293 6 # ASSIGN : n294 5 # ASSIGN : n295 9 # ASSIGN : n296 6 # ASSIGN : n297 5 # ASSIGN : n298 7 # ASSIGN : n299 8 # ASSIGN : n300 4 # ASSIGN : n301 9 # ASSIGN : n302 8 # ASSIGN : n303 3 # ASSIGN : n304 5 # ASSIGN : n305 2 # ASSIGN : n306 9 # ASSIGN : n307 4 # ASSIGN : n308 8 # ASSIGN : n309 5 # ASSIGN : n310 7 # ASSIGN : n311 9 # ASSIGN : n312 6 # ASSIGN : n313 5 # ASSIGN : n314 9 # ASSIGN : n315 5 # ASSIGN : n316 7 # ASSIGN : n317 1 # ASSIGN : n318 6 # ASSIGN : n319 9 # ASSIGN : n320 5 # ASSIGN : n321 7 # ASSIGN : n322 8 # ASSIGN : n323 4 # ASSIGN : n324 9 # ASSIGN : n325 7 # ASSIGN : n326 3 # ASSIGN : n327 4 # ASSIGN : n328 6 # ASSIGN : n329 9 # ASSIGN : n330 3 # ASSIGN : n331 2 # ASSIGN : n332 1 # ASSIGN : n333 6 # ASSIGN : n334 9 # ASSIGN : n335 3 # ASSIGN : n336 5 # ASSIGN : n337 7 # ASSIGN : n338 4 # ASSIGN : n339 8 # ASSIGN : n340 9 # ASSIGN : n341 5 # ASSIGN : n342 7 # ASSIGN : n343 1 # ASSIGN : n344 8 # ASSIGN : n345 9 # ASSIGN : n346 1 # ASSIGN : n347 6 # ASSIGN : n348 3 # ASSIGN : n349 2 # ASSIGN : n350 9 # ASSIGN : n351 4 # ASSIGN : n352 8 # ASSIGN : n353 3 # ASSIGN : n354 7 # ASSIGN : n355 9 # ASSIGN : n356 1 # ASSIGN : n357 8 # ASSIGN : n358 3 # ASSIGN : n359 7 # ASSIGN : n360 9 # ASSIGN : n361 6 # ASSIGN : n362 5 # ASSIGN : n363 7 # ASSIGN : n364 8 # ASSIGN : n365 4 # ASSIGN : n366 9 # ASSIGN : n367 5 # ASSIGN : n368 7 # ASSIGN : n369 8 # ASSIGN : n370 4 # ASSIGN : n371 9 # ASSIGN : n372 1 # ASSIGN : n373 6 # ASSIGN : n374 3 # ASSIGN : n375 2 # ASSIGN : n376 9 # ASSIGN : n377 8 # ASSIGN : n378 4 # ASSIGN : n379 1 # ASSIGN : n380 7 # ASSIGN : n381 9 # ASSIGN : n382 8 # ASSIGN : n383 2 # ASSIGN : n384 6 # ASSIGN : n385 7 # ASSIGN : n386 9 # ASSIGN : n387 4 # ASSIGN : n388 8 # ASSIGN : n389 3 # ASSIGN : n390 2 # ASSIGN : n391 5 # ASSIGN : n392 8 # ASSIGN : n393 4 # ASSIGN : n394 1 # ASSIGN : n395 7 # ASSIGN : n396 5 # ASSIGN : n397 1 # ASSIGN : n398 2 # ASSIGN : n399 6 # ASSIGN : n400 4 # ASSIGN : n401 5 # ASSIGN : n402 3 # ASSIGN : n403 7 # ASSIGN : n404 9 # ASSIGN : n405 8 # ASSIGN : n406 5 # ASSIGN : n407 3 # ASSIGN : n408 7 # ASSIGN : n409 4 # ASSIGN : n410 8 # ASSIGN : n411 5 # ASSIGN : n412 1 # ASSIGN : n413 8 # ASSIGN : n414 3 # ASSIGN : n415 7 # ASSIGN : n416 5 # ASSIGN : n417 8 # ASSIGN : n418 2 # ASSIGN : n419 6 # ASSIGN : n420 7 # ASSIGN : n421 5 # ASSIGN : n422 1 # ASSIGN : n423 2 # ASSIGN : n424 6 # ASSIGN : n425 4 # ASSIGN : n426 5 # ASSIGN : n427 6 # ASSIGN : n428 4 # ASSIGN : n429 9 # ASSIGN : n430 8 # ASSIGN : n431 5 # ASSIGN : n432 3 # ASSIGN : n433 7 # ASSIGN : n434 9 # ASSIGN : n435 8 # ASSIGN : n436 5 # ASSIGN : n437 3 # ASSIGN : n438 7 # ASSIGN : n439 9 # ASSIGN : n440 8 # ASSIGN : n441 5 # ASSIGN : n442 6 # ASSIGN : n443 4 # ASSIGN : n444 9 # ASSIGN : n445 1 # ASSIGN : n446 5 # ASSIGN : n447 2 # ASSIGN : n448 1 # ASSIGN : n449 4 # ASSIGN : n450 6 # ASSIGN : n451 5 # ASSIGN : n452 9 # ASSIGN : n453 8 # ASSIGN : n454 7 # ASSIGN : n455 4 # ASSIGN : n456 5 # ASSIGN : n457 9 # ASSIGN : n458 8 # ASSIGN : n459 4 # ASSIGN : n460 6 # ASSIGN : n461 5 # ASSIGN : n462 3 # ASSIGN : n463 2 # ASSIGN : n464 9 # ASSIGN : n465 8 # ASSIGN : n466 5 # ASSIGN : n467 3 # ASSIGN : n468 7 # ASSIGN : n469 9 # ASSIGN : n470 8 # ASSIGN : n471 5 # ASSIGN : n472 2 # ASSIGN : n473 1 # ASSIGN : n474 4 # ASSIGN : n475 6 # ASSIGN : n476 5 # ASSIGN : n477 9 # ASSIGN : n478 6 # ASSIGN : n479 7 # ASSIGN : n480 3 # ASSIGN : n481 5 # ASSIGN : n482 9 # ASSIGN : n483 8 # ASSIGN : n484 1 # ASSIGN : n485 2 # ASSIGN : n486 5 # ASSIGN : n487 9 # ASSIGN : n488 1 # ASSIGN : n489 7 # ASSIGN : n490 4 # ASSIGN : n491 5 # ASSIGN : n492 9 # ASSIGN : n493 6 # ASSIGN : n494 7 # ASSIGN : n495 3 # ASSIGN : n496 5 # ASSIGN : n497 7 # ASSIGN : n498 3 # ASSIGN : n499 1 # ASSIGN : n500 6 # ASSIGN : n501 8 # ASSIGN : n502 2 # ASSIGN : n503 4 # ASSIGN : n504 1 # ASSIGN : n505 6 # ASSIGN : n506 9 # ASSIGN : n507 8 # ASSIGN : n508 2 # ASSIGN : n509 4 # ASSIGN : n510 6 # ASSIGN : n511 9 # ASSIGN : n512 5 # ASSIGN : n513 9 # ASSIGN : n514 8 # ASSIGN : n515 4 # ASSIGN : n516 6 # ASSIGN : n517 5 # ASSIGN : n518 9 # ASSIGN : n519 8 # ASSIGN : n520 1 # ASSIGN : n521 2 # ASSIGN : n522 5 # ASSIGN : n523 7 # ASSIGN : n524 3 # ASSIGN : n525 1 # ASSIGN : n526 6 # ASSIGN : n527 5 # ASSIGN : n528 4 # ASSIGN : n529 2 # ASSIGN : n530 7 # ASSIGN : n531 3 # ASSIGN : n532 9 # ASSIGN : n533 5 # ASSIGN : n534 1 # ASSIGN : n535 2 # ASSIGN : n536 3 # ASSIGN : n537 9 # ASSIGN : n538 5 # ASSIGN : n539 2 # ASSIGN : n540 4 # ASSIGN : n541 1 # ASSIGN : n542 6 # ASSIGN : n543 9 # ASSIGN : n544 5 # ASSIGN : n545 4 # ASSIGN : n546 2 # ASSIGN : n547 7 # ASSIGN : n548 3 # ASSIGN : n549 9 # ASSIGN : n550 5 # ASSIGN : n551 7 # ASSIGN : n552 9 # ASSIGN : n553 5 # ASSIGN : n554 7 # ASSIGN : n555 3 # ASSIGN : n556 9 # ASSIGN : n557 4 # ASSIGN : n558 8 # ASSIGN : n559 5 # ASSIGN : n560 1 # ASSIGN : n561 6 # ASSIGN : n562 9 # ASSIGN : n563 4 # ASSIGN : n564 8 # ASSIGN : n565 5 # ASSIGN : n566 7 # ASSIGN : n567 4 # ASSIGN : n568 6 # ASSIGN : n569 9 # ASSIGN : n570 5 # ASSIGN : n571 1 # ASSIGN : n572 2 # ASSIGN : n573 3 # ASSIGN : n574 9 # ASSIGN : n575 5 # ASSIGN : n576 9 # ASSIGN : n577 5 # ASSIGN : n578 3 # ASSIGN : n579 9 # ASSIGN : n580 4 # ASSIGN : n581 8 # ASSIGN : n582 5 # ASSIGN : n583 6 # ASSIGN : n584 9 # ASSIGN : n585 7 # ASSIGN : n586 8 # ASSIGN : n587 5 # ASSIGN : n588 1 # ASSIGN : n589 3 # ASSIGN : n590 9 # ASSIGN : n591 4 # ASSIGN : n592 8 # ASSIGN : n593 5 # ASSIGN : n594 3 # ASSIGN : n595 9 # ASSIGN : n596 4 # ASSIGN : n597 2 # ASSIGN : n598 5 # ASSIGN : n599 6 # ASSIGN : n600 2 # ASSIGN : n601 7 # ASSIGN : n602 3 # ASSIGN : n603 5 # ASSIGN : n604 4 # ASSIGN : n605 8 # ASSIGN : n606 3 # ASSIGN : n607 9 # ASSIGN : n608 5 # ASSIGN : n609 4 # ASSIGN : n610 2 # ASSIGN : n611 1 # ASSIGN : n612 9 # ASSIGN : n613 5 # ASSIGN : n614 1 # ASSIGN : n615 6 # ASSIGN : n616 9 # ASSIGN : n617 4 # ASSIGN : n618 8 # ASSIGN : n619 5 # ASSIGN : n620 6 # ASSIGN : n621 9 # ASSIGN : n622 4 # ASSIGN : n623 8 # ASSIGN : n624 5 # ASSIGN : n625 6 # ASSIGN : n626 2 # ASSIGN : n627 7 # ASSIGN : n628 3 # ASSIGN : n629 5 # ASSIGN : n630 4 # ASSIGN : n631 8 # ASSIGN : n632 1 # ASSIGN : n633 9 # ASSIGN : n634 5 # ASSIGN : n635 4 # ASSIGN : n636 3 # ASSIGN : n637 1 # ASSIGN : n638 6 # ASSIGN : n639 5 # ASSIGN : n640 7 # ASSIGN : n641 3 # ASSIGN : n642 2 # ASSIGN : n643 9 # ASSIGN : n644 5 # ASSIGN : n645 7 # ASSIGN : n646 8 # ASSIGN : n647 9 # ASSIGN : n648 6 # ASSIGN : n649 5 # ASSIGN : n650 4 # ASSIGN : n651 3 # ASSIGN : n652 6 # ASSIGN : n653 1 # ASSIGN : n654 9 # ASSIGN : n655 5 # ASSIGN : n656 4 # ASSIGN : n657 8 # ASSIGN : n658 1 # ASSIGN : n659 9 # ASSIGN : n660 5 # ASSIGN : n661 4 # ASSIGN : n662 8 # ASSIGN : n663 6 # ASSIGN : n664 2 # ASSIGN : n665 5 # ASSIGN : n666 3 # ASSIGN : n667 2 # ASSIGN : n668 7 # ASSIGN : n669 8 # ASSIGN : n670 5 # ASSIGN : n671 4 # ASSIGN : n672 2 # ASSIGN : n673 1 # ASSIGN : n674 9 # ASSIGN : n675 5 # ASSIGN : n676 4 # ASSIGN : n677 3 # ASSIGN : n678 1 # ASSIGN : n679 6 # ASSIGN : n680 5 # ASSIGN : n681 3 # ASSIGN : n682 2 # ASSIGN : n683 7 # ASSIGN : n684 8 # ASSIGN : n685 5 # ASSIGN : n686 1 # ASSIGN : n687 6 # ASSIGN : n688 2 # ASSIGN : n689 4 # ASSIGN : n690 5 # ASSIGN : n691 7 # ASSIGN : n692 8 # ASSIGN : n693 3 # ASSIGN : n694 2 # ASSIGN : n695 5 # ASSIGN : n696 7 # ASSIGN : n697 3 # ASSIGN : n698 2 # ASSIGN : n699 9 # ASSIGN : n700 5 # ASSIGN : n701 1 # ASSIGN : n702 6 # ASSIGN : n703 2 # ASSIGN : n704 4 # ASSIGN : n705 5 # ASSIGN : n706 8 # ASSIGN : n707 4 # ASSIGN : n708 3 # ASSIGN : n709 6 # ASSIGN : n710 5 # ASSIGN : n711 2 # ASSIGN : n712 4 # ASSIGN : n713 6 # ASSIGN : n714 1 # ASSIGN : n715 7 # ASSIGN : n716 5 # ASSIGN : n717 7 # ASSIGN : n718 8 # ASSIGN : n719 9 # ASSIGN : n720 2 # ASSIGN : n721 5 # ASSIGN : n722 1 # ASSIGN : n723 8 # ASSIGN : n724 3 # ASSIGN : n725 2 # ASSIGN : n726 5 # ASSIGN : n727 8 # ASSIGN : n728 4 # ASSIGN : n729 3 # ASSIGN : n730 6 # ASSIGN : n731 5 # ASSIGN : n732 3 # ASSIGN : n733 2 # ASSIGN : n734 8 # ASSIGN : n735 1 # ASSIGN : n736 7 # ASSIGN : n737 5 # ASSIGN : n738 3 # ASSIGN : n739 6 # ASSIGN : n740 1 # ASSIGN : n741 7 # ASSIGN : n742 5 # ASSIGN : n743 9 # ASSIGN : n744 6 # ASSIGN : n745 8 # ASSIGN : n746 4 # ASSIGN : n747 5 # ASSIGN : n748 4 # ASSIGN : n749 3 # ASSIGN : n750 6 # ASSIGN : n751 1 # ASSIGN : n752 9 # ASSIGN : n753 5 # ASSIGN : n754 2 # ASSIGN : n755 4 # ASSIGN : n756 6 # ASSIGN : n757 1 # ASSIGN : n758 7 # ASSIGN : n759 5 # ASSIGN : n760 3 # ASSIGN : n761 2 # ASSIGN : n762 8 # ASSIGN : n763 1 # ASSIGN : n764 7 # ASSIGN : n765 5 # ASSIGN : n766 6 # ASSIGN : n767 1 # ASSIGN : n768 7 # ASSIGN : n769 5 # ASSIGN : n770 6 # ASSIGN : n771 1 # ASSIGN : n772 9 # ASSIGN : n773 2 # ASSIGN : n774 4 # ASSIGN : n775 5 # ASSIGN : n776 3 # ASSIGN : n777 6 # ASSIGN : n778 1 # ASSIGN : n779 7 # ASSIGN : n780 5 # ASSIGN : n781 8 # ASSIGN : n782 1 # ASSIGN : n783 7 # ASSIGN : n784 2 # ASSIGN : n785 1 # ASSIGN : n786 9 # ASSIGN : n787 8 # ASSIGN : n788 4 # ASSIGN : n789 5 # ASSIGN : n790 1 # ASSIGN : n791 7 # ASSIGN : n792 6 # ASSIGN : n793 8 # ASSIGN : n794 2 # ASSIGN : n795 1 # ASSIGN : n796 7 # ASSIGN : n797 6 # ASSIGN : n798 5 # ASSIGN : n799 9 # ASSIGN : n800 6 # ASSIGN : n801 8 # ASSIGN : n802 4 # ASSIGN : n803 5 # ASSIGN : n804 6 # ASSIGN : n805 1 # ASSIGN : n806 9 # ASSIGN : n807 2 # ASSIGN : n808 4 # ASSIGN : n809 5 # ASSIGN : n810 1 # ASSIGN : n811 9 # ASSIGN : n812 8 # ASSIGN : n813 4 # ASSIGN : n814 3 # ASSIGN : n815 7 # ASSIGN : n816 4 # ASSIGN : n817 6 # ASSIGN : n818 9 # ASSIGN : n819 3 # ASSIGN : n820 1 # ASSIGN : n821 9 # ASSIGN : n822 8 # ASSIGN : n823 4 # ASSIGN : n824 6 # ASSIGN : n825 5 # ASSIGN : n826 1 # ASSIGN : n827 7 # ASSIGN : n828 6 # ASSIGN : n829 8 # ASSIGN : n830 3 # ASSIGN : n831 7 # ASSIGN : n832 4 # ASSIGN : n833 6 # ASSIGN : n834 9 # ASSIGN : n835 3 # ASSIGN : n836 1 # ASSIGN : n837 7 # ASSIGN : n838 5 # ASSIGN : n839 8 # ASSIGN : n840 2 # ASSIGN : n841 3 # ASSIGN : n842 6 # ASSIGN : n843 8 # ASSIGN : n844 4 # ASSIGN : n845 2 # ASSIGN : n846 3 # ASSIGN : n847 6 # ASSIGN : n848 9 # ASSIGN : n849 7 # ASSIGN : n850 4 # ASSIGN : n851 3 # ASSIGN : n852 5 # ASSIGN : n853 9 # ASSIGN : n854 7 # ASSIGN : n855 1 # ASSIGN : n856 3 # ASSIGN : n857 1 # ASSIGN : n858 9 # ASSIGN : n859 6 # ASSIGN : n860 3 # ASSIGN : n861 1 # ASSIGN : n862 9 # ASSIGN : n863 8 # ASSIGN : n864 4 # ASSIGN : n865 6 # ASSIGN : n866 3 # ASSIGN : n867 1 # ASSIGN : n868 7 # ASSIGN : n869 5 # ASSIGN : n870 8 # ASSIGN : n871 2 # ASSIGN : n872 3 # ASSIGN : n873 1 # ASSIGN : n874 7 # ASSIGN : n875 6 # ASSIGN : n876 4 # ASSIGN : n877 5 # ASSIGN : n878 3 # ASSIGN : n879 1 # ASSIGN : n880 9 # ASSIGN : n881 6 # ASSIGN : n882 5 # ASSIGN : n883 8 # ASSIGN : n884 3 # ASSIGN : n885 6 # ASSIGN : n886 8 # ASSIGN : n887 4 # ASSIGN : n888 2 # ASSIGN : n889 3 # ASSIGN : n890 1 # ASSIGN : n891 7 # ASSIGN : n892 6 # ASSIGN : n893 4 # ASSIGN : n894 5 # ASSIGN : n895 3 # ASSIGN : n896 9 # ASSIGN : n897 2 # ASSIGN : n898 7 # ASSIGN : n899 8 # ASSIGN : n900 3 # ASSIGN : n901 9 # ASSIGN : n902 5 # ASSIGN : n903 7 # ASSIGN : n904 1 # ASSIGN : n905 3 # ASSIGN : n906 9 # ASSIGN : n907 5 # ASSIGN : n908 7 # ASSIGN : n909 8 # ASSIGN : n910 3 # ASSIGN : n911 4 # ASSIGN : n912 2 # ASSIGN : n913 6 # ASSIGN : n914 7 # ASSIGN : n915 3 # ASSIGN : n916 6 # ASSIGN : n917 9 # ASSIGN : n918 7 # ASSIGN : n919 4 # ASSIGN : n920 3 # ASSIGN : n921 1 # ASSIGN : n922 9 # ASSIGN : n923 6 # ASSIGN : n924 5 # ASSIGN : n925 8 # ASSIGN : n926 3 # ASSIGN : n927 9 # ASSIGN : n928 2 # ASSIGN : n929 7 # ASSIGN : n930 8 # ASSIGN : n931 3 # ASSIGN : n932 5 # ASSIGN : n933 8 # ASSIGN : n934 2 # ASSIGN : n935 6 # ASSIGN : n936 3 # ASSIGN : n937 5 # ASSIGN : n938 9 # ASSIGN : n939 7 # ASSIGN : n940 1 # ASSIGN : n941 3 # ASSIGN : n942 9 # ASSIGN : n943 5 # ASSIGN : n944 7 # ASSIGN : n945 6 # ASSIGN : n946 3 # ASSIGN : n947 5 # ASSIGN : n948 8 # ASSIGN : n949 2 # ASSIGN : n950 6 # ASSIGN : n951 3 # ASSIGN : n952 2 # ASSIGN : n953 6 # ASSIGN : n954 4 # ASSIGN : n955 8 # ASSIGN : n956 3 # ASSIGN : n957 2 # ASSIGN : n958 1 # ASSIGN : n959 9 # ASSIGN : n960 5 # ASSIGN : n961 3 # ASSIGN : n962 7 # ASSIGN : n963 1 # ASSIGN : n964 4 # ASSIGN : n965 5 # ASSIGN : n966 3 # ASSIGN : n967 2 # ASSIGN : n968 6 # ASSIGN : n969 8 # ASSIGN : n970 9 # ASSIGN : n971 3 # ASSIGN : n972 9 # ASSIGN : n973 5 # ASSIGN : n974 7 # ASSIGN : n975 8 # ASSIGN : n976 3 # ASSIGN : n977 2 # ASSIGN : n978 6 # ASSIGN : n979 4 # ASSIGN : n980 8 # ASSIGN : n981 3 # ASSIGN : n982 4 # ASSIGN : n983 1 # ASSIGN : n984 6 # ASSIGN : n985 5 # ASSIGN : n986 3 # ASSIGN : n987 4 # ASSIGN : n988 2 # ASSIGN : n989 6 # ASSIGN : n990 7 # ASSIGN : n991 3 # ASSIGN : n992 2 # ASSIGN : n993 1 # ASSIGN : n994 9 # ASSIGN : n995 5 # ASSIGN : n996 3 # ASSIGN : n997 4 # ASSIGN : n998 8 # ASSIGN : n999 9 # ASSIGN : n1000 5 # ASSIGN : n1001 3 # ASSIGN : n1002 9 # ASSIGN : n1003 7 # ASSIGN : n1004 4 # ASSIGN : n1005 8 # ASSIGN : n1006 3 # ASSIGN : n1007 6 # ASSIGN : n1008 5 # ASSIGN : n1009 8 # ASSIGN : n1010 1 # ASSIGN : n1011 3 # ASSIGN : n1012 7 # ASSIGN : n1013 1 # ASSIGN : n1014 4 # ASSIGN : n1015 8 # ASSIGN : n1016 3 # ASSIGN : n1017 9 # ASSIGN : n1018 7 # ASSIGN : n1019 4 # ASSIGN : n1020 8 # ASSIGN : n1021 3 # ASSIGN : n1022 6 # ASSIGN : n1023 5 # ASSIGN : n1024 7 # ASSIGN : n1025 9 # ASSIGN : n1026 3 # ASSIGN : n1027 6 # ASSIGN : n1028 8 # ASSIGN : n1029 9 # ASSIGN : n1030 7 # ASSIGN : n1031 3 # ASSIGN : n1032 4 # ASSIGN : n1033 8 # ASSIGN : n1034 7 # ASSIGN : n1035 2 # ASSIGN : n1036 3 # ASSIGN : n1037 2 # ASSIGN : n1038 6 # ASSIGN : n1039 8 # ASSIGN : n1040 9 # ASSIGN : n1041 4 # ASSIGN : n1042 6 # ASSIGN : n1043 5 # ASSIGN : n1044 8 # ASSIGN : n1045 1 # ASSIGN : n1046 4 # ASSIGN : n1047 6 # ASSIGN : n1048 5 # ASSIGN : n1049 7 # ASSIGN : n1050 9 # ASSIGN : n1051 3 # ASSIGN : n1052 6 # ASSIGN : n1053 1 # ASSIGN : n1054 5 # ASSIGN : n1055 7 # ASSIGN : n1056 3 # ASSIGN : n1057 8 # ASSIGN : n1058 9 # ASSIGN : n1059 6 # ASSIGN : n1060 5 # ASSIGN : n1061 4 # ASSIGN : n1062 6 # ASSIGN : n1063 8 # ASSIGN : n1064 9 # ASSIGN : n1065 7 # ASSIGN : n1066 3 # ASSIGN : n1067 8 # ASSIGN : n1068 1 # ASSIGN : n1069 5 # ASSIGN : n1070 4 # ASSIGN : n1071 3 # ASSIGN : n1072 9 # ASSIGN : n1073 4 # ASSIGN : n1074 6 # ASSIGN : n1075 1 # ASSIGN : n1076 3 # ASSIGN : n1077 9 # ASSIGN : n1078 2 # ASSIGN : n1079 8 # ASSIGN : n1080 1 # ASSIGN : n1081 3 # ASSIGN : n1082 5 # ASSIGN : n1083 7 # ASSIGN : n1084 1 # ASSIGN : n1085 8 # ASSIGN : n1086 3 # ASSIGN : n1087 4 # ASSIGN : n1088 8 # ASSIGN : n1089 7 # ASSIGN : n1090 2 # ASSIGN : n1091 3 # ASSIGN : n1092 8 # ASSIGN : n1093 9 # ASSIGN : n1094 6 # ASSIGN : n1095 2 # ASSIGN : n1096 3 # ASSIGN : n1097 9 # ASSIGN : n1098 4 # ASSIGN : n1099 6 # ASSIGN : n1100 1 # ASSIGN : n1101 3 # ASSIGN : n1102 6 # ASSIGN : n1103 5 # ASSIGN : n1104 8 # ASSIGN : n1105 4 # ASSIGN : n1106 3 # ASSIGN : n1107 7 # ASSIGN : n1108 5 # ASSIGN : n1109 8 # ASSIGN : n1110 9 # ASSIGN : n1111 3 # ASSIGN : n1112 5 # ASSIGN : n1113 2 # ASSIGN : n1114 8 # ASSIGN : n1115 1 # ASSIGN : n1116 3 # ASSIGN : n1117 6 # ASSIGN : n1118 2 # ASSIGN : n1119 8 # ASSIGN : n1120 4 # ASSIGN : n1121 9 # ASSIGN : n1122 7 # ASSIGN : n1123 1 # ASSIGN : n1124 2 # ASSIGN : n1125 6 # ASSIGN : n1126 3 # ASSIGN : n1127 8 # ASSIGN : n1128 4 # ASSIGN : n1129 2 # ASSIGN : n1130 6 # ASSIGN : n1131 9 # ASSIGN : n1132 8 # ASSIGN : n1133 4 # ASSIGN : n1134 2 # ASSIGN : n1135 6 # ASSIGN : n1136 5 # ASSIGN : n1137 3 # ASSIGN : n1138 5 # ASSIGN : n1139 7 # ASSIGN : n1140 8 # ASSIGN : n1141 6 # ASSIGN : n1142 3 # ASSIGN : n1143 7 # ASSIGN : n1144 5 # ASSIGN : n1145 4 # ASSIGN : n1146 9 # ASSIGN : n1147 3 # ASSIGN : n1148 7 # ASSIGN : n1149 1 # ASSIGN : n1150 2 # ASSIGN : n1151 9 # ASSIGN : n1152 3 # ASSIGN : n1153 4 # ASSIGN : n1154 9 # ASSIGN : n1155 1 # ASSIGN : n1156 7 # ASSIGN : n1157 3 # ASSIGN : n1158 4 # ASSIGN : n1159 9 # ASSIGN : n1160 1 # ASSIGN : n1161 7 # ASSIGN : n1162 5 # ASSIGN : n1163 3 # ASSIGN : n1164 8 # ASSIGN : n1165 6 # ASSIGN : n1166 1 # ASSIGN : n1167 7 # ASSIGN : n1168 3 # ASSIGN : n1169 8 # ASSIGN : n1170 4 # ASSIGN : n1171 2 # ASSIGN : n1172 6 # ASSIGN : n1173 3 # ASSIGN : n1174 8 # ASSIGN : n1175 9 # ASSIGN : n1176 1 # ASSIGN : n1177 7 # ASSIGN : n1178 3 # ASSIGN : n1179 5 # ASSIGN : n1180 3 # ASSIGN : n1181 2 # ASSIGN : n1182 6 # ASSIGN : n1183 4 # ASSIGN : n1184 9 # ASSIGN : n1185 3 # ASSIGN : n1186 8 # ASSIGN : n1187 4 # ASSIGN : n1188 2 # ASSIGN : n1189 6 # ASSIGN : n1190 5 # ASSIGN : n1191 3 # ASSIGN : n1192 4 # ASSIGN : n1193 9 # ASSIGN : n1194 1 # ASSIGN : n1195 7 # ASSIGN : n1196 5 # ASSIGN : n1197 3 # ASSIGN : n1198 5 # ASSIGN : n1199 3 # ASSIGN : n1200 2 # ASSIGN : n1201 6 # ASSIGN : n1202 5 # ASSIGN : n1203 4 # ASSIGN : n1204 9 # ASSIGN : n1205 3 # ASSIGN : n1206 2 # ASSIGN : n1207 7 # ASSIGN : n1208 5 # ASSIGN : n1209 8 # ASSIGN : n1210 9 # ASSIGN : n1211 3 # ASSIGN : n1212 1 # ASSIGN : n1213 7 # ASSIGN : n1214 5 # ASSIGN : n1215 8 # ASSIGN : n1216 4 # ASSIGN : n1217 3 # ASSIGN : n1218 2 # ASSIGN : n1219 6 # ASSIGN : n1220 1 # ASSIGN : n1221 7 # ASSIGN : n1222 3 # ASSIGN : n1223 2 # ASSIGN : n1224 6 # ASSIGN : n1225 4 # ASSIGN : n1226 9 # ASSIGN : n1227 3 # ASSIGN : n1228 2 # ASSIGN : n1229 6 # ASSIGN : n1230 5 # ASSIGN : n1231 4 # ASSIGN : n1232 9 # ASSIGN : n1233 3 # ASSIGN : n1234 4 # ASSIGN : n1235 7 # ASSIGN : n1236 8 # ASSIGN : n1237 6 # ASSIGN : n1238 3 # ASSIGN : n1239 1 # ASSIGN : n1240 9 # ASSIGN : n1241 8 # ASSIGN : n1242 6 # ASSIGN : n1243 3 # ASSIGN : n1244 2 # ASSIGN : n1245 7 # ASSIGN : n1246 5 # ASSIGN : n1247 8 # ASSIGN : n1248 9 # ASSIGN : n1249 3 # ASSIGN : n1250 4 # ASSIGN : n1251 7 # ASSIGN : n1252 8 # ASSIGN : n1253 6 # ASSIGN : n1254 3 # ASSIGN : n1255 1 # ASSIGN : n1256 9 # ASSIGN : n1257 2 # ASSIGN : n1258 4 # ASSIGN : n1259 3 # ASSIGN : n1260 1 # ASSIGN : n1261 9 # ASSIGN : n1262 7 # ASSIGN : n1263 5 # ASSIGN : n1264 3 # ASSIGN : n1265 8 # ASSIGN : n1266 6 # ASSIGN : n1267 5 # ASSIGN : n1268 7 # ASSIGN : n1269 3 # ASSIGN : n1270 1 # ASSIGN : n1271 7 # ASSIGN : n1272 5 # ASSIGN : n1273 8 # ASSIGN : n1274 4 # ASSIGN : n1275 3 # ASSIGN : n1276 1 # ASSIGN : n1277 9 # ASSIGN : n1278 8 # ASSIGN : n1279 6 # ASSIGN : n1280 3 # ASSIGN : n1281 1 # ASSIGN : n1282 9 # ASSIGN : n1283 2 # ASSIGN : n1284 4 # ASSIGN : n1285 3 # ASSIGN : n1286 2 # ASSIGN : n1287 4 # ASSIGN : n1288 7 # ASSIGN : n1289 5 # ASSIGN : n1290 3 # ASSIGN : n1291 2 # ASSIGN : n1292 6 # ASSIGN : n1293 9 # ASSIGN : n1294 7 # ASSIGN : n1295 3 # ASSIGN : n1296 2 # ASSIGN : n1297 6 # ASSIGN : n1298 9 # ASSIGN : n1299 7 # ASSIGN : n1300 3 # ASSIGN : n1301 1 # ASSIGN : n1302 9 # ASSIGN : n1303 7 # ASSIGN : n1304 5 # ASSIGN : n1305 3 # ASSIGN : n1306 2 # ASSIGN : n1307 4 # ASSIGN : n1308 7 # ASSIGN : n1309 5 # ASSIGN : n1310 3 # ASSIGN : n1311 6 # ASSIGN : n1312 5 # ASSIGN : n1313 9 # ASSIGN : n1314 1 # ASSIGN : n1315 3 # ASSIGN : n1316 6 # ASSIGN : n1317 8 # ASSIGN : n1318 9 # ASSIGN : n1319 4 # ASSIGN : n1320 3 # ASSIGN : n1321 2 # ASSIGN : n1322 6 # ASSIGN : n1323 9 # ASSIGN : n1324 7 # ASSIGN : n1325 3 # ASSIGN : n1326 6 # ASSIGN : n1327 5 # ASSIGN : n1328 9 # ASSIGN : n1329 1 # ASSIGN : n1330 3 # ASSIGN : n1331 8 # ASSIGN : n1332 1 # ASSIGN : n1333 5 # ASSIGN : n1334 4 # ASSIGN : n1335 3 # ASSIGN : n1336 9 # ASSIGN : n1337 1 # ASSIGN : n1338 5 # ASSIGN : n1339 2 # ASSIGN : n1340 3 # ASSIGN : n1341 8 # ASSIGN : n1342 7 # ASSIGN : n1343 2 # ASSIGN : n1344 4 # ASSIGN : n1345 3 # ASSIGN : n1346 8 # ASSIGN : n1347 6 # ASSIGN : n1348 5 # ASSIGN : n1349 4 # ASSIGN : n1350 3 # ASSIGN : n1351 8 # ASSIGN : n1352 6 # ASSIGN : n1353 9 # ASSIGN : n1354 7 # ASSIGN : n1355 3 # ASSIGN : n1356 6 # ASSIGN : n1357 8 # ASSIGN : n1358 9 # ASSIGN : n1359 4 # ASSIGN : n1360 3 # ASSIGN : n1361 8 # ASSIGN : n1362 1 # ASSIGN : n1363 5 # ASSIGN : n1364 4 # ASSIGN : n1365 3 # ASSIGN : n1366 9 # ASSIGN : n1367 4 # ASSIGN : n1368 8 # ASSIGN : n1369 2 # ASSIGN : n1370 3 # ASSIGN : n1371 5 # ASSIGN : n1372 7 # ASSIGN : n1373 2 # ASSIGN : n1374 1 # ASSIGN : n1375 3 # ASSIGN : n1376 9 # ASSIGN : n1377 1 # ASSIGN : n1378 5 # ASSIGN : n1379 2 # ASSIGN : n1380 6 # ASSIGN : n1381 9 # ASSIGN : n1382 4 # ASSIGN : n1383 8 # ASSIGN : n1384 2 # ASSIGN : n1385 6 # ASSIGN : n1386 8 # ASSIGN : n1387 7 # ASSIGN : n1388 9 # ASSIGN : n1389 4 # ASSIGN : n1390 6 # ASSIGN : n1391 5 # ASSIGN : n1392 7 # ASSIGN : n1393 9 # ASSIGN : n1394 3 # ASSIGN : n1395 6 # ASSIGN : n1396 5 # ASSIGN : n1397 2 # ASSIGN : n1398 3 # ASSIGN : n1399 4 # ASSIGN : n1400 6 # ASSIGN : n1401 8 # ASSIGN : n1402 7 # ASSIGN : n1403 2 # ASSIGN : n1404 4 # ASSIGN : n1405 6 # ASSIGN : n1406 5 # ASSIGN : n1407 7 # ASSIGN : n1408 2 # ASSIGN : n1409 1 # ASSIGN : n1410 6 # ASSIGN : n1411 8 # ASSIGN : n1412 7 # ASSIGN : n1413 9 # ASSIGN : n1414 4 # ASSIGN : n1415 6 # ASSIGN : n1416 2 # ASSIGN : n1417 4 # ASSIGN : n1418 8 # ASSIGN : n1419 3 # ASSIGN : n1420 6 # ASSIGN : n1421 9 # ASSIGN : n1422 1 # ASSIGN : n1423 7 # ASSIGN : n1424 8 # ASSIGN : n1425 6 # ASSIGN : n1426 5 # ASSIGN : n1427 7 # ASSIGN : n1428 9 # ASSIGN : n1429 3 # ASSIGN : n1430 6 # ASSIGN : n1431 2 # ASSIGN : n1432 4 # ASSIGN : n1433 8 # ASSIGN : n1434 3 # ASSIGN : n1435 6 # ASSIGN : n1436 9 # ASSIGN : n1437 1 # ASSIGN : n1438 7 # ASSIGN : n1439 4 # ASSIGN : n1440 6 # ASSIGN : n1441 9 # ASSIGN : n1442 1 # ASSIGN : n1443 2 # ASSIGN : n1444 5 # ASSIGN : n1445 6 # ASSIGN : n1446 8 # ASSIGN : n1447 3 # ASSIGN : n1448 7 # ASSIGN : n1449 5 # ASSIGN : n1450 6 # ASSIGN : n1451 5 # ASSIGN : n1452 2 # ASSIGN : n1453 3 # ASSIGN : n1454 4 # ASSIGN : n1455 6 # ASSIGN : n1456 9 # ASSIGN : n1457 1 # ASSIGN : n1458 7 # ASSIGN : n1459 8 # ASSIGN : n1460 6 # ASSIGN : n1461 9 # ASSIGN : n1462 1 # ASSIGN : n1463 7 # ASSIGN : n1464 4 # ASSIGN : n1465 6 # ASSIGN : n1466 7 # ASSIGN : n1467 4 # ASSIGN : n1468 2 # ASSIGN : n1469 5 # ASSIGN : n1470 6 # ASSIGN : n1471 3 # ASSIGN : n1472 8 # ASSIGN : n1473 1 # ASSIGN : n1474 5 # ASSIGN : n1475 6 # ASSIGN : n1476 9 # ASSIGN : n1477 3 # ASSIGN : n1478 2 # ASSIGN : n1479 5 # ASSIGN : n1480 6 # ASSIGN : n1481 7 # ASSIGN : n1482 4 # ASSIGN : n1483 2 # ASSIGN : n1484 5 # ASSIGN : n1485 1 # ASSIGN : n1486 2 # ASSIGN : n1487 8 # ASSIGN : n1488 7 # ASSIGN : n1489 9 # ASSIGN : n1490 6 # ASSIGN : n1491 2 # ASSIGN : n1492 8 # ASSIGN : n1493 7 # ASSIGN : n1494 9 # ASSIGN : n1495 3 # ASSIGN : n1496 6 # ASSIGN : n1497 2 # ASSIGN : n1498 5 # ASSIGN : n1499 4 # ASSIGN : n1500 7 # ASSIGN : n1501 1 # ASSIGN : n1502 8 # ASSIGN : n1503 3 # ASSIGN : n1504 7 # ASSIGN : n1505 5 # ASSIGN : n1506 6 # ASSIGN : n1507 3 # ASSIGN : n1508 8 # ASSIGN : n1509 1 # ASSIGN : n1510 9 # ASSIGN : n1511 6 # ASSIGN : n1512 2 # ASSIGN : n1513 8 # ASSIGN : n1514 1 # ASSIGN : n1515 9 # ASSIGN : n1516 6 # ASSIGN : n1517 7 # ASSIGN : n1518 5 # ASSIGN : n1519 3 # ASSIGN : n1520 6 # ASSIGN : n1521 1 # ASSIGN : n1522 9 # ASSIGN : n1523 4 # ASSIGN : n1524 8 # ASSIGN : n1525 6 # ASSIGN : n1526 2 # ASSIGN : n1527 8 # ASSIGN : n1528 1 # ASSIGN : n1529 9 # ASSIGN : n1530 3 # ASSIGN : n1531 6 # ASSIGN : n1532 7 # ASSIGN : n1533 5 # ASSIGN : n1534 3 # ASSIGN : n1535 6 # ASSIGN : n1536 1 # ASSIGN : n1537 5 # ASSIGN : n1538 3 # ASSIGN : n1539 4 # ASSIGN : n1540 8 # ASSIGN : n1541 6 # ASSIGN : n1542 2 # ASSIGN : n1543 5 # ASSIGN : n1544 4 # ASSIGN : n1545 7 # ASSIGN : n1546 6 # ASSIGN : n1547 1 # ASSIGN : n1548 5 # ASSIGN : n1549 4 # ASSIGN : n1550 8 # ASSIGN : n1551 6 # ASSIGN : n1552 1 # ASSIGN : n1553 9 # ASSIGN : n1554 3 # ASSIGN : n1555 4 # ASSIGN : n1556 8 # ASSIGN : n1557 6 SHOW_RESULT 9 END : 9 (0 seconds) [Thu Jul 6 14:28:34 2006] SHOW_RESULT 9 CPU : 0.140000000000004 = 0.120000000000005 + 0.0199999999999998 + 0 + 0 # BOUND : color 9 9 MAIN END : (1184 seconds) [Thu Jul 6 14:28:34 2006] MAIN CPU : 1184.21 = 158.45 + 1.87 + 1022.1 + 1.79