Trace number 4528578

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb_picat 2025-07-11OPT43 107.048 107.372

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
MD5SUM76e67d27ce5ae72e711eb5f869f0e7e5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark3.73416
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27575
Number of constraints which are cardinality constraints (but not clauses)225
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c solving HOME/instance-4528578-1752245173.opb (Picat 3.9b11, 7/10/2025)
12.95/13.02	o 67
58.51/58.79	o 45
106.97/107.35	o 43
106.97/107.35	s OPTIMUM FOUND
106.97/107.35	v ~x4280 x9383 ~x5973 x2589 x7666 ~x899 ~x4281 x9384 ~x5974 x2590 
106.97/107.35	v ~x7667 ~x900 ~x4282 x9385 ~x5975 ~x2591 ~x7668 ~x901 ~x4283 x9386 
106.97/107.35	v ~x5976 ~x2592 ~x7669 ~x902 ~x4284 x9387 ~x5977 x2593 x7670 ~x903 
106.97/107.35	v ~x4285 x9388 ~x5978 x2594 x7671 ~x904 ~x4286 ~x9389 ~x5979 x2595 
106.97/107.35	v x7672 ~x905 ~x4287 ~x9390 ~x5980 ~x2596 x7673 ~x906 ~x4288 x9391 
106.97/107.35	v ~x5981 ~x2597 x7674 ~x907 ~x4289 x9392 ~x5982 ~x2598 x7675 ~x908 
106.97/107.35	v ~x4290 x9393 ~x5983 ~x2599 x7676 x909 ~x4291 ~x9394 ~x5984 ~x2600 
106.97/107.35	v x7677 x910 ~x4292 ~x9395 ~x5985 ~x2601 x7678 x911 ~x4293 x9396 
106.97/107.35	v ~x5986 ~x2602 x7679 ~x912 ~x4294 x9397 ~x5987 ~x2603 x7680 ~x913 
106.97/107.35	v ~x4295 ~x9398 ~x5988 ~x2604 x7681 ~x914 ~x4296 x9399 ~x5989 ~x2605 
106.97/107.35	v x7682 ~x915 ~x4297 x9400 ~x5990 ~x2606 x7683 ~x916 ~x4298 ~x9401 
106.97/107.35	v ~x5991 ~x2607 x7684 ~x917 ~x4299 ~x9402 ~x5992 ~x2608 x7685 ~x918 
106.97/107.35	v ~x4300 ~x9403 ~x5993 x2609 ~x7686 ~x919 ~x4301 ~x9404 ~x5994 x2610 
106.97/107.35	v x7687 ~x920 ~x4302 x9405 ~x5995 ~x2611 ~x7688 ~x921 ~x4303 x9406 
106.97/107.35	v ~x5996 ~x2612 ~x7689 ~x922 ~x4304 ~x9407 ~x5997 ~x2613 ~x7690 ~x923 
106.97/107.35	v ~x4305 x9408 ~x5998 ~x2614 ~x7691 x924 ~x4306 x9409 ~x5999 ~x2615 
106.97/107.35	v ~x7692 x925 ~x4307 ~x9410 ~x6000 ~x2616 ~x7693 x926 ~x4308 ~x9411 
106.97/107.35	v ~x6001 ~x2617 x7694 ~x927 ~x4309 ~x9412 ~x6002 ~x2618 ~x7695 ~x928 
106.97/107.35	v ~x4310 x9413 ~x6003 ~x2619 ~x7696 ~x929 ~x4311 x9414 ~x6004 ~x2620 
106.97/107.35	v ~x7697 ~x930 ~x4312 ~x9415 ~x6005 ~x2621 x7698 ~x931 ~x4313 x9416 
106.97/107.35	v ~x6006 ~x2622 ~x7699 ~x932 ~x4314 x9417 ~x6007 ~x2623 ~x7700 ~x933 
106.97/107.35	v ~x4315 x9418 ~x6008 ~x2624 x7701 ~x934 ~x4316 ~x9419 ~x6009 x2625 
106.97/107.35	v x7702 ~x935 ~x4317 ~x9420 ~x6010 x2626 x7703 ~x936 ~x4318 x9421 
106.97/107.35	v ~x6011 x2627 x7704 ~x937 ~x4319 x9422 ~x6012 ~x2628 x7705 ~x938 
106.97/107.35	v ~x4320 ~x9423 ~x6013 ~x2629 x7706 ~x939 ~x4321 ~x9424 ~x6014 ~x2630 
106.97/107.35	v x7707 ~x940 ~x4322 x9425 ~x6015 ~x2631 x7708 ~x941 ~x4323 ~x9426 
106.97/107.35	v ~x6016 ~x2632 x7709 ~x942 ~x4324 x9427 ~x6017 ~x2633 x7710 x943 
106.97/107.35	v ~x4325 x9428 ~x6018 ~x2634 x7711 x944 ~x4326 x9429 ~x6019 ~x2635 
106.97/107.35	v x7712 ~x945 ~x4327 ~x9430 ~x6020 ~x2636 x7713 ~x946 ~x4328 x9431 
106.97/107.35	v ~x6021 ~x2637 x7714 ~x947 ~x4329 ~x9432 ~x6022 x2638 x7715 ~x948 
106.97/107.35	v ~x4330 ~x9433 ~x6023 x2639 ~x7716 x949 ~x4331 x9434 ~x6024 x2640 
106.97/107.35	v ~x7717 x950 ~x4332 ~x9435 ~x6025 ~x2641 ~x7718 x951 ~x4333 ~x9436 
106.97/107.35	v ~x6026 ~x2642 ~x7719 ~x952 ~x4334 ~x9437 ~x6027 ~x2643 ~x7720 ~x953 
106.97/107.35	v ~x4335 x9438 ~x6028 ~x2644 ~x7721 ~x954 ~x4336 x9439 ~x6029 ~x2645 
106.97/107.35	v x7722 ~x955 ~x4337 ~x9440 ~x6030 x2646 ~x7723 x956 ~x4338 x9441 
106.97/107.35	v ~x6031 x2647 ~x7724 x957 ~x4339 ~x9442 ~x6032 x2648 ~x7725 x958 
106.97/107.35	v ~x4340 x9443 ~x6033 ~x2649 x7726 ~x959 ~x4341 ~x9444 ~x6034 ~x2650 
106.97/107.35	v x7727 ~x960 ~x4342 x9445 ~x6035 ~x2651 x7728 ~x961 ~x4343 x9446 
106.97/107.35	v ~x6036 ~x2652 x7729 ~x962 ~x4344 ~x9447 ~x6037 ~x2653 x7730 ~x963 
106.97/107.35	v ~x4345 ~x9448 ~x6038 ~x2654 x7731 ~x964 ~x4346 ~x9449 ~x6039 x2655 
106.97/107.35	v x7732 ~x965 ~x4347 ~x9450 ~x6040 x2656 x7733 ~x966 ~x4348 ~x9451 
106.97/107.35	v ~x6041 ~x2657 x7734 x967 ~x4349 ~x9452 ~x6042 ~x2658 x7735 x968 
106.97/107.35	v ~x4350 ~x9453 ~x6043 ~x2659 x7736 ~x969 ~x4351 ~x9454 ~x6044 ~x2660 
106.97/107.35	v x7737 ~x970 ~x4352 ~x9455 ~x6045 ~x2661 x7738 ~x971 ~x4353 ~x9456 
106.97/107.35	v ~x6046 ~x2662 x7739 x972 ~x4354 x9457 ~x6047 ~x2663 x7740 x973 
106.97/107.35	v ~x4355 ~x9458 ~x6048 ~x2664 x7741 x974 ~x4356 x9459 ~x6049 ~x2665 
106.97/107.35	v x7742 ~x975 ~x4357 x9460 ~x6050 ~x2666 x7743 ~x976 ~x4358 x9461 
106.97/107.35	v ~x6051 ~x2667 ~x7744 ~x977 ~x4359 ~x9462 ~x6052 ~x2668 ~x7745 ~x978 
106.97/107.35	v ~x4360 x9463 ~x6053 ~x2669 ~x7746 ~x979 ~x4361 x9464 ~x6054 ~x2670 
106.97/107.35	v ~x7747 x980 ~x4362 x9465 ~x6055 ~x2671 ~x7748 x981 ~x4363 ~x9466 
106.97/107.35	v ~x6056 ~x2672 ~x7749 x982 ~x4364 ~x9467 ~x6057 ~x2673 x7750 ~x983 
106.97/107.35	v ~x4365 ~x9468 ~x6058 ~x2674 ~x7751 ~x984 ~x4366 x9469 ~x6059 ~x2675 
106.97/107.35	v ~x7752 ~x985 ~x4367 ~x9470 ~x6060 x2676 ~x7753 ~x986 ~x4368 ~x9471 
106.97/107.35	v ~x6061 x2677 x7754 ~x987 ~x4369 ~x9472 ~x6062 x2678 ~x7755 ~x988 
106.97/107.35	v ~x4370 ~x9473 ~x6063 ~x2679 ~x7756 ~x989 ~x4371 ~x9474 ~x6064 ~x2680 
106.97/107.35	v x7757 ~x990 ~x4372 x9475 ~x6065 ~x2681 x7758 ~x991 ~x4373 ~x9476 
106.97/107.35	v ~x6066 x2682 x7759 ~x992 ~x4374 x9477 ~x6067 x2683 x7760 ~x993 
106.97/107.35	v ~x4375 ~x9478 ~x6068 ~x2684 x7761 x994 ~x4376 ~x9479 ~x6069 ~x2685 
106.97/107.35	v ~x7762 x995 ~x4377 ~x9480 ~x6070 ~x2686 x7763 ~x996 ~x4378 x9481 
106.97/107.35	v ~x6071 ~x2687 x7764 ~x997 ~x4379 x9482 ~x6072 ~x2688 x7765 ~x998 
106.97/107.35	v ~x4380 ~x9483 ~x6073 x2689 x7766 ~x999 ~x4381 ~x9484 ~x6074 x2690 
106.97/107.35	v x7767 ~x1000 ~x4382 ~x9485 ~x6075 x2691 x7768 ~x1001 ~x4383 ~x9486 
106.97/107.35	v ~x6076 ~x2692 x7769 ~x1002 ~x4384 x9487 ~x6077 ~x2693 x7770 ~x1003 
106.97/107.35	v ~x4385 x9488 ~x6078 ~x2694 x7771 ~x1004 ~x4386 x9489 ~x6079 ~x2695 
106.97/107.35	v ~x7772 ~x1005 ~x4387 x9490 ~x6080 ~x2696 ~x7773 ~x1006 ~x4388 x9491 
106.97/107.35	v ~x6081 ~x2697 ~x7774 x1007 ~x4389 ~x9492 ~x6082 ~x2698 ~x7775 x1008 
106.97/107.35	v ~x4390 ~x9493 ~x6083 ~x2699 ~x7776 ~x1009 ~x4391 ~x9494 ~x6084 x2700 
106.97/107.35	v ~x7777 ~x1010 ~x4392 ~x9495 ~x6085 x2701 x7778 ~x1011 ~x4393 ~x9496 
106.97/107.35	v ~x6086 x2702 ~x7779 ~x1012 ~x4394 ~x9497 ~x6087 ~x2703 ~x7780 x1013 
106.97/107.35	v ~x4395 ~x9498 ~x6088 ~x2704 ~x7781 x1014 ~x4396 x9499 ~x6089 ~x2705 
106.97/107.35	v ~x7782 x1015 ~x4397 ~x9500 ~x6090 ~x2706 x7783 ~x1016 ~x4398 x9501 
106.97/107.35	v ~x6091 ~x2707 ~x7784 ~x1017 ~x4399 ~x9502 ~x6092 x2708 x7785 ~x1018 
106.97/107.35	v ~x4400 x9503 ~x6093 x2709 x7786 ~x1019 ~x4401 ~x9504 ~x6094 ~x2710 
106.97/107.35	v x7787 ~x1020 ~x4402 ~x9505 ~x6095 ~x2711 ~x7788 ~x1021 ~x4403 ~x9506 
106.97/107.35	v ~x6096 ~x2712 x7789 ~x1022 ~x4404 ~x9507 ~x6097 x2713 x7790 ~x1023 
106.97/107.35	v ~x4405 ~x9508 ~x6098 x2714 ~x7791 ~x1024 ~x4406 ~x9509 ~x6099 ~x2715 
106.97/107.35	v x7792 ~x1025 ~x4407 ~x9510 ~x6100 ~x2716 x7793 ~x1026 ~x4408 x9511 
106.97/107.35	v ~x6101 ~x2717 ~x7794 ~x1027 ~x4409 x9512 ~x6102 ~x2718 x7795 x1028 
106.97/107.35	v ~x4410 x9513 ~x6103 ~x2719 x7796 x1029 ~x4411 ~x9514 ~x6104 ~x2720 
106.97/107.35	v x7797 ~x1030 ~x4412 ~x9515 ~x6105 x2721 ~x7798 ~x1031 ~x4413 ~x9516 
106.97/107.35	v ~x6106 x2722 x7799 ~x1032 ~x4414 ~x9517 ~x6107 ~x2723 ~x7800 ~x1033 
106.97/107.35	v ~x4415 x9518 ~x6108 ~x2724 ~x7801 ~x1034 ~x4416 ~x9519 ~x6109 ~x2725 
106.97/107.35	v ~x7802 ~x1035 ~x4417 ~x9520 ~x6110 ~x2726 ~x7803 x1036 ~x4418 ~x9521 
106.97/107.35	v ~x6111 ~x2727 ~x7804 x1037 ~x4419 ~x9522 ~x6112 ~x2728 ~x7805 x1038 
106.97/107.35	v ~x4420 ~x9523 ~x6113 ~x2729 x7806 ~x1039 ~x4421 x9524 ~x6114 ~x2730 
106.97/107.35	v ~x7807 ~x1040 ~x4422 x9525 ~x6115 ~x2731 ~x7808 ~x1041 ~x4423 ~x9526 
106.97/107.35	v ~x6116 ~x2732 ~x7809 ~x1042 ~x4424 ~x9527 ~x6117 ~x2733 x7810 ~x1043 
106.97/107.35	v ~x4425 x9528 ~x6118 ~x2734 ~x7811 ~x1044 ~x4426 x9529 ~x6119 ~x2735 
106.97/107.35	v x7812 ~x1045 ~x4427 ~x9530 ~x6120 ~x2736 x7813 x1046 ~x4428 ~x9531 
106.97/107.35	v ~x6121 ~x2737 x7814 x1047 ~x4429 x9532 ~x6122 ~x2738 x7815 x1048 
106.97/107.35	v ~x4430 x9533 ~x6123 ~x2739 x7816 ~x1049 ~x4431 x9534 ~x6124 ~x2740 
106.97/107.35	v x7817 x1050 ~x4432 ~x9535 ~x6125 ~x2741 x7818 x1051 ~x4433 ~x9536 
106.97/107.35	v ~x6126 ~x2742 x7819 ~x1052 ~x4434 x9537 ~x6127 ~x2743 x7820 ~x1053 
106.97/107.35	v ~x4435 x9538 ~x6128 ~x2744 x7821 ~x1054 ~x4436 ~x9539 ~x6129 ~x2745 
106.97/107.35	v x7822 ~x1055 ~x4437 ~x9540 ~x6130 ~x2746 x7823 ~x1056 ~x4438 x9541 
106.97/107.35	v ~x6131 ~x2747 x7824 ~x1057 ~x4439 x9542 ~x6132 ~x2748 x7825 ~x1058 
106.97/107.35	v ~x4440 ~x9543 ~x6133 ~x2749 x7826 ~x1059 ~x4441 ~x9544 ~x6134 ~x2750 
106.97/107.35	v x7827 x1060 ~x4442 x9545 ~x6135 ~x2751 x7841 x1061 ~x4443 ~x9546 
106.97/107.35	v ~x6136 ~x2752 x7842 ~x1062 ~x4444 x9547 ~x6137 ~x2753 x7843 ~x1063 
106.97/107.35	v ~x4445 ~x9548 ~x6138 ~x2754 x7844 ~x1064 ~x4446 x9549 ~x6139 ~x2755 
106.97/107.35	v x7845 ~x1065 ~x4447 x9550 ~x6140 ~x2756 x7846 ~x1066 ~x4448 ~x9551 
106.97/107.35	v ~x6141 ~x2757 x7847 ~x1067 ~x4449 x9552 ~x6142 ~x2758 x7848 ~x1068 
106.97/107.35	v ~x4450 x9553 ~x6143 ~x2759 x7849 ~x1069 ~x4451 ~x9554 ~x6144 ~x2760 
106.97/107.35	v x7850 ~x1070 ~x4452 ~x9555 ~x6145 ~x2761 x7851 ~x1071 ~x4453 x9556 
106.97/107.35	v ~x6146 ~x2762 x7852 ~x1072 ~x4454 ~x9557 ~x6147 ~x2763 x7853 ~x1073 
106.97/107.35	v ~x4455 ~x9558 ~x6148 ~x2764 x7854 ~x1074 ~x4456 ~x9559 ~x6149 ~x2765 
106.97/107.35	v x7855 ~x1075 ~x4457 ~x9560 ~x6150 ~x2766 ~x7869 ~x1076 ~x4458 x9561 
106.97/107.35	v ~x6151 x2767 ~x7870 x1077 ~x4459 ~x9562 ~x6152 x2768 x7871 x1078 
106.97/107.35	v ~x4460 ~x9563 ~x6153 ~x2769 x7872 ~x1079 ~x4461 x9564 ~x6154 ~x2770 
106.97/107.35	v x7873 x1080 ~x4462 x9565 ~x6155 ~x2771 x7874 x1081 ~x4463 x9566 
106.97/107.35	v ~x6156 ~x2772 ~x7875 x1082 ~x4464 ~x9567 ~x6157 ~x2773 ~x7876 ~x1083 
106.97/107.35	v ~x4465 ~x9568 ~x6158 ~x2774 x7877 ~x1084 ~x4466 x9569 ~x6159 ~x2775 
106.97/107.35	v ~x7878 ~x1085 ~x4467 x9570 ~x6160 ~x2776 x7879 ~x1086 ~x4468 x9571 
106.97/107.35	v ~x6161 x2777 ~x7880 ~x1087 ~x4469 ~x9572 ~x6162 x2778 x7881 ~x1088 
106.97/107.35	v ~x4470 x9573 ~x6163 x2779 ~x7882 x1089 ~x4471 ~x9574 ~x6164 ~x2780 
106.97/107.35	v ~x7883 x1090 ~x4472 ~x9575 ~x6165 ~x2781 ~x7884 x1091 ~x4473 ~x9576 
106.97/107.35	v ~x6166 ~x2782 ~x7885 ~x1092 ~x4474 ~x9577 ~x6167 ~x2783 x7886 ~x1093 
106.97/107.35	v ~x4475 ~x9578 ~x6168 ~x2784 x7887 ~x1094 ~x4476 ~x9579 ~x6169 ~x2785 
106.97/107.35	v ~x7888 ~x1095 ~x4477 ~x9580 ~x6170 ~x2786 x7889 ~x1096 ~x4478 x9581 
106.97/107.35	v ~x6171 ~x2787 x7890 ~x1097 ~x4479 ~x9582 ~x6172 ~x2788 x7891 ~x1098 
106.97/107.35	v ~x4480 ~x9583 ~x6173 ~x2789 ~x7892 ~x1099 ~x4481 ~x9584 ~x6174 ~x2790 
106.97/107.35	v ~x7893 x1100 ~x4482 x9585 ~x6175 ~x2791 ~x7894 x1101 ~x4483 x9586 
106.97/107.35	v ~x6176 ~x2792 ~x7895 ~x1102 ~x4484 x9587 ~x6177 ~x2793 ~x7896 ~x1103 
106.97/107.35	v ~x4485 ~x9588 ~x6178 ~x2794 x7897 ~x1104 ~x4486 x9589 ~x6179 ~x2795 
106.97/107.35	v ~x7898 ~x1105 ~x4487 ~x9590 ~x6180 ~x2796 ~x7899 ~x1106 ~x4488 ~x9591 
106.97/107.35	v ~x6181 ~x2797 ~x7900 ~x1107 ~x4489 ~x9592 ~x6182 ~x2798 ~x7901 ~x1108 
106.97/107.35	v ~x4490 ~x9593 ~x6183 ~x2799 ~x7902 ~x1109 ~x4491 x9594 ~x6184 ~x2800 
106.97/107.35	v x7903 ~x1110 ~x4492 x9595 ~x6185 ~x2801 ~x7904 x1111 ~x4493 x9596 
106.97/107.35	v ~x6186 ~x2802 x7905 x1112 ~x4494 x9597 ~x6187 ~x2803 ~x7906 ~x1113 
106.97/107.35	v ~x4495 ~x9598 ~x6188 ~x2804 x7907 ~x1114 ~x4496 ~x9599 ~x6189 ~x2805 
106.97/107.35	v x7908 ~x1115 ~x4497 x9600 ~x6190 ~x2806 ~x7909 ~x1116 ~x4498 x9601 
106.97/107.35	v ~x6191 ~x2807 ~x7910 ~x1117 ~x4499 x9602 ~x6192 ~x2808 x7911 ~x1118 
106.97/107.35	v ~x4500 x9603 ~x6193 ~x2809 ~x7912 x1119 ~x4501 x9604 ~x6194 ~x2810 
106.97/107.35	v x7913 x1120 ~x4502 ~x9605 ~x6195 ~x2811 x7914 ~x1121 ~x4503 ~x9606 
106.97/107.35	v ~x6196 ~x2812 x7915 x1122 ~x4504 ~x9607 ~x6197 ~x2813 x7916 x1123 
106.97/107.35	v ~x4505 ~x9608 ~x6198 ~x2814 ~x7917 ~x1124 ~x4506 ~x9609 ~x6199 ~x2815 
106.97/107.35	v ~x7918 ~x1125 ~x4507 ~x9610 ~x6200 ~x2816 x7919 ~x1126 ~x4508 ~x9611 
106.97/107.35	v ~x6201 ~x2817 x7920 ~x1127 ~x4509 ~x9612 ~x6202 ~x2818 x7921 ~x1128 
106.97/107.35	v ~x4510 ~x9613 ~x6203 ~x2819 x7922 ~x1129 ~x4511 ~x9614 ~x6204 ~x2820 
106.97/107.35	v x7923 ~x1130 ~x4512 ~x9615 ~x6205 ~x2821 ~x7924 ~x1131 ~x4513 ~x9616 
106.97/107.35	v ~x6206 ~x2822 ~x7925 ~x1132 ~x4514 ~x9617 x6207 ~x2823 ~x7926 ~x1133 
106.97/107.35	v ~x4515 ~x9618 x6208 ~x2824 ~x7927 ~x1134 ~x4516 ~x9619 ~x6209 ~x2825 
106.97/107.35	v ~x7928 ~x1135 ~x4517 ~x9620 ~x6210 ~x2826 ~x7929 ~x1136 ~x4518 ~x9621 
106.97/107.35	v ~x6211 ~x2827 ~x7930 ~x1137 ~x4519 ~x9622 x6212 x2828 ~x7931 x1138 
106.97/107.35	v ~x4520 ~x9623 x6213 x2829 x7932 x1139 ~x4521 ~x9624 ~x6214 ~x2830 
106.97/107.35	v x7933 ~x1140 ~x4522 ~x9625 ~x6215 ~x2831 x7934 ~x1141 ~x4523 ~x9626 
106.97/107.35	v ~x6216 ~x2832 x7935 ~x1142 ~x4524 ~x9627 x6217 x2833 x7936 ~x1143 
106.97/107.35	v ~x4525 ~x9628 x6218 x2834 ~x7937 ~x1144 ~x4526 ~x9629 x6219 ~x2835 
106.97/107.35	v x7938 ~x1145 ~x4527 ~x9630 ~x6220 ~x2836 x7939 ~x1146 ~x4528 ~x9631 
106.97/107.35	v ~x6221 ~x2837 x7940 ~x1147 ~x4529 ~x9632 ~x6222 ~x2838 ~x7941 x1148 
106.97/107.35	v ~x4530 ~x6223 ~x2839 ~x7942 x1149 ~x4531 ~x6224 ~x2840 ~x7943 ~x1150 
106.97/107.35	v ~x4532 ~x6225 ~x2841 ~x7944 ~x1151 ~x4533 ~x6226 ~x2842 x7945 ~x1152 
106.97/107.35	v ~x4534 ~x6227 ~x2843 x7946 x1153 ~x4535 ~x6228 ~x2844 ~x7947 x1154 
106.97/107.35	v ~x4536 ~x6229 ~x2845 ~x7948 x1155 ~x4537 ~x6230 ~x2846 ~x7949 ~x1156 
106.97/107.35	v ~x4538 ~x6231 ~x2847 ~x7950 ~x1157 ~x4539 ~x6232 ~x2848 ~x7951 ~x1158 
106.97/107.35	v ~x4540 ~x6233 ~x2849 ~x7952 ~x1159 ~x4541 ~x6234 ~x2850 x7953 ~x1160 
106.97/107.35	v ~x4542 ~x6235 ~x2851 ~x7954 ~x1161 ~x4543 ~x6236 ~x2852 x7955 ~x1162 
106.97/107.35	v ~x4544 ~x6237 ~x2853 ~x7956 ~x1163 ~x4545 ~x6238 ~x2854 ~x7957 x1164 
106.97/107.35	v ~x4546 ~x6239 ~x2855 ~x7958 x1165 ~x4547 ~x6240 ~x2856 x7959 x1166 
106.97/107.35	v ~x4548 x6241 ~x2857 ~x7960 ~x1167 ~x4549 x6242 ~x2858 ~x7961 ~x1168 
106.97/107.35	v ~x4550 ~x6243 ~x2859 ~x7962 ~x1169 ~x4551 ~x6244 ~x2860 x7963 ~x1170 
106.97/107.35	v ~x4552 ~x6245 ~x2861 x7964 ~x1171 ~x4553 ~x6246 ~x2862 ~x7965 ~x1172 
106.97/107.35	v ~x4554 ~x6247 ~x2863 ~x7966 ~x1173 ~x4555 ~x6248 ~x2864 x7967 x1174 
106.97/107.35	v ~x4556 ~x6249 ~x2865 x7968 x1175 ~x4557 ~x6250 ~x2866 ~x7969 ~x1176 
106.97/107.35	v ~x4558 ~x6251 ~x2867 x7970 ~x1177 ~x4559 ~x6252 ~x2868 ~x7971 ~x1178 
106.97/107.35	v ~x4560 ~x6253 ~x2869 x7972 ~x1179 ~x4561 x6254 ~x2870 ~x7973 x1180 
106.97/107.35	v ~x4562 x6255 ~x2871 ~x7974 x1181 ~x4563 ~x6256 ~x2872 x7975 ~x1182 
106.97/107.35	v ~x4564 ~x6257 ~x2873 x7976 ~x1183 ~x4565 ~x6258 ~x2874 ~x7977 ~x1184 
106.97/107.35	v ~x4566 ~x6259 ~x2875 ~x7978 x1185 ~x4567 ~x6260 x2876 x7979 x1186 
106.97/107.35	v ~x4568 ~x6261 x2877 ~x7980 x1187 ~x4569 ~x6262 x2878 x7981 ~x1188 
106.97/107.35	v ~x4570 ~x6263 ~x2879 ~x7982 ~x1189 ~x4571 ~x6264 ~x2880 ~x7983 ~x1190 
106.97/107.35	v ~x4572 ~x6265 x2881 ~x7984 ~x1191 ~x4573 ~x6266 x2882 ~x7985 ~x1192 
106.97/107.35	v ~x4574 ~x6267 ~x2883 ~x7986 ~x1193 ~x4575 ~x6268 ~x2884 ~x7987 ~x1194 
106.97/107.35	v ~x4576 ~x6269 ~x2885 ~x7988 ~x1195 ~x4577 ~x6270 ~x2886 ~x7989 ~x1196 
106.97/107.35	v ~x4578 ~x6271 ~x2887 ~x7990 ~x1197 ~x4579 ~x6272 ~x2888 ~x7991 ~x1198 
106.97/107.35	v ~x4580 ~x6273 x2889 ~x7992 ~x1199 ~x4581 ~x6274 x2890 x7993 ~x1200 
106.97/107.35	v ~x4582 ~x6275 x2891 ~x7994 x1201 ~x4583 ~x6276 ~x2892 ~x7995 x1202 
106.97/107.35	v ~x4584 ~x6277 ~x2893 ~x7996 x1203 ~x4585 ~x6278 ~x2894 ~x7997 ~x1204 
106.97/107.35	v ~x4586 ~x6279 ~x2895 ~x7998 ~x1205 ~x4587 ~x6280 ~x2896 ~x7999 ~x1206 
106.97/107.35	v ~x4588 ~x6281 ~x2897 x8000 ~x1207 ~x4589 ~x6282 x2898 ~x8001 ~x1208 
106.97/107.35	v ~x4590 ~x6283 x2899 ~x8002 x1209 ~x4591 ~x6284 ~x2900 ~x8003 x1210 
106.97/107.35	v ~x4592 ~x6285 ~x2901 x8004 x1211 ~x4593 ~x6286 ~x2902 x8005 ~x1212 
106.97/107.35	v ~x4594 ~x6287 ~x2903 ~x8006 ~x1213 ~x4595 ~x6288 ~x2904 ~x8007 ~x1214 
106.97/107.35	v ~x4596 ~x6289 x2905 ~x8008 ~x1215 ~x4597 ~x6290 x2906 x8009 ~x1216 
106.97/107.35	v ~x4598 ~x6291 x2907 ~x8010 x1217 ~x4599 ~x6292 ~x2908 x8011 x1218 
106.97/107.35	v ~x4600 ~x6293 ~x2909 ~x8012 x1219 ~x4601 ~x6294 ~x2910 x8013 ~x1220 
106.97/107.35	v ~x4602 ~x6295 ~x2911 ~x8014 ~x1221 ~x4603 ~x6296 ~x2912 ~x8015 ~x1222 
106.97/107.35	v ~x4604 ~x6297 x2913 ~x8016 ~x1223 ~x4605 ~x6298 x2914 x8017 ~x1224 
106.97/107.35	v ~x4606 ~x6299 x2915 ~x8018 ~x1225 ~x4607 ~x6300 ~x2916 x8019 x1226 
106.97/107.35	v ~x4608 ~x6301 ~x2917 x8020 x1227 ~x4609 ~x6302 ~x2918 x8021 ~x1228 
106.97/107.35	v ~x4610 ~x6303 ~x2919 x8022 ~x1229 ~x4611 ~x6304 ~x2920 ~x8023 ~x1230 
106.97/107.35	v ~x4612 ~x6305 ~x2921 x8024 ~x1231 ~x4613 ~x6306 ~x2922 x8025 ~x1232 
106.97/107.35	v ~x4614 ~x6307 ~x2923 ~x8026 ~x1233 ~x4615 ~x6308 ~x2924 ~x8027 ~x1234 
106.97/107.35	v ~x4616 ~x6309 x2925 ~x8028 ~x1235 ~x4617 ~x6310 x2926 ~x8029 ~x1236 
106.97/107.35	v ~x4618 x6311 x2927 ~x8030 x1237 ~x4619 x6312 ~x2928 x8031 x1238 
106.97/107.35	v ~x4620 ~x6313 ~x2929 ~x8032 x1239 ~x4621 ~x6314 ~x2930 x8033 ~x1240 
106.97/107.35	v ~x4622 ~x6315 ~x2931 ~x8034 ~x4623 ~x6316 ~x2932 ~x8035 x1241 ~x4624 
106.97/107.35	v ~x6317 ~x2933 x8036 x1242 ~x4625 ~x6318 ~x2934 x8037 x1243 ~x4626 
106.97/107.35	v ~x6319 ~x2935 ~x8038 ~x1244 ~x4627 ~x6320 ~x2936 x8039 ~x1245 ~x4628 
106.97/107.35	v ~x6321 ~x2937 ~x8040 ~x1246 ~x4629 ~x6322 ~x2938 ~x8041 ~x1247 ~x4630 
106.97/107.35	v ~x6323 ~x2939 x8042 ~x1248 ~x4631 ~x6324 x2940 x8043 x1249 ~x4632 
106.97/107.35	v ~x6325 x2941 x8044 x1250 ~x4633 ~x6326 x2942 x8045 x1251 ~x4634 
106.97/107.35	v ~x6327 ~x2943 ~x8046 ~x1252 ~x4635 ~x6328 ~x2944 ~x8047 ~x1253 ~x4636 
106.97/107.35	v ~x6329 ~x2945 x8048 ~x1254 ~x4637 ~x6330 ~x2946 x8049 ~x1255 ~x4638 
106.97/107.35	v ~x6331 ~x2947 ~x8050 ~x1256 ~x4639 x6332 x2948 ~x8051 ~x1257 ~x4640 
106.97/107.35	v x6333 x2949 ~x8052 ~x1258 ~x4641 ~x6334 ~x2950 ~x8053 ~x1259 ~x4642 
106.97/107.35	v ~x6335 ~x2951 x8054 x1260 ~x4643 ~x6336 ~x2952 x8055 x1261 ~x4644 
106.97/107.35	v ~x6337 ~x2953 ~x8056 ~x1262 ~x4645 ~x6338 ~x2954 ~x8057 ~x1263 ~x4646 
106.97/107.35	v ~x6339 ~x2955 ~x8058 ~x1264 ~x4647 ~x6340 ~x2956 x8059 ~x1265 ~x4648 
106.97/107.35	v ~x6341 ~x2957 ~x8060 ~x1266 ~x4649 ~x6342 ~x2958 ~x8061 ~x1267 ~x4650 
106.97/107.35	v ~x6343 x2959 ~x8062 ~x1268 ~x4651 ~x6344 x2960 ~x8063 x1269 ~x4652 
106.97/107.35	v ~x6345 ~x2961 x8064 x1270 ~x4653 ~x6346 ~x2962 x8065 ~x1271 ~x4654 
106.97/107.35	v ~x6347 ~x2963 x8066 x1272 ~x4655 ~x6348 ~x2964 ~x8067 ~x1273 ~x4656 
106.97/107.35	v ~x6349 x2965 ~x8068 ~x1274 ~x4657 ~x6350 x2966 x8069 ~x1275 ~x4658 
106.97/107.35	v ~x6351 ~x2967 x8070 x1276 ~x4659 ~x6352 ~x2968 ~x8071 x1277 ~x4660 
106.97/107.35	v ~x6353 ~x2969 ~x8072 x1278 ~x4661 x6354 ~x2970 ~x8073 ~x1279 ~x4662 
106.97/107.35	v x6355 ~x2971 ~x8074 ~x1280 ~x4663 ~x6356 x2972 x8075 ~x1281 ~x4664 
106.97/107.35	v ~x6357 x2973 x8076 ~x1282 ~x4665 ~x6358 ~x2974 x8077 ~x1283 ~x4666 
106.97/107.35	v ~x6359 ~x2975 ~x8078 x1284 ~x4667 ~x6360 ~x2976 x8079 x1285 ~x4668 
106.97/107.35	v ~x6361 ~x2977 ~x8080 ~x1286 ~x4669 ~x6362 ~x2978 x8081 ~x1287 ~x4670 
106.97/107.35	v ~x6363 ~x2979 x8082 ~x1288 ~x4671 x6364 ~x2980 ~x8083 ~x1289 ~x4672 
106.97/107.35	v x6365 ~x2981 ~x8084 ~x1290 ~x4673 ~x6366 ~x2982 x8085 ~x1291 ~x4674 
106.97/107.35	v ~x6367 ~x2983 x8086 x1292 ~x4675 ~x6368 ~x2984 x8087 x1293 ~x4676 
106.97/107.35	v ~x6369 ~x2985 x8088 x1294 ~x4677 ~x6370 ~x2986 ~x8089 ~x1295 ~x4678 
106.97/107.35	v ~x6371 ~x2987 ~x8090 ~x1296 ~x4679 ~x6372 ~x2988 ~x8091 ~x1297 ~x4680 
106.97/107.35	v ~x6373 ~x2989 x8092 ~x1298 ~x4681 ~x6374 ~x2990 ~x8093 ~x1299 ~x4682 
106.97/107.35	v ~x6375 ~x2991 x8094 ~x1300 ~x4683 ~x6376 ~x2992 x8095 ~x1301 ~x4684 
106.97/107.35	v ~x6377 ~x2993 x8096 ~x1302 ~x4685 ~x6378 ~x2994 ~x8097 ~x1303 ~x4686 
106.97/107.35	v ~x6379 ~x2995 ~x8098 ~x1304 ~x4687 ~x6380 ~x2996 ~x8099 ~x1305 ~x4688 
106.97/107.35	v ~x6381 ~x2997 ~x8100 ~x1306 ~x4689 ~x6382 ~x2998 ~x8101 ~x1307 ~x4690 
106.97/107.35	v ~x6383 ~x2999 ~x8102 x1308 ~x4691 ~x6384 ~x3000 ~x8103 x1309 ~x4692 
106.97/107.35	v ~x6385 ~x3001 ~x8104 x1310 ~x4693 ~x6386 ~x3002 x8105 ~x1311 ~x4694 
106.97/107.35	v ~x6387 ~x3003 x8106 ~x1312 ~x4695 ~x6388 ~x3004 ~x8107 x1313 ~x4696 
106.97/107.35	v ~x6389 ~x3005 ~x8108 x1314 ~x4697 ~x6390 ~x3006 x8109 ~x1315 ~x4698 
106.97/107.35	v ~x6391 ~x3007 ~x8110 ~x1316 ~x4699 ~x6392 ~x3008 ~x8111 ~x1317 ~x4700 
106.97/107.35	v ~x6393 ~x3009 x8112 ~x1318 ~x4701 ~x6394 ~x3010 x8113 ~x1319 ~x4702 
106.97/107.35	v ~x6395 ~x3011 ~x8114 ~x1320 ~x4703 ~x6396 ~x3012 ~x8115 ~x1321 ~x4704 
106.97/107.35	v ~x6397 ~x3013 ~x8116 ~x1322 ~x4705 ~x6398 ~x3014 ~x8117 ~x1323 ~x4706 
106.97/107.35	v ~x6399 ~x3015 ~x8118 ~x1324 ~x4707 ~x6400 ~x3016 ~x8119 ~x1325 ~x4708 
106.97/107.35	v ~x6401 ~x3017 ~x8120 ~x1326 ~x4709 ~x6402 ~x3018 x8121 x1327 ~x4710 
106.97/107.35	v ~x6403 ~x3019 ~x8122 x1328 ~x4711 ~x6404 ~x3020 x8123 ~x1329 ~x4712 
106.97/107.35	v x6405 ~x3021 ~x8124 ~x1330 ~x4713 x6406 ~x3022 ~x8125 ~x1331 ~x4714 
106.97/107.35	v ~x6407 x3023 x8126 ~x1332 ~x4715 x6408 x3024 x8127 ~x1333 ~x4716 
106.97/107.35	v ~x6409 ~x3025 x8128 x1334 ~x4717 ~x6410 ~x3026 x8129 x1335 ~x4718 
106.97/107.35	v ~x6411 ~x3027 x8130 x1336 ~x4719 ~x6412 ~x3028 x8131 ~x1337 ~x4720 
106.97/107.35	v ~x6413 ~x3029 x8132 x1338 ~x4721 x6414 ~x3030 x8133 x1339 ~x4722 
106.97/107.35	v x6415 ~x3031 ~x8134 ~x1340 ~x4723 ~x6416 ~x3032 x8135 ~x1341 ~x4724 
106.97/107.35	v x6417 ~x3033 ~x8136 ~x1342 ~x4725 x6418 ~x3034 ~x8137 ~x1343 ~x4726 
106.97/107.35	v x6419 ~x3035 ~x8138 ~x1344 ~x4727 ~x6420 ~x3036 x8139 x1345 ~x4728 
106.97/107.35	v ~x6421 ~x3037 ~x8140 x1346 ~x4729 ~x6422 ~x3038 ~x8141 ~x1347 ~x4730 
106.97/107.35	v ~x6423 ~x3039 ~x8142 ~x1348 ~x4731 ~x6424 ~x3040 ~x8143 ~x1349 ~x4732 
106.97/107.35	v x6425 ~x3041 ~x8144 ~x1350 ~x4733 x6426 ~x3042 x8145 ~x1351 ~x4734 
106.97/107.35	v x6427 ~x3043 x8146 ~x1352 ~x4735 ~x6428 ~x3044 x8147 ~x1353 ~x4736 
106.97/107.35	v ~x6429 ~x3045 ~x8148 ~x1354 ~x4737 ~x6430 ~x3046 ~x8149 ~x1355 ~x4738 
106.97/107.35	v ~x6431 ~x3047 ~x8150 ~x1356 ~x4739 ~x6432 ~x3048 ~x8151 ~x1357 ~x4740 
106.97/107.35	v ~x6433 ~x3049 x8152 ~x1358 ~x4741 ~x6434 ~x3050 ~x8153 ~x1359 ~x4742 
106.97/107.35	v ~x6435 ~x3051 ~x8154 ~x1360 ~x4743 ~x6436 ~x3052 ~x8155 x1361 ~x4744 
106.97/107.35	v ~x6437 ~x3053 x8156 x1362 ~x4745 ~x6438 ~x3054 ~x8157 x1363 ~x4746 
106.97/107.35	v ~x6439 ~x3055 x8158 ~x1364 ~x4747 ~x6440 ~x3056 ~x8159 ~x1365 ~x4748 
106.97/107.35	v ~x6441 ~x3057 ~x8160 ~x1366 ~x4749 ~x6442 ~x3058 x8161 ~x1367 ~x4750 
106.97/107.35	v ~x6443 ~x3059 x8162 ~x1368 ~x4751 x6444 ~x3060 ~x8163 ~x1369 ~x4752 
106.97/107.35	v x6445 ~x3061 x8164 ~x1370 ~x4753 ~x6446 ~x3062 ~x8165 ~x1371 ~x4754 
106.97/107.35	v ~x6447 ~x3063 ~x8166 ~x1372 ~x4755 ~x6448 ~x3064 ~x8167 ~x1373 ~x4756 
106.97/107.35	v x6449 ~x3065 ~x8168 ~x1374 ~x4757 x6450 ~x3066 x8169 x1375 ~x4758 
106.97/107.35	v ~x6451 ~x3067 ~x8170 x1376 ~x4759 ~x6452 x3068 x8171 ~x1377 ~x4760 
106.97/107.35	v ~x6453 x3069 ~x8172 ~x1378 ~x4761 ~x6454 ~x3070 x8173 ~x1379 ~x4762 
106.97/107.35	v ~x6455 ~x3071 ~x8174 x1380 ~x4763 ~x6456 ~x3072 x8175 x1381 ~x4764 
106.97/107.35	v x6457 ~x3073 x8176 x1382 ~x4765 x6458 ~x3074 ~x8177 ~x1383 ~x4766 
106.97/107.35	v ~x6459 ~x3075 ~x8178 ~x1384 ~x4767 ~x6460 ~x3076 x8179 x1385 ~x4768 
106.97/107.35	v ~x6461 ~x3077 x8180 x1386 ~x4769 ~x6462 ~x3078 ~x8181 ~x1387 ~x4770 
106.97/107.35	v ~x6463 x3079 ~x8182 ~x1388 ~x4771 ~x6464 x3080 ~x8183 ~x1389 ~x4772 
106.97/107.35	v ~x6465 ~x3081 ~x8184 ~x1390 ~x4773 ~x6466 ~x3082 x8185 ~x1391 ~x4774 
106.97/107.35	v ~x6467 ~x3083 x8186 ~x1392 ~x4775 ~x6468 ~x3084 ~x8187 x1393 ~x4776 
106.97/107.35	v ~x6469 ~x3085 ~x8188 x1394 ~x4777 ~x6470 x3086 ~x8189 x1395 ~x4778 
106.97/107.35	v ~x6471 x3087 x8190 ~x1396 ~x4779 ~x6472 ~x3088 ~x8191 ~x1397 ~x4780 
106.97/107.35	v x6473 ~x3089 ~x8192 ~x1398 ~x4781 x6474 ~x3090 x8193 ~x1399 ~x4782 
106.97/107.35	v ~x6475 ~x3091 ~x8194 ~x1400 ~x4783 ~x6476 x3092 x8195 x1401 ~x4784 
106.97/107.35	v ~x6477 x3093 ~x8196 x1402 ~x4785 ~x6478 ~x3094 x8197 ~x1403 ~x4786 
106.97/107.35	v ~x6479 ~x3095 ~x8198 ~x1404 ~x4787 ~x6480 ~x3096 ~x8199 ~x1405 ~x4788 
106.97/107.35	v ~x6481 ~x3097 ~x8200 ~x1406 ~x4789 ~x6482 ~x3098 ~x8201 ~x1407 ~x4790 
106.97/107.35	v ~x6483 ~x3099 ~x8202 ~x1408 ~x4791 ~x6484 ~x3100 ~x8203 ~x1409 ~x4792 
106.97/107.35	v x6485 ~x3101 x8204 ~x1410 ~x4793 x6486 ~x3102 x8205 ~x1411 ~x4794 
106.97/107.35	v ~x6487 ~x3103 ~x8206 ~x1412 ~x4795 ~x6488 ~x3104 ~x8207 ~x1413 ~x4796 
106.97/107.35	v ~x6489 x3105 x8208 ~x1414 ~x4797 ~x6490 x3106 x8209 ~x1415 ~x4798 
106.97/107.35	v ~x6491 ~x3107 x8210 ~x1416 ~x4799 ~x6492 ~x3108 x8211 ~x1417 ~x4800 
106.97/107.35	v ~x6493 ~x3109 ~x8212 ~x1418 ~x4801 ~x6494 ~x3110 x8213 ~x1419 ~x4802 
106.97/107.35	v ~x6495 ~x3111 ~x8214 x1420 ~x4803 ~x6496 ~x3112 x8215 x1421 ~x4804 
106.97/107.35	v ~x6497 ~x3113 x8216 x1422 ~x4805 ~x6498 x3114 ~x8217 ~x1423 ~x4806 
106.97/107.35	v ~x6499 x3115 x8218 ~x1424 ~x4807 ~x6500 ~x3116 ~x8219 ~x1425 ~x4808 
106.97/107.35	v ~x6501 ~x3117 ~x8220 ~x1426 ~x4809 ~x6502 ~x3118 ~x8221 ~x1427 ~x4810 
106.97/107.35	v ~x6503 ~x3119 ~x8222 ~x1428 ~x4811 ~x6504 ~x3120 x8223 x1429 ~x4812 
106.97/107.35	v ~x6505 ~x3121 ~x8224 x1430 ~x4813 ~x6506 ~x3122 ~x8225 x1431 ~x4814 
106.97/107.35	v ~x6507 ~x3123 x8226 ~x1432 ~x4815 ~x6508 ~x3124 ~x8227 ~x1433 ~x4816 
106.97/107.35	v ~x6509 ~x3125 ~x8228 x1434 ~x4817 ~x6510 x3126 x8229 x1435 ~x4818 
106.97/107.35	v ~x6511 x3127 x8230 ~x1436 ~x4819 ~x6512 ~x3128 x8231 ~x1437 ~x4820 
106.97/107.35	v x6513 ~x3129 x8232 ~x1438 ~x4821 x6514 ~x3130 x8233 ~x1439 ~x4822 
106.97/107.35	v x6515 ~x3131 ~x8234 ~x1440 ~x4823 ~x6516 ~x3132 ~x8235 x1441 ~x4824 
106.97/107.35	v ~x6517 ~x3133 ~x8236 x1442 ~x4825 ~x6518 x3134 ~x8237 x1443 ~x4826 
106.97/107.35	v ~x6519 x3135 ~x8238 ~x1444 ~x4827 ~x6520 ~x3136 ~x8239 ~x1445 ~x4828 
106.97/107.35	v ~x6521 ~x3137 ~x8240 ~x1446 ~x4829 ~x6522 ~x3138 x8241 ~x1447 ~x4830 
106.97/107.35	v ~x6523 ~x3139 x8242 ~x1448 ~x4831 ~x6524 x3140 ~x8243 ~x1449 ~x4832 
106.97/107.35	v ~x6525 x3141 ~x8244 ~x1450 ~x4833 ~x6526 ~x3142 ~x8245 ~x1451 ~x4834 
106.97/107.35	v ~x6527 ~x3143 ~x8246 ~x1452 ~x4835 ~x6528 ~x3144 x8247 ~x1453 ~x4836 
106.97/107.35	v ~x6529 ~x3145 x8248 x1454 ~x4837 ~x6530 ~x3146 x8249 x1455 ~x4838 
106.97/107.35	v ~x6531 ~x3147 x8250 x1456 ~x4839 ~x6532 ~x3148 x8251 ~x1457 ~x4840 
106.97/107.35	v x6533 ~x3149 ~x8252 ~x1458 ~x4841 x6534 x3150 ~x8253 ~x1459 ~x4842 
106.97/107.35	v x6535 x3151 ~x8254 x1460 ~x4843 ~x6536 ~x3152 ~x8255 x1461 ~x4844 
106.97/107.35	v x6537 ~x3153 x8256 x1462 ~x4845 x6538 ~x3154 x8257 ~x1463 ~x4846 
106.97/107.35	v ~x6539 ~x3155 x8258 ~x1464 ~x4847 ~x6540 ~x3156 ~x8259 ~x1465 ~x4848 
106.97/107.35	v ~x6541 ~x3157 ~x8260 ~x1466 ~x4849 ~x6542 ~x3158 ~x8261 ~x1467 ~x4850 
106.97/107.35	v ~x6543 ~x3159 ~x8262 x1468 ~x4851 ~x6544 ~x3160 ~x8263 x1469 ~x4852 
106.97/107.36	v x6545 ~x3161 ~x8264 ~x1470 ~x4853 x6546 ~x3162 ~x8265 ~x1471 ~x4854 
106.97/107.36	v ~x6547 ~x3163 x8266 ~x1472 ~x4855 ~x6548 ~x3164 x8267 ~x1473 ~x4856 
106.97/107.36	v ~x6549 ~x3165 ~x8268 ~x1474 ~x4857 ~x6550 ~x3166 ~x8269 ~x1475 ~x4858 
106.97/107.36	v ~x6551 ~x3167 ~x8270 ~x1476 ~x4859 ~x6552 ~x3168 x8271 ~x1477 ~x4860 
106.97/107.36	v ~x6553 ~x3169 ~x8272 ~x1478 ~x4861 ~x6554 ~x3170 x8273 ~x1479 ~x4862 
106.97/107.36	v ~x6555 ~x3171 ~x8274 ~x1480 ~x4863 x6556 ~x3172 ~x8275 x1481 ~x4864 
106.97/107.36	v x6557 ~x3173 x8276 x1482 ~x4865 ~x6558 ~x3174 x8277 ~x1483 ~x4866 
106.97/107.36	v ~x6559 x3175 x8278 ~x1484 ~x4867 ~x6560 x3176 x8279 ~x1485 ~x4868 
106.97/107.36	v ~x6561 x3177 ~x8280 ~x1486 ~x4869 ~x6562 x3178 x8281 ~x1487 ~x4870 
106.97/107.36	v ~x6563 ~x3179 ~x8282 ~x1488 ~x4871 ~x6564 ~x3180 ~x8283 ~x1489 ~x4872 
106.97/107.36	v ~x6565 ~x3181 x8284 ~x1490 ~x4873 ~x6566 ~x3182 ~x8285 ~x1491 ~x4874 
106.97/107.36	v ~x6567 ~x3183 ~x8286 ~x1492 ~x4875 ~x6568 ~x3184 ~x8287 ~x1493 ~x4876 
106.97/107.36	v ~x6569 x3185 ~x8288 ~x1494 ~x4877 ~x6570 x3186 x8289 ~x1495 ~x4878 
106.97/107.36	v ~x6571 x3187 ~x8290 ~x1496 ~x4879 ~x6572 ~x3188 ~x8291 ~x1497 ~x4880 
106.97/107.36	v ~x6573 ~x3189 ~x8292 ~x1498 ~x4881 ~x6574 ~x3190 ~x8293 ~x1499 ~x4882 
106.97/107.36	v ~x6575 ~x3191 ~x8294 ~x1500 ~x4883 ~x6576 ~x3192 x8295 ~x1501 ~x4884 
106.97/107.36	v ~x6577 ~x3193 ~x8296 ~x1502 ~x4885 x6578 ~x3194 x8297 ~x1503 ~x4886 
106.97/107.36	v x6579 ~x3195 ~x8298 ~x1504 ~x4887 ~x6580 ~x3196 x8299 ~x1505 ~x4888 
106.97/107.36	v ~x6581 ~x3197 ~x8300 ~x1506 ~x4889 ~x6582 ~x3198 x8301 ~x1507 ~x4890 
106.97/107.36	v ~x6583 x3199 ~x8302 ~x1508 ~x4891 ~x6584 x3200 x8303 ~x1509 ~x4892 
106.97/107.36	v ~x6585 ~x3201 x8304 x1510 ~x4893 ~x6586 ~x3202 ~x8305 x1511 ~x4894 
106.97/107.36	v ~x6587 ~x3203 x8306 x1512 ~x4895 ~x6588 ~x3204 x8307 ~x1513 ~x4896 
106.97/107.36	v ~x6589 ~x3205 ~x8308 ~x1514 ~x4897 ~x6590 ~x3206 x8309 ~x1515 ~x4898 
106.97/107.36	v ~x6591 x3207 ~x8310 ~x1516 ~x4899 ~x6592 x3208 x8311 x1517 ~x4900 
106.97/107.36	v ~x6593 ~x3209 ~x8312 x1518 ~x4901 ~x6594 ~x3210 ~x8313 x1519 ~x4902 
106.97/107.36	v ~x6595 ~x3211 x8314 ~x1520 ~x4903 x6596 x3212 ~x8315 x1521 ~x4904 
106.97/107.36	v x6597 x3213 ~x8316 x1522 ~x4905 ~x6598 ~x3214 ~x8317 x1523 ~x4906 
106.97/107.36	v ~x6599 ~x3215 ~x8318 ~x1524 ~x4907 ~x6600 ~x3216 ~x8319 ~x1525 ~x4908 
106.97/107.36	v x6601 ~x3217 x8320 ~x1526 ~x4909 x6602 x3218 ~x8321 ~x1527 ~x4910 
106.97/107.36	v ~x6603 x3219 ~x8322 ~x1528 ~x4911 ~x6604 ~x3220 ~x8323 ~x1529 ~x4912 
106.97/107.36	v ~x6605 ~x3221 x8324 ~x1530 ~x4913 ~x6606 ~x3222 ~x8325 ~x1531 ~x4914 
106.97/107.36	v ~x6607 ~x3223 ~x8326 x1532 ~x4915 ~x6608 ~x3224 ~x8327 x1533 ~x4916 
106.97/107.36	v ~x6609 ~x3225 ~x8328 ~x1534 ~x4917 ~x6610 ~x3226 ~x8329 ~x1535 ~x4918 
106.97/107.36	v ~x6611 ~x3227 ~x8330 ~x1536 ~x4919 ~x6612 ~x3228 x8331 ~x1537 ~x4920 
106.97/107.36	v ~x6613 ~x3229 ~x8332 ~x1538 ~x4921 ~x6614 ~x3230 x8333 ~x1539 ~x4922 
106.97/107.36	v ~x6615 ~x3231 ~x8334 ~x1540 ~x4923 ~x6616 ~x3232 ~x8335 ~x1541 ~x4924 
106.97/107.36	v ~x6617 ~x3233 x8336 ~x1542 ~x4925 ~x6618 ~x3234 x8337 ~x1543 ~x4926 
106.97/107.36	v ~x6619 ~x3235 ~x8338 ~x1544 ~x4927 x6620 ~x3236 ~x8339 ~x1545 ~x4928 
106.97/107.36	v x6621 ~x3237 x8340 ~x1546 ~x4929 ~x6622 ~x3238 x8341 ~x1547 ~x4930 
106.97/107.36	v ~x6623 ~x3239 x8342 ~x1548 ~x4931 ~x6624 ~x3240 x8343 x1549 ~x4932 
106.97/107.36	v ~x6625 ~x3241 ~x8344 x1550 ~x4933 ~x6626 ~x3242 ~x8345 x1551 ~x4934 
106.97/107.36	v ~x6627 ~x3243 x8346 ~x1552 ~x4935 x6628 ~x3244 ~x8347 ~x1553 ~x4936 
106.97/107.36	v x6629 ~x3245 ~x8348 ~x1554 ~x4937 ~x6630 ~x3246 ~x8349 ~x1555 ~x4938 
106.97/107.36	v ~x6631 ~x3247 ~x8350 ~x1556 ~x4939 ~x6632 ~x3248 ~x8351 ~x1557 ~x4940 
106.97/107.36	v ~x6633 ~x3249 ~x8352 x1558 ~x4941 ~x6634 ~x3250 x8353 x1559 ~x4942 
106.97/107.36	v ~x6635 ~x3251 ~x8354 x1560 ~x4943 ~x6636 ~x3252 x8355 x1561 ~x4944 
106.97/107.36	v ~x6637 ~x3253 ~x8356 x1562 ~x4945 x6638 ~x3254 ~x8357 x1563 ~x4946 
106.97/107.36	v x6639 ~x3255 ~x8358 ~x1564 ~x4947 ~x6640 ~x3256 ~x8359 ~x1565 ~x4948 
106.97/107.36	v ~x6641 ~x3257 x8360 ~x1566 ~x4949 ~x6642 ~x3258 x8361 ~x1567 ~x4950 
106.97/107.36	v ~x6643 ~x3259 x8362 ~x1568 ~x4951 ~x6644 ~x3260 ~x8363 x1569 ~x4952 
106.97/107.36	v ~x6645 ~x3261 ~x8364 x1570 ~x4953 ~x6646 ~x3262 x8365 x1571 ~x4954 
106.97/107.36	v ~x6647 ~x3263 x8366 ~x1572 ~x4955 ~x6648 ~x3264 x8367 ~x1573 ~x4956 
106.97/107.36	v x6649 ~x3265 x8368 ~x1574 ~x4957 x6650 ~x3266 x8369 ~x1575 ~x4958 
106.97/107.36	v x6651 ~x3267 x8370 ~x1576 ~x4959 ~x6652 ~x3268 ~x8371 x1577 ~x4960 
106.97/107.36	v ~x6653 ~x3269 ~x8372 x1578 ~x4961 ~x6654 ~x3270 ~x8373 x1579 ~x4962 
106.97/107.36	v ~x6655 ~x3271 ~x8374 ~x1580 ~x4963 ~x6656 ~x3272 x8375 ~x1581 ~x4964 
106.97/107.36	v ~x6657 ~x3273 ~x8376 ~x1582 ~x4965 ~x6658 ~x3274 x8377 ~x1583 ~x4966 
106.97/107.36	v ~x6659 ~x3275 x8378 ~x1584 ~x4967 ~x6660 ~x3276 ~x8379 ~x1585 ~x4968 
106.97/107.36	v ~x6661 ~x3277 x8380 ~x1586 ~x4969 ~x6662 ~x3278 ~x8381 ~x1587 ~x4970 
106.97/107.36	v ~x6663 ~x3279 ~x8382 x1588 ~x4971 ~x6664 ~x3280 ~x8383 x1589 ~x4972 
106.97/107.36	v ~x6665 x3281 x8384 ~x1590 ~x4973 ~x6666 x3282 ~x8385 ~x1591 ~x4974 
106.97/107.36	v ~x6667 x3283 ~x8386 ~x1592 ~x4975 ~x6668 ~x3284 ~x8387 ~x1593 ~x4976 
106.97/107.36	v ~x6669 ~x3285 ~x8388 ~x1594 ~x4977 x6670 ~x3286 ~x8389 ~x1595 ~x4978 
106.97/107.36	v x6671 ~x3287 ~x8390 ~x1596 ~x4979 ~x6672 ~x3288 x8391 ~x1597 ~x4980 
106.97/107.36	v ~x6673 ~x3289 ~x8392 ~x1598 ~x4981 ~x6674 ~x3290 ~x8393 ~x1599 ~x4982 
106.97/107.36	v ~x6675 ~x3291 ~x8394 ~x1600 ~x4983 ~x6676 ~x3292 x8395 ~x1601 ~x4984 
106.97/107.36	v ~x6677 x3293 ~x8396 x1602 ~x4985 ~x6678 x3294 ~x8397 x1603 ~x4986 
106.97/107.36	v ~x6679 ~x3295 x8398 ~x1604 ~x4987 ~x6680 ~x3296 x8399 ~x1605 ~x4988 
106.97/107.36	v x6681 ~x3297 x8400 ~x1606 ~x4989 x6682 ~x3298 ~x8401 ~x1607 ~x4990 
106.97/107.36	v x6683 ~x3299 x8402 ~x1608 ~x4991 ~x6684 ~x3300 x8403 ~x1609 ~x4992 
106.97/107.36	v ~x6685 ~x3301 x8404 x1610 ~x4993 ~x6686 ~x3302 ~x8405 x1611 ~x4994 
106.97/107.36	v ~x6687 ~x3303 ~x8406 ~x1612 ~x4995 ~x6688 ~x3304 x8407 ~x1613 ~x4996 
106.97/107.36	v ~x6689 ~x3305 ~x8408 ~x1614 ~x4997 ~x6690 ~x3306 x8409 ~x1615 ~x4998 
106.97/107.36	v ~x6691 ~x3307 x8410 ~x1616 ~x4999 ~x6692 ~x3308 x8411 ~x1617 ~x5000 
106.97/107.36	v ~x6693 ~x3309 ~x8412 ~x1618 ~x5001 ~x6694 ~x3310 ~x8413 ~x1619 ~x5002 
106.97/107.36	v ~x6695 ~x3311 x8414 ~x1620 ~x5003 ~x6696 ~x3312 ~x8415 ~x1621 ~x5004 
106.97/107.36	v x6697 ~x3313 ~x8416 ~x1622 ~x5005 x6698 ~x3314 ~x8417 ~x1623 ~x5006 
106.97/107.36	v ~x6699 ~x3315 ~x8418 ~x1624 ~x5007 ~x6700 x3316 ~x8419 ~x1625 ~x5008 
106.97/107.36	v ~x6701 x3317 ~x8420 ~x1626 ~x5009 ~x6702 ~x3318 x8421 ~x1627 ~x5010 
106.97/107.36	v ~x6703 ~x3319 ~x8422 x1628 ~x5011 ~x6704 ~x3320 x8423 x1629 ~x5012 
106.97/107.36	v ~x6705 ~x3321 ~x8424 ~x1630 ~x5013 ~x6706 x3322 ~x8425 ~x1631 ~x5014 
106.97/107.36	v ~x6707 x3323 ~x8426 ~x1632 ~x5015 ~x6708 ~x3324 ~x8427 ~x1633 ~x5016 
106.97/107.36	v ~x6709 ~x3325 ~x8428 ~x1634 ~x5017 ~x6710 ~x3326 ~x8429 ~x1635 ~x5018 
106.97/107.36	v ~x6711 ~x3327 ~x8430 x1636 ~x5019 ~x6712 ~x3328 ~x8431 x1637 ~x5020 
106.97/107.36	v ~x6713 ~x3329 ~x8432 ~x1638 ~x5021 ~x6714 ~x3330 x8433 ~x1639 ~x5022 
106.97/107.36	v ~x6715 ~x3331 x8434 ~x1640 ~x5023 ~x6716 ~x3332 x8435 ~x1641 ~x5024 
106.97/107.36	v ~x6717 ~x3333 ~x8436 ~x1642 ~x5025 ~x6718 x3334 ~x8437 ~x1643 ~x5026 
106.97/107.36	v ~x6719 x3335 ~x8438 x1644 ~x5027 ~x6720 x3336 ~x8439 x1645 ~x5028 
106.97/107.36	v ~x6721 ~x3337 ~x8440 x1646 ~x5029 ~x6722 ~x3338 x8441 ~x1647 ~x5030 
106.97/107.36	v ~x6723 ~x3339 x8442 ~x1648 ~x5031 ~x6724 ~x3340 x8443 x1649 ~x5032 
106.97/107.36	v ~x6725 ~x3341 x8444 x1650 ~x5033 ~x6726 ~x3342 x8445 ~x1651 ~x5034 
106.97/107.36	v ~x6727 x3343 x8446 ~x1652 ~x5035 ~x6728 x3344 x8447 ~x1653 ~x5036 
106.97/107.36	v ~x6729 ~x3345 ~x8448 ~x1654 ~x5037 ~x6730 ~x3346 x8449 ~x1655 ~x5038 
106.97/107.36	v ~x6731 ~x3347 ~x8450 ~x1656 ~x5039 ~x6732 ~x3348 x8451 x1657 ~x5040 
106.97/107.36	v ~x6733 ~x3349 ~x8452 x1658 ~x5041 ~x7828 ~x6734 ~x3350 ~x8453 ~x1659 
106.97/107.36	v ~x5042 ~x7829 ~x6735 x3351 ~x8454 ~x1660 ~x5043 ~x7830 ~x6736 x3352 
106.97/107.36	v x8455 ~x1661 ~x5044 ~x7831 ~x6737 ~x3353 x8456 ~x1662 ~x5045 ~x7832 
106.97/107.36	v ~x6738 ~x3354 ~x8457 ~x1663 ~x5046 ~x7833 ~x6739 ~x3355 ~x8458 ~x1664 
106.97/107.36	v ~x5047 x7834 ~x6740 x3356 ~x8459 ~x1665 ~x5048 ~x7835 ~x6741 x3357 
106.97/107.36	v ~x8460 ~x1666 ~x5049 ~x7836 ~x6742 ~x3358 ~x8461 ~x1667 ~x5050 ~x7837 
106.97/107.36	v ~x6743 ~x3359 ~x8462 ~x1668 ~x5051 x7838 ~x6744 ~x3360 ~x8463 ~x1669 
106.97/107.36	v ~x5052 x7839 ~x6745 x3361 ~x1670 ~x5053 x7840 ~x6746 x3362 ~x8464 
106.97/107.36	v ~x1671 ~x5054 ~x7856 ~x6747 ~x3363 ~x8465 ~x1672 ~x5055 ~x7857 ~x6748 
106.97/107.36	v ~x3364 ~x8466 ~x1673 ~x5056 ~x7858 ~x6749 ~x3365 ~x8467 ~x1674 ~x5057 
106.97/107.36	v ~x7859 ~x6750 ~x3366 ~x8468 ~x1675 ~x5058 ~x7860 ~x6751 ~x3367 ~x8469 
106.97/107.36	v ~x1676 ~x5059 ~x7861 ~x6752 ~x3368 x8470 ~x1677 ~x5060 x7862 ~x6753 
106.97/107.36	v ~x3369 ~x8471 ~x1678 ~x5061 ~x7863 ~x6754 ~x3370 ~x8472 x1679 ~x5062 
106.97/107.36	v ~x7864 ~x6755 ~x3371 ~x8473 x1680 ~x5063 ~x7865 ~x6756 ~x3372 x8474 
106.97/107.36	v x1681 ~x5064 x7866 ~x6757 ~x3373 ~x8475 x1682 ~x5065 x7867 ~x6758 
106.97/107.36	v ~x3374 ~x8476 ~x1683 ~x5066 x7868 ~x6759 ~x3375 ~x8477 ~x1684 ~x5067 
106.97/107.36	v ~x6760 ~x3376 x8478 ~x1685 ~x5068 ~x6761 ~x3377 x8479 ~x1686 ~x5069 
106.97/107.36	v x6762 ~x1 ~x3378 x8480 ~x1687 ~x5070 x6763 ~x2 ~x3379 ~x8481 
106.97/107.36	v ~x1688 ~x5071 ~x6764 ~x3 ~x3380 x8482 ~x1689 ~x5072 ~x6765 x4 
106.97/107.36	v x3381 ~x8483 ~x1690 ~x5073 ~x6766 x5 x3382 x8484 ~x1691 ~x5074 
106.97/107.36	v ~x6767 ~x6 x3383 x8485 x1692 ~x5075 ~x6768 ~x7 ~x3384 ~x8486 
106.97/107.36	v x1693 ~x5076 ~x6769 ~x8 ~x3385 x8487 ~x1694 ~x5077 ~x6770 ~x9 
106.97/107.36	v ~x3386 ~x8488 ~x1695 ~x5078 ~x6771 ~x10 ~x3387 ~x8489 ~x1696 ~x5079 
106.97/107.36	v ~x6772 ~x11 x3388 ~x8490 x1697 ~x5080 ~x6773 x12 x3389 ~x8491 
106.97/107.36	v x1698 ~x5081 ~x6774 x13 x3390 ~x8492 x1699 ~x5082 ~x6775 x14 
106.97/107.36	v ~x3391 x8493 ~x1700 ~x5083 ~x6776 ~x15 ~x3392 x8494 ~x1701 ~x5084 
106.97/107.36	v ~x6777 ~x16 ~x3393 ~x8495 ~x1702 ~x5085 ~x6778 ~x17 ~x3394 x8496 
106.97/107.36	v ~x1703 ~x5086 ~x6779 ~x18 ~x3395 x8497 ~x1704 ~x5087 ~x6780 ~x19 
106.97/107.36	v ~x3396 x8498 x1705 ~x5088 ~x6781 ~x20 ~x3397 x8499 x1706 ~x5089 
106.97/107.36	v ~x6782 ~x21 x3398 x8500 x1707 ~x5090 ~x6783 ~x22 x3399 ~x8501 
106.97/107.36	v ~x1708 ~x5091 ~x6784 ~x23 x3400 ~x8502 ~x1709 ~x5092 ~x6785 ~x24 
106.97/107.36	v ~x3401 ~x8503 ~x1710 ~x5093 ~x6786 ~x25 ~x3402 ~x8504 ~x1711 ~x5094 
106.97/107.36	v ~x6787 x26 ~x3403 ~x8505 ~x1712 ~x5095 ~x6788 x27 ~x3404 x8506 
106.97/107.36	v ~x1713 ~x5096 x6789 ~x28 ~x3405 x8507 ~x1714 ~x5097 x6790 ~x29 
106.97/107.36	v ~x3406 x8508 ~x1715 ~x5098 x6791 ~x30 x3407 ~x8509 ~x1716 ~x5099 
106.97/107.36	v ~x6792 ~x31 x3408 x8510 x1717 ~x5100 ~x6793 ~x32 ~x3409 ~x8511 
106.97/107.36	v x1718 ~x5101 ~x6794 ~x33 ~x3410 ~x8512 x1719 ~x5102 ~x6795 ~x34 
106.97/107.36	v ~x3411 ~x8513 ~x1720 ~x5103 ~x6796 ~x35 ~x3412 ~x8514 ~x1721 ~x5104 
106.97/107.36	v ~x6797 ~x36 ~x3413 ~x8515 ~x1722 ~x5105 ~x6798 ~x37 ~x3414 ~x8516 
106.97/107.36	v ~x1723 ~x5106 ~x6799 ~x38 ~x3415 ~x8517 x1724 ~x5107 ~x6800 ~x39 
106.97/107.36	v ~x3416 ~x8518 x1725 ~x5108 ~x6801 ~x40 ~x3417 ~x8519 ~x1726 ~x5109 
106.97/107.36	v ~x6802 x41 ~x3418 ~x8520 ~x1727 ~x5110 ~x6803 x42 ~x3419 x8521 
106.97/107.36	v ~x1728 ~x5111 x6804 ~x43 ~x3420 x8522 ~x1729 ~x5112 x6805 ~x44 
106.97/107.36	v ~x3421 ~x8523 ~x1730 ~x5113 x6806 ~x45 ~x3422 ~x8524 ~x1731 ~x5114 
106.97/107.36	v ~x6807 ~x46 ~x3423 ~x8525 ~x1732 ~x5115 ~x6808 ~x47 ~x3424 x8526 
106.97/107.36	v ~x1733 ~x5116 ~x6809 ~x48 ~x3425 ~x8527 ~x1734 ~x5117 ~x6810 ~x49 
106.97/107.36	v ~x3426 ~x8528 ~x1735 ~x5118 ~x6811 ~x50 ~x3427 ~x8529 ~x1736 ~x5119 
106.97/107.36	v ~x6812 ~x51 ~x3428 x8530 x1737 ~x5120 ~x6813 x52 ~x3429 ~x8531 
106.97/107.36	v x1738 ~x5121 ~x6814 x53 ~x3430 ~x8532 ~x1739 ~x5122 ~x6815 ~x54 
106.97/107.36	v ~x3431 x8533 ~x1740 ~x5123 ~x6816 ~x55 ~x3432 x8534 ~x1741 ~x5124 
106.97/107.36	v ~x6817 ~x56 ~x3433 x8535 ~x1742 ~x5125 ~x6818 ~x57 ~x3434 x8536 
106.97/107.36	v ~x1743 ~x5126 ~x6819 ~x58 ~x3435 ~x8537 ~x1744 ~x5127 ~x6820 ~x59 
106.97/107.36	v ~x3436 ~x8538 ~x1745 ~x5128 ~x6821 ~x60 ~x3437 x8539 x1746 ~x5129 
106.97/107.36	v ~x6822 ~x61 ~x3438 ~x8540 x1747 ~x5130 ~x6823 x62 ~x3439 ~x8541 
106.97/107.36	v ~x1748 ~x5131 ~x6824 x63 ~x3440 x8542 ~x1749 ~x5132 ~x6825 x64 
106.97/107.36	v ~x3441 x8543 ~x1750 ~x5133 ~x6826 x65 x3442 x8544 ~x1751 ~x5134 
106.97/107.36	v ~x6827 x66 x3443 ~x8545 ~x1752 ~x5135 ~x6828 x67 ~x3444 ~x8546 
106.97/107.36	v ~x5136 ~x1753 ~x6829 ~x3445 ~x68 x8547 x1754 ~x5137 ~x6830 ~x69 
106.97/107.36	v ~x3446 ~x8548 x1755 ~x5138 ~x6831 ~x70 ~x3447 ~x8549 ~x1756 ~x5139 
106.97/107.36	v ~x6832 ~x71 ~x3448 ~x8550 ~x1757 ~x5140 ~x6833 ~x72 ~x3449 x8551 
106.97/107.36	v ~x1758 ~x5141 ~x6834 ~x73 ~x3450 x8552 ~x1759 ~x5142 ~x6835 ~x74 
106.97/107.36	v ~x3451 ~x8553 ~x1760 ~x5143 ~x6836 ~x75 ~x3452 ~x8554 ~x1761 ~x5144 
106.97/107.36	v ~x6837 x76 ~x3453 ~x8555 ~x1762 ~x5145 ~x6838 x77 ~x3454 ~x8556 
106.97/107.36	v ~x1763 ~x5146 ~x6839 x78 x3455 ~x8557 ~x1764 ~x5147 ~x6840 ~x79 
106.97/107.36	v x3456 ~x8558 ~x1765 ~x5148 ~x6841 ~x80 ~x3457 ~x8559 ~x1766 ~x5149 
106.97/107.36	v ~x6842 x81 x3458 ~x8560 ~x1767 ~x5150 ~x6843 x82 x3459 ~x8561 
106.97/107.36	v ~x1768 ~x5151 ~x6844 x83 ~x3460 x8562 ~x1769 ~x5152 ~x6845 ~x84 
106.97/107.36	v ~x3461 ~x8563 ~x1770 ~x5153 ~x6846 ~x85 ~x3462 x8564 ~x1771 ~x5154 
106.97/107.36	v ~x6847 ~x86 ~x3463 x8565 x1772 ~x5155 ~x6848 ~x87 ~x3464 ~x8566 
106.97/107.36	v x1773 ~x5156 ~x6849 ~x88 ~x3465 ~x8567 x1774 ~x5157 ~x6850 ~x89 
106.97/107.36	v ~x3466 ~x8568 ~x1775 ~x5158 ~x6851 ~x90 ~x3467 x8569 ~x1776 ~x5159 
106.97/107.36	v ~x6852 ~x91 ~x3468 ~x8570 ~x1777 ~x5160 ~x6853 ~x92 ~x3469 ~x8571 
106.97/107.36	v ~x1778 ~x5161 ~x6854 ~x93 ~x3470 x8572 ~x1779 ~x5162 ~x6855 ~x94 
106.97/107.36	v ~x3471 ~x8573 ~x1780 ~x5163 ~x6856 ~x95 ~x3472 ~x8574 ~x1781 ~x5164 
106.97/107.36	v ~x6857 ~x96 ~x3473 ~x8575 x1782 ~x5165 ~x6858 x97 ~x3474 ~x8576 
106.97/107.36	v x1783 ~x5166 ~x6859 x98 ~x3475 ~x8577 x1784 ~x5167 ~x6860 x99 
106.97/107.36	v ~x3476 ~x8578 x1785 ~x5168 ~x6861 ~x100 ~x3477 x8579 x1786 ~x5169 
106.97/107.36	v x6862 ~x101 ~x3478 x8580 ~x1787 ~x5170 x6863 ~x102 ~x3479 x8581 
106.97/107.36	v ~x1788 ~x5171 ~x6864 ~x103 ~x3480 ~x8582 ~x1789 ~x5172 ~x6865 ~x104 
106.97/107.36	v ~x3481 ~x8583 ~x1790 ~x5173 ~x6866 ~x105 ~x3482 ~x8584 ~x1791 ~x5174 
106.97/107.36	v ~x6867 ~x106 ~x3483 ~x8585 ~x1792 ~x5175 ~x6868 ~x107 ~x3484 ~x8586 
106.97/107.36	v ~x1793 ~x5176 ~x6869 x108 ~x3485 ~x8587 ~x1794 ~x5177 ~x6870 x109 
106.97/107.36	v ~x3486 x8588 ~x1795 ~x5178 ~x6871 x110 ~x3487 ~x8589 ~x1796 ~x5179 
106.97/107.36	v ~x6872 ~x111 ~x3488 x8590 x1797 ~x5180 ~x6873 ~x112 ~x3489 ~x8591 
106.97/107.36	v x1798 ~x5181 ~x6874 ~x113 ~x3490 ~x8592 x1799 ~x5182 ~x6875 ~x114 
106.97/107.36	v ~x3491 ~x8593 ~x1800 ~x5183 ~x6876 ~x115 ~x3492 x8594 x1801 ~x5184 
106.97/107.36	v ~x6877 x116 ~x3493 ~x8595 x1802 ~x5185 ~x6878 x117 ~x3494 ~x8596 
106.97/107.36	v x1803 ~x5186 ~x6879 x118 ~x3495 ~x8597 ~x1804 ~x5187 ~x6880 ~x119 
106.97/107.36	v ~x3496 x8598 ~x1805 ~x5188 ~x6881 ~x120 ~x3497 x8599 ~x1806 ~x5189 
106.97/107.36	v ~x6882 ~x121 ~x3498 x8600 ~x1807 ~x5190 ~x6883 ~x122 ~x3499 ~x8601 
106.97/107.36	v ~x1808 ~x5191 ~x6884 ~x123 ~x3500 ~x8602 x1809 ~x5192 ~x6885 x124 
106.97/107.36	v ~x3501 x8603 x1810 ~x5193 ~x6886 x125 ~x3502 ~x8604 x1811 ~x5194 
106.97/107.36	v ~x6887 x126 ~x3503 ~x8605 ~x1812 ~x5195 ~x6888 ~x127 ~x3504 x8606 
106.97/107.36	v ~x1813 ~x5196 ~x6889 ~x128 ~x3505 ~x8607 ~x1814 ~x5197 x6890 ~x129 
106.97/107.36	v ~x3506 x8608 ~x1815 ~x5198 x6891 ~x130 ~x3507 ~x8609 ~x1816 ~x5199 
106.97/107.36	v ~x6892 ~x131 ~x3508 ~x8610 x1817 ~x5200 ~x6893 ~x132 ~x3509 x8611 
106.97/107.36	v x1818 ~x5201 ~x6894 ~x133 ~x3510 ~x8612 ~x1819 ~x5202 ~x6895 ~x134 
106.97/107.36	v ~x3511 ~x8613 ~x1820 ~x5203 ~x6896 ~x135 ~x3512 ~x8614 ~x1821 ~x5204 
106.97/107.36	v ~x6897 ~x136 ~x3513 ~x8615 ~x1822 ~x5205 x6898 x137 ~x3514 ~x8616 
106.97/107.36	v ~x1823 ~x5206 x6899 x138 ~x3515 x8617 ~x1824 ~x5207 ~x6900 x139 
106.97/107.36	v ~x3516 ~x8618 ~x1825 ~x5208 ~x6901 ~x140 ~x3517 ~x8619 ~x1826 ~x5209 
106.97/107.36	v ~x6902 ~x141 ~x3518 ~x8620 ~x1827 ~x5210 ~x6903 ~x142 ~x3519 ~x8621 
106.97/107.36	v ~x1828 ~x5211 ~x6904 ~x143 ~x3520 ~x8622 ~x1829 x5212 ~x6905 ~x144 
106.97/107.36	v ~x3521 ~x8623 ~x1830 x5213 ~x6906 x145 ~x3522 x8624 ~x1831 ~x5214 
106.97/107.36	v ~x6907 x146 ~x3523 ~x8625 ~x1832 ~x5215 ~x6908 x147 ~x3524 ~x8626 
106.97/107.36	v ~x1833 ~x5216 ~x6909 ~x148 ~x3525 x8627 ~x1834 ~x5217 ~x6910 ~x149 
106.97/107.36	v ~x3526 x8628 ~x1835 ~x5218 ~x6911 ~x150 ~x3527 x8629 x1836 ~x5219 
106.97/107.36	v ~x6912 ~x151 ~x3528 ~x8630 x1837 ~x5220 ~x6913 ~x152 ~x3529 ~x8631 
106.97/107.36	v ~x1838 ~x5221 ~x6914 ~x153 ~x3530 x8632 ~x1839 ~x5222 ~x6915 ~x154 
106.97/107.36	v ~x3531 ~x8633 ~x1840 ~x5223 ~x6916 ~x155 x3532 x8634 ~x1841 ~x5224 
106.97/107.36	v ~x6917 x156 x3533 ~x8635 ~x1842 x5225 x6918 x157 ~x3534 ~x8636 
106.97/107.36	v ~x1843 x5226 x6919 x158 ~x3535 ~x8637 x1844 x5227 ~x6920 ~x159 
106.97/107.36	v ~x3536 x8638 x1845 ~x5228 ~x6921 ~x160 ~x3537 ~x8639 ~x1846 ~x5229 
106.97/107.36	v ~x6922 x161 ~x3538 ~x8640 ~x1847 ~x5230 ~x6923 x162 ~x3539 x8641 
106.97/107.36	v ~x1848 ~x5231 ~x6924 x163 ~x3540 x8642 ~x1849 ~x5232 ~x6925 ~x164 
106.97/107.36	v ~x3541 ~x8643 ~x1850 ~x5233 ~x6926 ~x165 ~x3542 ~x8644 ~x1851 ~x5234 
106.97/107.36	v ~x6927 ~x166 ~x3543 ~x8645 x1852 ~x5235 ~x6928 ~x167 ~x3544 x8646 
106.97/107.36	v x1853 ~x5236 ~x6929 ~x168 ~x3545 ~x8647 ~x1854 ~x5237 ~x6930 ~x169 
106.97/107.36	v ~x3546 ~x8648 ~x1855 ~x5238 ~x6931 ~x170 ~x3547 x8649 ~x1856 x5239 
106.97/107.36	v ~x6932 ~x171 ~x3548 ~x8650 ~x1857 x5240 ~x6933 ~x172 ~x3549 x8651 
106.97/107.36	v ~x1858 ~x5241 ~x6934 ~x173 ~x3550 ~x8652 ~x1859 ~x5242 ~x6935 ~x174 
106.97/107.36	v ~x3551 x8653 x1860 ~x5243 ~x6936 ~x175 ~x3552 x8654 x1861 ~x5244 
106.97/107.36	v ~x6937 ~x176 ~x3553 x8655 ~x1862 ~x5245 ~x6938 ~x177 ~x3554 ~x8656 
106.97/107.36	v ~x1863 ~x5246 ~x6939 x178 ~x3555 ~x8657 ~x1864 ~x5247 ~x6940 x179 
106.97/107.36	v ~x3556 ~x8658 ~x1865 ~x5248 ~x6941 ~x180 ~x3557 x8659 ~x1866 ~x5249 
106.97/107.36	v x6942 ~x181 ~x3558 ~x8660 ~x1867 ~x5250 x6943 ~x182 ~x3559 ~x8661 
106.97/107.36	v x1868 ~x5251 ~x6944 ~x183 ~x3560 ~x8662 x1869 ~x5252 x6945 ~x184 
106.97/107.36	v x3561 x8663 ~x1870 ~x5253 ~x6946 ~x185 x3562 ~x8664 ~x1871 ~x5254 
106.97/107.36	v x6947 ~x186 ~x3563 ~x8665 ~x1872 ~x5255 x6948 ~x187 ~x3564 ~x8666 
106.97/107.36	v ~x1873 ~x5256 x6949 x188 ~x3565 ~x8667 ~x1874 x5257 x6950 x189 
106.97/107.36	v ~x3566 ~x8668 ~x1875 x5258 ~x6951 x190 ~x3567 ~x8669 ~x1876 ~x5259 
106.97/107.36	v x6952 ~x191 ~x3568 ~x8670 ~x1877 ~x5260 ~x6953 ~x192 ~x3569 x8671 
106.97/107.36	v ~x1878 ~x5261 ~x6954 ~x193 ~x3570 x8672 x1879 ~x5262 x6955 ~x194 
106.97/107.36	v ~x3571 ~x8673 x1880 ~x5263 ~x6956 ~x195 ~x3572 ~x8674 ~x1881 ~x5264 
106.97/107.36	v ~x6957 x196 ~x3573 x8675 ~x1882 ~x5265 ~x6958 x197 x3574 x8676 
106.97/107.36	v ~x1883 ~x5266 ~x6959 x198 x3575 ~x8677 ~x1884 ~x5267 ~x6960 ~x199 
106.97/107.36	v ~x3576 x8678 ~x1885 ~x5268 ~x6961 ~x200 ~x3577 ~x8679 ~x1886 ~x5269 
106.97/107.36	v ~x6962 ~x201 ~x3578 ~x8680 ~x1887 ~x5270 ~x6963 ~x202 ~x3579 ~x8681 
106.97/107.36	v ~x1888 ~x5271 ~x6964 ~x203 ~x3580 ~x8682 x1889 ~x5272 ~x6965 ~x204 
106.97/107.36	v ~x3581 x8683 x1890 ~x5273 x6966 ~x205 ~x3582 ~x8684 x1891 ~x5274 
106.97/107.36	v ~x6967 ~x206 x3583 ~x8685 ~x1892 ~x5275 ~x6968 ~x207 x3584 x8686 
106.97/107.36	v ~x1893 x5276 ~x6969 ~x208 ~x3585 x8687 ~x1894 x5277 x6970 ~x209 
106.97/107.36	v ~x3586 ~x8688 ~x1895 ~x5278 x6971 ~x210 ~x3587 ~x8689 ~x1896 ~x5279 
106.97/107.36	v x6972 ~x211 ~x3588 x8690 x1897 ~x5280 x6973 ~x212 x3589 x8691 
106.97/107.36	v x1898 ~x5281 ~x6974 ~x213 x3590 ~x8692 ~x1899 ~x5282 ~x6975 x214 
106.97/107.36	v x3591 ~x8693 ~x1900 ~x5283 x6976 x215 ~x3592 x8694 ~x1901 ~x5284 
106.97/107.36	v x6977 ~x216 ~x3593 x8695 ~x1902 x5285 x6978 ~x217 ~x3594 ~x8696 
106.97/107.36	v ~x1903 x5286 ~x6979 ~x218 ~x3595 ~x8697 ~x1904 ~x5287 x6980 ~x219 
106.97/107.36	v ~x3596 ~x8698 ~x1905 ~x5288 x6981 x220 ~x3597 x8699 ~x1906 ~x5289 
106.97/107.36	v ~x6982 x221 ~x3598 x8700 ~x1907 ~x5290 ~x6983 x222 ~x3599 ~x8701 
106.97/107.36	v x1908 ~x5291 ~x6984 ~x223 ~x3600 ~x8702 x1909 ~x5292 ~x6985 ~x224 
106.97/107.36	v ~x3601 ~x8703 x1910 ~x5293 ~x6986 x225 ~x3602 x8704 ~x1911 ~x5294 
106.97/107.36	v ~x6987 x226 ~x3603 ~x8705 ~x1912 ~x5295 ~x6988 ~x227 ~x3604 x8706 
106.97/107.36	v ~x1913 ~x5296 ~x6989 ~x228 ~x3605 ~x8707 ~x1914 ~x5297 ~x6990 ~x229 
106.97/107.36	v x3606 x8708 ~x1915 ~x5298 ~x6991 ~x230 x3607 ~x8709 x1916 ~x5299 
106.97/107.36	v ~x6992 ~x231 ~x3608 x8710 x1917 x5300 ~x6993 ~x232 x3609 ~x8711 
106.97/107.36	v x1918 x5301 ~x6994 ~x233 x3610 x8712 ~x1919 ~x5302 ~x6995 ~x234 
106.97/107.36	v ~x3611 ~x8713 ~x1920 ~x5303 ~x6996 ~x235 ~x3612 x8714 x1921 ~x5304 
106.97/107.36	v ~x6997 ~x236 ~x3613 ~x8715 x1922 ~x5305 x6998 ~x237 ~x3614 ~x8716 
106.97/107.36	v x1923 ~x5306 x6999 x238 ~x3615 ~x8717 ~x1924 ~x5307 ~x7000 x239 
106.97/107.36	v ~x3616 ~x8718 ~x1925 ~x5308 ~x7001 x240 ~x3617 ~x8719 ~x1926 ~x5309 
106.97/107.36	v ~x7002 ~x241 ~x3618 x8720 ~x1927 ~x5310 x7003 ~x242 ~x3619 ~x8721 
106.97/107.36	v ~x1928 x5311 x7004 ~x243 ~x3620 x8722 ~x1929 x5312 x7005 ~x244 
106.97/107.36	v x3621 x8723 ~x1930 ~x5313 x7006 ~x245 x3622 x8724 ~x1931 x5314 
106.97/107.36	v x7007 ~x246 ~x3623 ~x8725 ~x1932 x5315 x7008 x247 ~x3624 ~x8726 
106.97/107.36	v ~x1933 ~x5316 x7009 x248 ~x3625 ~x8727 ~x1934 ~x5317 ~x7010 ~x3626 
106.97/107.36	v ~x8728 ~x1935 ~x5318 x7011 ~x3627 ~x8729 ~x1936 ~x5319 ~x7012 ~x3628 
106.97/107.36	v x8730 ~x1937 ~x5320 ~x7013 ~x3629 x8731 ~x1938 ~x5321 ~x7014 x3630 
106.97/107.36	v ~x8732 ~x1939 ~x5322 ~x249 ~x7015 x3631 ~x8733 x1940 ~x5323 ~x250 
106.97/107.36	v ~x7016 ~x3632 ~x8734 x1941 ~x5324 ~x251 ~x7017 ~x3633 ~x8735 ~x1942 
106.97/107.36	v ~x5325 ~x252 ~x7018 ~x3634 ~x8736 ~x1943 ~x5326 ~x253 ~x7019 ~x3635 
106.97/107.36	v x8737 ~x1944 ~x5327 ~x254 ~x7020 ~x3636 x8738 x1945 ~x5328 ~x255 
106.97/107.36	v ~x7021 ~x3637 ~x8739 x1946 ~x5329 ~x256 x7022 ~x3638 ~x8740 x1947 
106.97/107.36	v ~x5330 ~x257 ~x7023 x3639 ~x8741 ~x1948 ~x5331 ~x258 ~x7024 x3640 
106.97/107.36	v ~x8742 ~x1949 ~x5332 ~x259 ~x7025 x3641 x8743 ~x1950 ~x5333 ~x260 
106.97/107.36	v x7026 x3642 x8744 ~x1951 ~x5334 ~x261 ~x7027 ~x3643 ~x8745 ~x1952 
106.97/107.36	v ~x5335 ~x262 ~x7028 ~x3644 x8746 x1953 ~x5336 ~x263 x7029 ~x3645 
106.97/107.36	v ~x8747 x1954 ~x5337 ~x264 x7030 ~x3646 ~x8748 x1955 ~x5338 ~x265 
106.97/107.36	v ~x7031 ~x3647 ~x8749 ~x1956 ~x5339 ~x266 ~x7032 ~x3648 x8750 ~x1957 
106.97/107.36	v ~x5340 ~x267 ~x7033 ~x3649 x8751 ~x1958 ~x5341 ~x268 x7034 ~x3650 
106.97/107.36	v x8752 ~x1959 ~x5342 ~x269 x7035 ~x3651 x8753 ~x1960 ~x5343 ~x270 
106.97/107.36	v ~x7036 ~x3652 ~x8754 ~x1961 ~x5344 ~x271 x7037 ~x3653 ~x8755 ~x1962 
106.97/107.36	v ~x5345 ~x272 ~x7038 ~x3654 x8756 ~x1963 ~x5346 x273 x7039 x3655 
106.97/107.36	v ~x8757 x1964 ~x5347 x274 ~x7040 x3656 ~x8758 x1965 x5348 x275 
106.97/107.36	v ~x7041 ~x3657 ~x8759 x1966 x5349 ~x276 ~x7042 ~x3658 x8760 ~x1967 
106.97/107.36	v ~x5350 ~x277 ~x7043 ~x3659 x8761 ~x1968 ~x5351 ~x278 ~x7044 ~x3660 
106.97/107.36	v x8762 ~x1969 ~x5352 ~x279 ~x7045 ~x3661 x8763 ~x1970 ~x5353 ~x280 
106.97/107.36	v ~x7046 ~x3662 x8764 ~x1971 ~x5354 ~x281 ~x7047 ~x3663 ~x8765 x1972 
106.97/107.36	v ~x5355 ~x282 ~x7048 ~x3664 x8766 x1973 ~x5356 ~x283 ~x7049 ~x3665 
106.97/107.36	v x8767 x1974 ~x5357 ~x284 x7050 ~x3666 ~x8768 ~x1975 ~x5358 x285 
106.97/107.36	v ~x7051 ~x3667 ~x8769 ~x1976 ~x5359 x286 ~x7052 ~x3668 ~x8770 ~x1977 
106.97/107.36	v ~x5360 ~x287 ~x7053 ~x3669 ~x8771 ~x1978 ~x5361 x288 ~x7054 ~x3670 
106.97/107.36	v x8772 ~x1979 ~x5362 x289 x7055 ~x3671 ~x8773 x1980 ~x5363 x290 
106.97/107.36	v ~x7056 ~x3672 x8774 x1981 ~x5364 x291 ~x7057 ~x3673 ~x8775 x1982 
106.97/107.36	v ~x5365 ~x292 x7058 ~x3674 ~x8776 ~x1983 ~x5366 ~x293 x7059 ~x3675 
106.97/107.36	v x8777 ~x1984 ~x5367 ~x294 ~x7060 ~x3676 x8778 ~x1985 ~x5368 ~x295 
106.97/107.36	v x7061 ~x3677 ~x8779 ~x1986 ~x5369 ~x296 x7062 x3678 x8780 ~x1987 
106.97/107.36	v ~x5370 ~x297 x7063 x3679 ~x8781 ~x1988 ~x5371 ~x298 x7064 ~x3680 
106.97/107.36	v ~x8782 ~x1989 x5372 ~x299 x7065 ~x3681 ~x8783 ~x1990 x5373 x300 
106.97/107.36	v x7066 ~x3682 ~x8784 ~x1991 ~x5374 x301 x7067 ~x3683 x8785 ~x1992 
106.97/107.36	v ~x5375 ~x302 x7068 ~x3684 x8786 ~x1993 ~x5376 ~x303 ~x7069 ~x3685 
106.97/107.36	v ~x8787 ~x1994 ~x5377 ~x304 ~x7070 ~x3686 ~x8788 ~x1995 ~x5378 x305 
106.97/107.36	v ~x7071 x3687 ~x8789 x1996 ~x5379 x306 ~x7072 x3688 ~x8790 x1997 
106.97/107.36	v ~x5380 ~x307 ~x7073 ~x3689 ~x8791 x1998 ~x5381 ~x308 ~x7074 ~x3690 
106.97/107.36	v x8792 ~x1999 ~x5382 ~x309 ~x7075 ~x3691 x8793 ~x2000 ~x5383 ~x310 
106.97/107.36	v ~x7076 ~x3692 x8794 ~x2001 ~x5384 ~x311 ~x7077 ~x3693 x8795 ~x2002 
106.97/107.36	v ~x5385 ~x312 ~x7078 x3694 x8796 ~x2003 x5386 ~x313 ~x7079 x3695 
106.97/107.36	v x8797 x2004 x5387 ~x314 ~x7080 ~x3696 x8798 x2005 ~x5388 ~x315 
106.97/107.36	v ~x7081 ~x3697 x8799 x2006 ~x5389 ~x316 ~x7082 x3698 ~x8800 ~x2007 
106.97/107.36	v ~x5390 ~x317 x7083 x3699 ~x8801 ~x2008 ~x5391 ~x318 ~x7084 ~x3700 
106.97/107.36	v ~x8802 ~x2009 ~x5392 ~x319 x7085 ~x3701 ~x8803 ~x2010 ~x5393 ~x320 
106.97/107.36	v x7086 ~x3702 ~x8804 ~x2011 ~x5394 ~x321 x7087 ~x3703 x8805 x2012 
106.97/107.36	v ~x5395 ~x322 x7088 ~x3704 ~x8806 x2013 ~x5396 ~x323 x7089 ~x3705 
106.97/107.36	v ~x8807 ~x2014 ~x5397 x324 x7090 ~x3706 ~x8808 ~x2015 ~x5398 x325 
106.97/107.36	v x7091 ~x3707 x8809 ~x2016 ~x5399 ~x326 x7092 ~x3708 x8810 x2017 
106.97/107.36	v ~x5400 ~x327 x7093 ~x3709 x8811 x2018 ~x5401 ~x328 x7094 x3710 
106.97/107.36	v x8812 x2019 ~x5402 ~x329 x7095 x3711 ~x8813 ~x2020 ~x5403 ~x330 
106.97/107.36	v ~x7096 ~x3712 ~x8814 ~x2021 ~x5404 ~x331 x7097 x3713 ~x8815 ~x2022 
106.97/107.36	v ~x5405 x332 ~x7098 x3714 x8816 ~x2023 ~x5406 x333 ~x7099 ~x3715 
106.97/107.36	v x8817 ~x2024 ~x5407 x334 ~x7100 ~x3716 x8818 ~x2025 ~x5408 ~x335 
106.97/107.36	v ~x7101 ~x3717 x8819 ~x2026 ~x5409 ~x336 ~x7102 ~x3718 x8820 ~x2027 
106.97/107.36	v ~x5410 ~x337 ~x7103 ~x3719 ~x8821 ~x2028 ~x5411 x338 ~x7104 ~x3720 
106.97/107.36	v x8822 x2029 x5412 x339 ~x7105 ~x3721 ~x8823 x2030 x5413 ~x340 
106.97/107.36	v ~x7106 ~x3722 x8824 ~x2031 ~x5414 ~x341 ~x7107 ~x3723 x8825 x2032 
106.97/107.36	v ~x5415 ~x342 ~x7108 ~x3724 x8826 x2033 ~x5416 ~x343 ~x7109 ~x3725 
106.97/107.36	v ~x8827 x2034 ~x5417 ~x344 x7110 ~x3726 x8828 x2035 ~x5418 ~x345 
106.97/107.36	v ~x7111 ~x3727 x8829 ~x2036 ~x5419 ~x346 ~x7112 ~x3728 x8830 ~x2037 
106.97/107.36	v ~x5420 ~x347 x7113 ~x3729 ~x8831 ~x2038 ~x5421 ~x348 x7114 ~x3730 
106.97/107.36	v ~x8832 ~x2039 ~x5422 ~x349 x7115 ~x3731 ~x8833 ~x2040 x5423 ~x350 
106.97/107.36	v x7116 ~x3732 ~x8834 ~x2041 x5424 x351 x7117 ~x3733 ~x8835 ~x2042 
106.97/107.36	v x5425 x352 x7118 ~x3734 ~x8836 ~x2043 x5426 x353 ~x7119 ~x3735 
106.97/107.36	v ~x8837 x2044 x5427 x354 x7120 ~x3736 ~x8838 x2045 ~x5428 x355 
106.97/107.36	v x7121 ~x3737 x8839 x2046 ~x5429 ~x356 x7122 ~x3738 ~x8840 ~x2047 
106.97/107.36	v ~x5430 ~x357 x7123 ~x3739 ~x8841 ~x2048 ~x5431 ~x358 x7124 ~x3740 
106.97/107.36	v x8842 ~x2049 ~x5432 ~x359 ~x7125 ~x3741 ~x8843 ~x2050 ~x5433 ~x360 
106.97/107.36	v ~x7126 ~x3742 ~x8844 ~x2051 ~x5434 ~x361 ~x7127 ~x3743 x8845 ~x2052 
106.97/107.36	v ~x5435 ~x362 ~x7128 ~x3744 x8846 ~x2053 x5436 ~x363 ~x7129 ~x3745 
106.97/107.36	v ~x8847 ~x2054 x5437 ~x364 ~x7130 ~x3746 ~x8848 ~x2055 ~x5438 ~x365 
106.97/107.36	v ~x7131 ~x3747 ~x8849 ~x2056 ~x5439 ~x366 ~x7132 ~x3748 x8850 x2057 
106.97/107.36	v ~x5440 ~x367 ~x7133 ~x3749 ~x8851 x2058 ~x5441 ~x368 x7134 ~x3750 
106.97/107.36	v x8852 ~x2059 ~x5442 x369 ~x7135 ~x3751 ~x8853 ~x2060 ~x5443 x370 
106.97/107.36	v ~x7136 ~x3752 x8854 ~x2061 x5444 x371 ~x7137 ~x3753 x8855 ~x2062 
106.97/107.36	v x5445 ~x372 x7138 ~x3754 x8856 ~x2063 ~x5446 ~x373 ~x7139 ~x3755 
106.97/107.36	v x8857 ~x2064 ~x5447 ~x374 ~x7140 ~x3756 x8858 ~x2065 ~x5448 ~x375 
106.97/107.36	v x7141 ~x3757 x8859 x2066 ~x5449 ~x376 x7142 ~x3758 ~x8860 x2067 
106.97/107.36	v ~x5450 ~x377 ~x7143 ~x3759 ~x8861 ~x2068 ~x5451 ~x378 ~x7144 ~x3760 
106.97/107.36	v x8862 ~x2069 ~x5452 ~x379 x7145 ~x3761 x8863 ~x2070 ~x5453 ~x380 
106.97/107.36	v ~x7146 ~x3762 ~x8864 ~x2071 ~x5454 ~x381 x7147 ~x3763 x8865 ~x2072 
106.97/107.36	v x5455 ~x382 x7148 ~x3764 x8866 ~x2073 x5456 ~x383 x7149 ~x3765 
106.97/107.36	v x8867 ~x2074 ~x5457 ~x384 x7150 ~x3766 ~x8868 ~x2075 ~x5458 ~x385 
106.97/107.36	v x7151 ~x3767 x8869 ~x2076 ~x5459 ~x386 ~x7152 ~x3768 x8870 ~x2077 
106.97/107.36	v ~x5460 ~x387 ~x7153 ~x3769 x8871 ~x2078 ~x5461 x388 x7154 ~x3770 
106.97/107.36	v ~x8872 ~x2079 ~x5462 x389 x7155 ~x3771 ~x8873 ~x2080 ~x5463 ~x390 
106.97/107.36	v ~x7156 ~x3772 x8874 x2081 ~x5464 ~x391 ~x7157 ~x3773 x8875 x2082 
106.97/107.36	v ~x5465 ~x392 ~x7158 ~x3774 x8876 x2083 ~x5466 ~x393 ~x7159 ~x3775 
106.97/107.36	v ~x8877 ~x2084 ~x5467 ~x394 ~x7160 ~x3776 ~x8878 ~x2085 ~x5468 ~x395 
106.97/107.36	v ~x7161 ~x3777 ~x8879 ~x2086 ~x5469 ~x396 ~x7162 ~x3778 x8880 ~x2087 
106.97/107.36	v ~x5470 x397 ~x7163 ~x3779 ~x8881 ~x2088 ~x5471 x398 ~x7164 ~x3780 
106.97/107.36	v x8882 ~x2089 ~x5472 x399 ~x7165 ~x3781 x8883 x2090 ~x5473 ~x400 
106.97/107.36	v ~x7166 ~x3782 x8884 x2091 ~x5474 x401 ~x7167 ~x3783 ~x8885 ~x2092 
106.97/107.36	v ~x5475 x402 ~x7168 ~x3784 ~x8886 ~x2093 ~x5476 x403 x7169 ~x3785 
106.97/107.36	v ~x8887 ~x2094 ~x5477 ~x404 ~x7170 ~x3786 ~x8888 ~x2095 ~x5478 ~x405 
106.97/107.36	v ~x7171 ~x3787 ~x8889 ~x2096 ~x5479 ~x406 ~x7172 ~x3788 ~x8890 x2097 
106.97/107.36	v ~x5480 ~x407 x7173 ~x3789 x8891 x2098 ~x5481 ~x408 x7174 ~x3790 
106.97/107.36	v ~x8892 ~x2099 ~x5482 x409 x7175 ~x3791 ~x8893 ~x2100 ~x5483 x410 
106.97/107.36	v x7176 ~x3792 x8894 ~x2101 ~x5484 x411 ~x7177 ~x3793 x8895 ~x2102 
106.97/107.36	v ~x5485 ~x412 x7178 ~x3794 x8896 ~x2103 ~x5486 ~x413 ~x7179 ~x3795 
106.97/107.36	v x8897 ~x2104 ~x5487 ~x414 ~x7180 ~x3796 x8898 x2105 ~x5488 ~x415 
106.97/107.36	v ~x7181 ~x3797 ~x8899 x2106 ~x5489 ~x416 x7182 ~x3798 x8900 x2107 
106.97/107.36	v ~x5490 x417 ~x7183 ~x3799 ~x8901 ~x2108 ~x5491 x418 ~x7184 ~x3800 
106.97/107.36	v x8902 ~x2109 ~x5492 x419 ~x7185 ~x3801 x8903 ~x2110 ~x5493 ~x420 
106.97/107.36	v ~x7186 ~x3802 ~x8904 ~x2111 ~x5494 ~x421 ~x7187 ~x3803 ~x8905 ~x2112 
106.97/107.36	v ~x5495 ~x422 ~x7188 ~x3804 x8906 x2113 ~x5496 ~x423 ~x7189 ~x3805 
106.97/107.36	v ~x8907 x2114 ~x5497 ~x424 x7190 ~x3806 x8908 x2115 ~x5498 x425 
106.97/107.36	v ~x7191 ~x3807 x8909 ~x2116 ~x5499 x426 ~x7192 ~x3808 ~x8910 ~x2117 
106.97/107.36	v ~x5500 x427 ~x7193 ~x3809 ~x8911 ~x2118 ~x5501 ~x428 ~x7194 ~x3810 
106.97/107.36	v ~x8912 ~x2119 ~x5502 ~x429 x7195 ~x3811 ~x8913 ~x2120 ~x5503 ~x430 
106.97/107.36	v x7196 ~x3812 x8914 ~x2121 ~x5504 ~x431 x7197 ~x3813 x8915 ~x2122 
106.97/107.36	v ~x5505 ~x432 x7198 ~x3814 ~x8916 ~x2123 ~x5506 x433 ~x7199 ~x3815 
106.97/107.36	v ~x8917 ~x2124 ~x5507 x434 x7200 ~x3816 x8918 ~x2125 ~x5508 ~x435 
106.97/107.36	v ~x7201 ~x3817 x8919 ~x2126 ~x5509 ~x436 x7202 ~x3818 x8920 ~x2127 
106.97/107.36	v ~x5510 ~x437 x7203 ~x3819 ~x8921 ~x2128 ~x5511 ~x438 x7204 ~x3820 
106.97/107.36	v ~x8922 x2129 ~x5512 ~x439 x7205 ~x3821 ~x8923 x2130 ~x5513 ~x440 
106.97/107.36	v x7206 ~x3822 x8924 x2131 ~x5514 ~x441 x7207 ~x3823 x8925 ~x2132 
106.97/107.36	v ~x5515 ~x442 ~x7208 ~x3824 x8926 ~x2133 ~x5516 ~x443 ~x7209 ~x3825 
106.97/107.36	v ~x8927 ~x2134 ~x5517 ~x444 ~x7210 ~x3826 x8928 ~x2135 ~x5518 ~x445 
106.97/107.36	v ~x7211 ~x3827 x8929 ~x2136 ~x5519 ~x446 ~x7212 ~x3828 x8930 ~x2137 
106.97/107.36	v ~x5520 ~x447 ~x7213 ~x3829 x8931 ~x2138 ~x5521 ~x448 ~x7214 ~x3830 
106.97/107.36	v ~x8932 ~x2139 ~x5522 ~x449 ~x7215 ~x3831 ~x8933 ~x2140 ~x5523 ~x450 
106.97/107.36	v ~x7216 ~x3832 ~x8934 ~x2141 ~x5524 ~x451 ~x7217 ~x3833 x8935 x2142 
106.97/107.36	v ~x5525 ~x452 x7218 ~x3834 x8936 x2143 ~x5526 x453 ~x7219 ~x3835 
106.97/107.36	v ~x8937 x2144 ~x5527 x454 ~x7220 ~x3836 ~x8938 ~x2145 ~x5528 x455 
106.97/107.36	v ~x7221 ~x3837 x8939 ~x2146 ~x5529 ~x456 ~x7222 ~x3838 x8940 ~x2147 
106.97/107.36	v ~x5530 ~x457 ~x7223 ~x3839 x8941 x2148 ~x5531 ~x458 ~x7224 ~x3840 
106.97/107.36	v x8942 x2149 ~x5532 ~x459 x7225 ~x3841 ~x8943 x2150 ~x5533 x460 
106.97/107.36	v x7226 ~x3842 ~x8944 ~x2151 ~x5534 x461 x7227 ~x3843 ~x8945 ~x2152 
106.97/107.36	v ~x5535 ~x462 x7228 ~x3844 x8946 ~x2153 ~x5536 ~x463 x7229 ~x3845 
106.97/107.36	v ~x8947 ~x2154 ~x5537 ~x464 x7230 ~x3846 x8948 ~x2155 ~x5538 ~x465 
106.97/107.36	v x7231 ~x3847 ~x8949 ~x2156 ~x5539 ~x466 x7232 ~x3848 ~x8950 x2157 
106.97/107.36	v ~x5540 ~x467 x7233 ~x3849 x8951 x2158 ~x5541 x468 ~x7234 ~x3850 
106.97/107.36	v x8952 x2159 ~x5542 x469 x7235 ~x3851 ~x8953 ~x2160 ~x5543 ~x470 
106.97/107.36	v ~x7236 ~x3852 ~x8954 x2161 ~x5544 ~x471 ~x7237 ~x3853 ~x8955 x2162 
106.97/107.36	v ~x5545 ~x472 ~x7238 ~x3854 ~x8956 ~x2163 ~x5546 ~x473 ~x7239 ~x3855 
106.97/107.36	v ~x8957 ~x2164 ~x5547 ~x474 ~x7240 ~x3856 x8958 ~x2165 ~x5548 ~x475 
106.97/107.36	v ~x7241 ~x3857 x8959 ~x2166 ~x5549 x476 ~x7242 ~x3858 ~x8960 ~x2167 
106.97/107.36	v ~x5550 x477 ~x7243 ~x3859 x8961 ~x2168 ~x5551 ~x478 ~x7244 ~x3860 
106.97/107.36	v ~x8962 ~x2169 ~x5552 ~x479 ~x7245 ~x3861 ~x8963 ~x2170 ~x5553 ~x480 
106.97/107.36	v ~x7246 ~x3862 ~x8964 ~x2171 ~x5554 ~x481 ~x7247 ~x3863 x8965 x2172 
106.97/107.36	v ~x5555 ~x482 ~x7248 ~x3864 x8966 x2173 ~x5556 ~x483 ~x7249 ~x3865 
106.97/107.36	v x8967 ~x2174 ~x5557 ~x484 ~x7250 ~x3866 x8968 ~x2175 ~x5558 ~x485 
106.97/107.36	v x7251 ~x3867 x8969 ~x2176 ~x5559 x486 ~x7252 ~x3868 x8970 ~x2177 
106.97/107.36	v ~x5560 x487 ~x7253 ~x3869 x8971 ~x2178 ~x5561 x488 x7254 ~x3870 
106.97/107.36	v ~x8972 ~x2179 ~x5562 ~x489 x7255 ~x3871 ~x8973 ~x2180 ~x5563 ~x490 
106.97/107.36	v ~x7256 ~x3872 ~x8974 ~x2181 ~x5564 ~x491 x7257 ~x3873 x8975 ~x2182 
106.97/107.36	v ~x5565 x492 x7258 ~x3874 x8976 ~x2183 ~x5566 x493 x7259 ~x3875 
106.97/107.36	v ~x8977 ~x2184 ~x5567 ~x494 ~x7260 ~x3876 ~x8978 ~x2185 ~x5568 ~x495 
106.97/107.36	v ~x7261 ~x3877 x8979 ~x2186 ~x5569 ~x496 x7262 ~x3878 ~x8980 ~x2187 
106.97/107.36	v ~x5570 ~x497 x7263 ~x3879 ~x8981 x2188 ~x5571 ~x498 ~x7264 ~x3880 
106.97/107.36	v x8982 x2189 ~x5572 ~x499 x7265 ~x3881 x8983 x2190 ~x5573 x500 
106.97/107.36	v x7266 ~x3882 x8984 ~x2191 ~x5574 x501 x7267 ~x3883 x8985 ~x2192 
106.97/107.36	v ~x5575 ~x502 ~x7268 ~x3884 x8986 ~x2193 ~x5576 ~x503 ~x7269 ~x3885 
106.97/107.36	v x8987 ~x2194 ~x5577 ~x504 ~x7270 ~x3886 x8988 ~x2195 ~x5578 ~x505 
106.97/107.36	v ~x7271 ~x3887 ~x8989 x2196 ~x5579 ~x506 ~x7272 ~x3888 x8990 x2197 
106.97/107.36	v ~x5580 ~x507 ~x7273 ~x3889 ~x8991 ~x2198 ~x5581 ~x508 x7274 ~x3890 
106.97/107.36	v x8992 ~x2199 ~x5582 ~x509 ~x7275 ~x3891 ~x8993 ~x2200 ~x5583 ~x510 
106.97/107.36	v ~x7276 ~x3892 ~x8994 ~x2201 ~x5584 ~x511 ~x7277 ~x3893 ~x8995 ~x2202 
106.97/107.36	v ~x5585 ~x512 ~x7278 ~x3894 ~x8996 ~x2203 ~x5586 x513 x7279 ~x3895 
106.97/107.36	v ~x8997 x2204 ~x5587 x514 x7280 ~x3896 ~x8998 x2205 ~x5588 ~x515 
106.97/107.36	v x7281 ~x3897 ~x8999 ~x2206 ~x5589 ~x516 x7282 ~x3898 ~x9000 ~x2207 
106.97/107.36	v ~x5590 ~x517 x7283 ~x3899 ~x9001 ~x2208 ~x5591 ~x518 x7284 ~x3900 
106.97/107.36	v x9002 x2209 ~x5592 ~x519 x7285 ~x3901 ~x9003 x2210 ~x5593 ~x520 
106.97/107.36	v x7286 ~x3902 x9004 x2211 ~x5594 ~x521 x7287 ~x3903 x9005 ~x2212 
106.97/107.36	v ~x5595 ~x522 x7288 ~x3904 x9006 ~x2213 ~x5596 ~x523 x7289 ~x3905 
106.97/107.36	v ~x9007 ~x2214 ~x5597 ~x524 x7290 ~x3906 x9008 ~x2215 ~x5598 ~x525 
106.97/107.36	v x7291 ~x3907 x9009 ~x2216 ~x5599 ~x526 x7292 ~x3908 x9010 x2217 
106.97/107.36	v ~x5600 ~x527 x7293 ~x3909 x9011 x2218 ~x5601 ~x528 x7294 ~x3910 
106.97/107.36	v x9012 ~x2219 ~x5602 x529 x7295 ~x3911 ~x9013 ~x2220 ~x5603 x530 
106.97/107.36	v ~x7296 ~x3912 ~x9014 ~x2221 ~x5604 ~x531 ~x7297 ~x3913 ~x9015 ~x2222 
106.97/107.36	v ~x5605 ~x532 ~x7298 ~x3914 ~x9016 ~x2223 ~x5606 ~x533 ~x7299 ~x3915 
106.97/107.36	v ~x9017 ~x2224 ~x5607 ~x534 ~x7300 ~x3916 ~x9018 ~x2225 ~x5608 ~x535 
106.97/107.36	v ~x7301 ~x3917 ~x9019 x2226 ~x5609 ~x536 x7302 ~x3918 ~x9020 x2227 
106.97/107.36	v ~x5610 x537 ~x7303 ~x3919 x9021 ~x2228 ~x5611 x538 ~x7304 ~x3920 
106.97/107.36	v x9022 ~x2229 ~x5612 x539 ~x7305 ~x3921 x9023 ~x2230 ~x5613 ~x540 
106.97/107.36	v ~x7306 ~x3922 ~x9024 ~x2231 ~x5614 ~x541 x7307 ~x3923 x9025 ~x2232 
106.97/107.36	v ~x5615 ~x542 ~x7308 ~x3924 ~x9026 ~x5616 ~x543 x7309 ~x3925 x9027 
106.97/107.36	v ~x5617 ~x2233 ~x544 x7310 ~x3926 x9028 ~x5618 ~x2234 ~x545 x7311 
106.97/107.36	v ~x3927 ~x9029 ~x5619 ~x2235 ~x546 x7312 ~x3928 ~x9030 ~x5620 ~x2236 
106.97/107.36	v ~x547 x7313 ~x3929 x9031 ~x5621 ~x2237 ~x548 x7314 ~x3930 ~x9032 
106.97/107.36	v ~x5622 ~x2238 ~x549 ~x7315 ~x3931 ~x9033 ~x5623 ~x2239 ~x550 x7316 
106.97/107.36	v ~x3932 x9034 ~x5624 ~x2240 x551 x7317 ~x3933 x9035 ~x5625 ~x2241 
106.97/107.36	v x552 x7318 ~x3934 x9036 ~x5626 ~x2242 ~x553 x7319 ~x3935 ~x9037 
106.97/107.36	v ~x5627 ~x2243 ~x554 x7320 ~x3936 x9038 ~x5628 ~x2244 ~x555 x7321 
106.97/107.36	v ~x3937 ~x9039 ~x5629 ~x2245 ~x556 x7322 ~x3938 x9040 ~x5630 ~x2246 
106.97/107.36	v ~x557 x7323 ~x3939 ~x9041 ~x5631 ~x2247 ~x558 ~x7324 ~x3940 x9042 
106.97/107.36	v ~x5632 ~x2248 ~x559 ~x7325 ~x3941 ~x9043 ~x5633 ~x2249 ~x560 ~x7326 
106.97/107.36	v ~x3942 ~x9044 ~x5634 ~x2250 ~x561 ~x7327 ~x3943 x9045 ~x5635 ~x2251 
106.97/107.36	v ~x562 ~x7328 ~x3944 ~x9046 ~x5636 ~x2252 ~x563 ~x7329 ~x3945 ~x9047 
106.97/107.36	v ~x5637 ~x2253 ~x564 x7330 ~x3946 ~x9048 ~x5638 ~x2254 ~x565 ~x7331 
106.97/107.36	v ~x3947 x9049 ~x5639 ~x2255 ~x566 ~x7332 ~x3948 x9050 ~x5640 ~x2256 
106.97/107.36	v ~x567 ~x7333 ~x3949 x9051 ~x5641 ~x2257 ~x568 x7334 ~x3950 x9052 
106.97/107.36	v ~x5642 ~x2258 ~x569 x7335 ~x3951 ~x9053 ~x5643 ~x2259 ~x570 x7336 
106.97/107.36	v ~x3952 ~x9054 ~x5644 ~x2260 ~x571 x7337 ~x3953 x9055 ~x5645 ~x2261 
106.97/107.36	v ~x572 ~x7338 ~x3954 x9056 ~x5646 ~x2262 ~x573 x7339 ~x3955 x9057 
106.97/107.36	v ~x5647 ~x2263 ~x574 x7340 ~x3956 ~x9058 ~x5648 ~x2264 ~x575 x7341 
106.97/107.36	v ~x3957 x9059 ~x5649 ~x2265 ~x576 ~x7342 ~x3958 x9060 ~x5650 x2266 
106.97/107.36	v ~x577 x7343 ~x3959 ~x9061 ~x5651 x2267 ~x578 x7344 ~x3960 ~x9062 
106.97/107.36	v ~x5652 ~x2268 ~x579 x7345 ~x3961 ~x9063 ~x5653 ~x2269 x580 x7346 
106.97/107.36	v ~x3962 ~x9064 ~x5654 ~x2270 x581 x7347 ~x3963 ~x9065 ~x5655 ~x2271 
106.97/107.36	v x582 ~x7348 ~x3964 x9066 ~x5656 ~x2272 ~x583 x7349 ~x3965 x9067 
106.97/107.36	v ~x5657 ~x2273 ~x584 x7350 ~x3966 x9068 ~x5658 ~x2274 ~x585 x7351 
106.97/107.36	v ~x3967 x9069 ~x5659 ~x2275 ~x586 ~x7352 ~x3968 ~x9070 ~x5660 ~x2276 
106.97/107.36	v ~x587 ~x7353 ~x3969 x9071 ~x5661 x2277 x588 ~x7354 ~x3970 ~x9072 
106.97/107.36	v ~x5662 x2278 x589 ~x7355 ~x3971 ~x9073 ~x5663 ~x2279 ~x590 ~x7356 
106.97/107.36	v ~x3972 x9074 ~x5664 x2280 ~x591 ~x7357 ~x3973 x9075 ~x5665 ~x2281 
106.97/107.36	v ~x592 ~x7358 ~x3974 ~x9076 ~x5666 ~x2282 ~x593 ~x7359 ~x3975 ~x9077 
106.97/107.36	v ~x5667 ~x2283 ~x594 ~x7360 ~x3976 ~x9078 ~x5668 x2284 ~x595 ~x7361 
106.97/107.36	v ~x3977 ~x9079 ~x5669 x2285 x596 ~x7362 ~x3978 x9080 ~x5670 ~x2286 
106.97/107.36	v x597 ~x7363 ~x3979 ~x9081 ~x5671 ~x2287 ~x598 ~x7364 ~x3980 x9082 
106.97/107.36	v ~x5672 ~x2288 ~x599 x7365 ~x3981 ~x9083 ~x5673 ~x2289 ~x600 x7366 
106.97/107.36	v ~x3982 ~x9084 ~x5674 ~x2290 ~x601 x7367 ~x3983 x9085 ~x5675 ~x2291 
106.97/107.36	v ~x602 x7368 ~x3984 ~x9086 ~x5676 x2292 ~x603 x7369 ~x3985 x9087 
106.97/107.36	v ~x5677 x2293 x604 x7370 ~x3986 x9088 ~x5678 ~x2294 x605 x7371 
106.97/107.36	v ~x3987 x9089 ~x5679 ~x2295 x606 x7372 ~x3988 x9090 ~x5680 ~x2296 
106.97/107.36	v ~x607 x7373 ~x3989 ~x9091 ~x5681 ~x2297 ~x608 x7374 ~x3990 x9092 
106.97/107.36	v ~x5682 x2298 ~x609 ~x7375 ~x3991 x9093 ~x5683 x2299 x610 ~x7376 
106.97/107.36	v ~x3992 ~x9094 ~x5684 ~x2300 x611 ~x7377 ~x3993 x9095 ~x5685 ~x2301 
106.97/107.36	v ~x612 x7378 ~x3994 x9096 ~x5686 ~x2302 ~x613 ~x7379 ~x3995 ~x9097 
106.97/107.36	v ~x5687 ~x2303 ~x614 ~x7380 ~x3996 ~x9098 ~x5688 ~x2304 ~x615 ~x7381 
106.97/107.36	v ~x3997 ~x9099 ~x5689 ~x2305 ~x616 ~x7382 ~x3998 ~x9100 ~x5690 ~x2306 
106.97/107.36	v x617 ~x7383 ~x3999 ~x9101 ~x5691 ~x2307 x618 ~x7384 ~x4000 x9102 
106.97/107.36	v ~x5692 ~x2308 x619 ~x7385 ~x4001 ~x9103 ~x5693 ~x2309 ~x620 ~x7386 
106.97/107.36	v ~x4002 x9104 ~x5694 x2310 ~x621 ~x7387 ~x4003 x9105 ~x5695 x2311 
106.97/107.36	v ~x622 ~x7388 ~x4004 x9106 ~x5696 ~x2312 ~x623 ~x7389 ~x4005 x9107 
106.97/107.36	v ~x5697 ~x2313 ~x624 ~x7390 ~x4006 x9108 ~x5698 ~x2314 ~x625 ~x7391 
106.97/107.36	v ~x4007 ~x9109 ~x5699 ~x2315 ~x626 ~x7392 ~x4008 ~x9110 ~x5700 ~x2316 
106.97/107.36	v ~x627 ~x7393 ~x4009 x9111 ~x5701 ~x2317 ~x628 ~x7394 ~x4010 x9112 
106.97/107.36	v ~x5702 ~x2318 ~x629 ~x7395 ~x4011 x9113 ~x5703 ~x2319 ~x630 x7396 
106.97/107.36	v ~x4012 x9114 ~x5704 ~x2320 ~x631 x7397 ~x4013 ~x9115 ~x5705 ~x2321 
106.97/107.36	v ~x632 x7398 ~x4014 ~x9116 ~x5706 ~x2322 ~x633 ~x7399 ~x4015 ~x9117 
106.97/107.36	v ~x5707 ~x2323 ~x634 x7400 ~x4016 ~x9118 ~x5708 ~x2324 ~x635 x7401 
106.97/107.36	v ~x4017 ~x9119 ~x5709 ~x2325 ~x636 x7402 ~x4018 x9120 ~x5710 ~x2326 
106.97/107.36	v ~x637 x7403 ~x4019 x9121 ~x5711 x2327 x638 ~x7404 ~x4020 x9122 
106.97/107.36	v ~x5712 x2328 x639 x7405 ~x4021 x9123 ~x5713 ~x2329 x640 x7406 
106.97/107.36	v ~x4022 ~x9124 ~x5714 ~x2330 ~x641 x7407 ~x4023 ~x9125 ~x5715 ~x2331 
106.97/107.36	v ~x642 ~x7408 ~x4024 ~x9126 ~x5716 x2332 ~x643 ~x7409 ~x4025 x9127 
106.97/107.36	v ~x5717 x2333 ~x644 ~x7410 ~x4026 x9128 ~x5718 x2334 ~x645 ~x7411 
106.97/107.36	v ~x4027 x9129 ~x5719 ~x2335 ~x646 ~x7412 ~x4028 x9130 ~x5720 ~x2336 
106.97/107.36	v x647 ~x7413 ~x4029 x9131 ~x5721 x2337 x648 ~x7414 ~x4030 ~x9132 
106.97/107.36	v ~x5722 x2338 ~x649 ~x7415 ~x4031 x9133 ~x5723 x2339 ~x650 ~x7416 
106.97/107.36	v ~x4032 ~x9134 ~x5724 ~x2340 ~x651 ~x7417 ~x4033 ~x9135 ~x5725 ~x2341 
106.97/107.36	v x652 x7418 ~x4034 x9136 ~x5726 ~x2342 x653 x7419 ~x4035 x9137 
106.97/107.36	v ~x5727 ~x2343 x654 ~x7420 ~x4036 x9138 ~x5728 ~x2344 ~x655 x7421 
106.97/107.36	v ~x4037 ~x9139 ~x5729 x2345 ~x656 x7422 ~x4038 ~x9140 ~x5730 x2346 
106.97/107.36	v ~x657 x7423 ~x4039 ~x9141 ~x5731 ~x2347 ~x658 x7424 ~x4040 x9142 
106.97/107.36	v ~x5732 ~x2348 ~x659 ~x7425 ~x4041 x9143 ~x5733 ~x2349 ~x660 x7426 
106.97/107.36	v ~x4042 ~x9144 ~x5734 ~x2350 x661 x7427 ~x4043 ~x9145 ~x5735 ~x2351 
106.97/107.36	v x662 x7428 ~x4044 ~x9146 ~x5736 ~x2352 x663 ~x7429 ~x4045 ~x9147 
106.97/107.36	v ~x5737 ~x2353 ~x664 ~x7430 ~x4046 x9148 ~x5738 ~x2354 ~x665 ~x7431 
106.97/107.36	v ~x4047 ~x9149 ~x5739 ~x2355 ~x666 ~x7432 ~x4048 ~x9150 ~x5740 x2356 
106.97/107.36	v ~x667 x7433 ~x4049 x9151 ~x5741 x2357 x668 x7434 ~x4050 ~x9152 
106.97/107.36	v ~x5742 x2358 x669 x7435 ~x4051 x9153 ~x5743 ~x2359 ~x670 ~x7436 
106.97/107.36	v ~x4052 x9154 ~x5744 ~x2360 ~x671 ~x7437 ~x4053 x9155 ~x5745 x2361 
106.97/107.36	v ~x672 ~x7438 ~x4054 x9156 ~x5746 x2362 x673 ~x7439 ~x4055 ~x9157 
106.97/107.36	v ~x5747 x2363 x674 ~x7440 ~x4056 x9158 ~x5748 ~x2364 ~x675 ~x7441 
106.97/107.36	v ~x4057 x9159 ~x5749 ~x2365 ~x676 x7442 ~x4058 x9160 ~x5750 ~x2366 
106.97/107.36	v ~x677 ~x7443 ~x4059 x9161 ~x5751 ~x2367 ~x678 ~x7444 ~x4060 x9162 
106.97/107.36	v ~x5752 ~x2368 ~x679 ~x7445 ~x4061 ~x9163 ~x5753 ~x2369 ~x680 ~x7446 
106.97/107.36	v ~x4062 x9164 ~x5754 ~x2370 ~x681 ~x7447 ~x4063 ~x9165 ~x5755 ~x2371 
106.97/107.36	v ~x682 ~x7448 ~x4064 x9166 ~x5756 ~x2372 ~x683 x7449 ~x4065 ~x9167 
106.97/107.36	v ~x5757 ~x2373 ~x684 x7450 ~x4066 x9168 ~x5758 ~x2374 ~x685 x7451 
106.97/107.36	v ~x4067 ~x9169 ~x5759 ~x2375 ~x686 ~x7452 ~x4068 ~x9170 ~x5760 ~x2376 
106.97/107.36	v ~x687 x7453 ~x4069 ~x9171 ~x5761 ~x2377 ~x688 x7454 ~x4070 ~x9172 
106.97/107.36	v ~x5762 ~x2378 x689 x7455 ~x4071 ~x9173 ~x5763 ~x2379 x690 ~x7456 
106.97/107.36	v ~x4072 ~x9174 ~x5764 ~x2380 x691 x7457 ~x4073 ~x9175 ~x5765 ~x2381 
106.97/107.36	v ~x692 x7458 ~x4074 ~x9176 ~x5766 ~x2382 ~x693 x7459 ~x4075 ~x9177 
106.97/107.36	v ~x5767 x2383 ~x694 x7460 ~x4076 x9178 ~x5768 x2384 ~x695 x7461 
106.97/107.36	v ~x4077 ~x9179 ~x5769 ~x2385 ~x696 ~x7462 ~x4078 x9180 ~x5770 ~x2386 
106.97/107.36	v ~x697 x7463 ~x4079 x9181 ~x5771 ~x2387 ~x698 ~x7464 ~x4080 ~x9182 
106.97/107.36	v ~x5772 x2388 ~x699 ~x7465 ~x4081 x9183 ~x5773 x2389 ~x700 ~x7466 
106.97/107.36	v ~x4082 x9184 ~x5774 ~x2390 ~x701 ~x7467 ~x4083 x9185 ~x5775 ~x2391 
106.97/107.36	v ~x702 ~x7468 ~x4084 ~x9186 ~x5776 ~x2392 x703 ~x7469 ~x4085 x9187 
106.97/107.36	v ~x5777 ~x2393 x704 ~x7470 ~x4086 ~x9188 ~x5778 ~x2394 ~x705 ~x7471 
106.97/107.36	v ~x4087 x9189 ~x5779 ~x2395 ~x706 ~x7472 ~x4088 x9190 ~x5780 x2396 
106.97/107.36	v ~x707 ~x7473 ~x4089 x9191 ~x5781 x2397 x708 ~x7474 ~x4090 ~x9192 
106.97/107.36	v ~x5782 x2398 x709 x7475 ~x4091 x9193 ~x5783 ~x2399 x710 ~x7476 
106.97/107.36	v ~x4092 ~x9194 ~x5784 ~x2400 ~x711 x7477 ~x4093 ~x9195 ~x5785 x2401 
106.97/107.36	v ~x712 x7478 ~x4094 x9196 ~x5786 x2402 ~x713 x7479 ~x4095 x9197 
106.97/107.36	v ~x5787 x2403 ~x714 ~x7480 ~x4096 x9198 ~x5788 ~x2404 ~x715 x7481 
106.97/107.36	v ~x4097 ~x9199 ~x5789 ~x2405 ~x716 x7482 ~x4098 x9200 ~x5790 ~x2406 
106.97/107.36	v ~x717 x7483 ~x4099 ~x9201 ~x5791 ~x2407 ~x718 x7484 ~x4100 x9202 
106.97/107.36	v ~x5792 ~x2408 x719 x7485 ~x4101 x9203 ~x5793 ~x2409 x720 x7486 
106.97/107.36	v ~x4102 ~x9204 ~x5794 ~x2410 x721 x7487 ~x4103 ~x9205 ~x5795 ~x2411 
106.97/107.36	v x722 x7488 ~x4104 ~x9206 ~x5796 x2412 ~x723 x7489 ~x4105 ~x9207 
106.97/107.36	v ~x5797 x2413 ~x724 x7490 ~x4106 ~x9208 ~x5798 x2414 ~x725 x7491 
106.97/107.36	v ~x4107 ~x9209 ~x5799 ~x2415 ~x726 ~x7492 ~x4108 ~x9210 ~x5800 ~x2416 
106.97/107.36	v ~x727 ~x7493 ~x4109 ~x9211 ~x5801 x2417 ~x728 ~x7494 ~x4110 x9212 
106.97/107.36	v ~x5802 x2418 ~x729 ~x7495 ~x4111 x9213 ~x5803 ~x2419 ~x730 ~x7496 
106.97/107.36	v ~x4112 ~x9214 ~x5804 ~x2420 ~x731 ~x7497 ~x4113 x9215 ~x5805 ~x2421 
106.97/107.36	v x732 ~x7498 ~x4114 x9216 ~x5806 ~x2422 x733 ~x7499 ~x4115 x9217 
106.97/107.36	v ~x5807 ~x2423 x734 ~x7500 ~x4116 x9218 ~x5808 ~x2424 ~x735 ~x7501 
106.97/107.36	v ~x4117 ~x9219 ~x5809 ~x2425 ~x736 x7502 ~x4118 x9220 ~x5810 ~x2426 
106.97/107.36	v ~x737 x7503 ~x4119 ~x9221 ~x5811 ~x2427 ~x738 ~x7504 ~x4120 x9222 
106.97/107.36	v ~x5812 x2428 ~x739 x7505 ~x4121 ~x9223 ~x5813 x2429 ~x740 x7506 
106.97/107.36	v ~x4122 x9224 ~x5814 x2430 x741 x7507 ~x4123 x9225 ~x5815 ~x2431 
106.97/107.36	v x742 x7508 ~x4124 x9226 ~x5816 ~x2432 x743 x7509 ~x4125 x9227 
106.97/107.36	v ~x5817 ~x2433 ~x744 x7510 ~x4126 ~x9228 ~x5818 ~x2434 x7511 ~x4127 
106.97/107.36	v ~x9229 ~x5819 ~x2435 x7512 ~x745 ~x4128 ~x9230 ~x5820 ~x2436 x7513 
106.97/107.36	v ~x746 ~x4129 x9231 ~x5821 ~x2437 x7514 ~x747 ~x4130 x9232 ~x5822 
106.97/107.36	v ~x2438 x7515 ~x748 ~x4131 ~x9233 ~x5823 ~x2439 x7516 x749 ~x4132 
106.97/107.36	v ~x9234 ~x5824 ~x2440 x7517 x750 ~x4133 ~x9235 ~x5825 ~x2441 x7518 
106.97/107.36	v x751 ~x4134 ~x9236 ~x5826 ~x2442 x7519 ~x752 ~x4135 ~x9237 ~x5827 
106.97/107.36	v ~x2443 ~x7520 x753 ~x4136 ~x9238 ~x5828 ~x2444 ~x7521 x754 ~x4137 
106.97/107.36	v x9239 ~x5829 ~x2445 ~x7522 x755 ~x4138 x9240 ~x5830 x2446 ~x7523 
106.97/107.36	v ~x756 ~x4139 x9241 ~x5831 x2447 ~x7524 ~x757 ~x4140 x9242 ~x5832 
106.97/107.36	v ~x2448 ~x7525 ~x758 ~x4141 ~x9243 ~x5833 x2449 x7526 ~x759 ~x4142 
106.97/107.36	v ~x9244 ~x5834 x2450 ~x7527 ~x760 ~x4143 ~x9245 ~x5835 x2451 ~x7528 
106.97/107.36	v x761 ~x4144 ~x9246 ~x5836 ~x2452 ~x7529 x762 ~x4145 x9247 ~x5837 
106.97/107.36	v ~x2453 x7530 x763 ~x4146 ~x9248 ~x5838 ~x2454 ~x7531 ~x764 ~x4147 
106.97/107.36	v x9249 ~x5839 ~x2455 x7532 ~x765 ~x4148 x9250 ~x5840 ~x2456 ~x7533 
106.97/107.36	v ~x766 ~x4149 x9251 ~x5841 ~x2457 x7534 ~x767 ~x4150 ~x9252 ~x5842 
106.97/107.36	v x2458 x7535 ~x768 ~x4151 x9253 ~x5843 x2459 ~x7536 ~x769 ~x4152 
106.97/107.36	v x9254 ~x5844 ~x2460 x7537 ~x770 ~x4153 x9255 ~x5845 ~x2461 ~x7538 
106.97/107.36	v ~x771 ~x4154 x9256 ~x5846 ~x2462 x7539 ~x772 ~x4155 x9257 ~x5847 
106.97/107.36	v ~x2463 x7540 ~x773 ~x4156 x9258 ~x5848 ~x2464 x7541 ~x774 ~x4157 
106.97/107.36	v ~x9259 ~x5849 ~x2465 x7542 ~x775 ~x4158 x9260 ~x5850 ~x2466 x7543 
106.97/107.36	v ~x776 ~x4159 x9261 ~x5851 ~x2467 x7544 ~x777 ~x4160 x9262 ~x5852 
106.97/107.36	v ~x2468 x7545 ~x778 ~x4161 ~x9263 ~x5853 ~x2469 x7546 ~x779 ~x4162 
106.97/107.36	v x9264 ~x5854 x2470 x7547 ~x780 ~x4163 x9265 ~x5855 x2471 ~x7548 
106.97/107.36	v ~x781 ~x4164 ~x9266 ~x5856 ~x2472 ~x7549 ~x782 ~x4165 ~x9267 ~x5857 
106.97/107.36	v ~x2473 ~x7550 ~x783 ~x4166 ~x9268 ~x5858 ~x2474 ~x7551 ~x784 ~x4167 
106.97/107.36	v x9269 ~x5859 ~x2475 ~x7552 x785 ~x4168 ~x9270 ~x5860 ~x2476 ~x7553 
106.97/107.36	v x786 ~x4169 ~x9271 ~x5861 ~x2477 ~x7554 x787 ~x4170 ~x9272 ~x5862 
106.97/107.36	v ~x2478 ~x7555 ~x788 ~x4171 x9273 ~x5863 ~x2479 ~x7556 ~x789 ~x4172 
106.97/107.36	v x9274 ~x5864 ~x2480 ~x7557 ~x790 ~x4173 ~x9275 ~x5865 x2481 ~x7558 
106.97/107.36	v ~x791 ~x4174 x9276 ~x5866 x2482 x7559 ~x792 ~x4175 ~x9277 ~x5867 
106.97/107.36	v x2483 ~x7560 x793 ~x4176 ~x9278 ~x5868 ~x2484 x7561 x794 ~x4177 
106.97/107.36	v ~x9279 ~x5869 ~x2485 x7562 x795 ~x4178 ~x9280 ~x5870 ~x2486 x7563 
106.97/107.36	v ~x796 ~x4179 x9281 ~x5871 ~x2487 x7564 ~x797 ~x4180 ~x9282 ~x5872 
106.97/107.36	v ~x2488 x7565 ~x798 ~x4181 ~x9283 ~x5873 ~x2489 x7566 ~x799 ~x4182 
106.97/107.36	v x9284 ~x5874 ~x2490 ~x7567 ~x800 ~x4183 x9285 ~x5875 ~x2491 x7568 
106.97/107.36	v ~x801 ~x4184 x9286 ~x5876 ~x2492 x7569 ~x802 ~x4185 x9287 ~x5877 
106.97/107.36	v ~x2493 x7570 ~x803 ~x4186 ~x9288 ~x5878 ~x2494 ~x7571 ~x804 ~x4187 
106.97/107.36	v ~x9289 ~x5879 ~x2495 x7572 ~x805 ~x4188 x9290 ~x5880 ~x2496 ~x7573 
106.97/107.36	v ~x806 ~x4189 ~x9291 ~x5881 ~x2497 x7574 ~x807 ~x4190 x9292 ~x5882 
106.97/107.36	v ~x2498 x7575 ~x808 ~x4191 x9293 ~x5883 ~x2499 ~x7576 ~x809 ~x4192 
106.97/107.36	v x9294 ~x5884 x2500 ~x7577 ~x810 ~x4193 x9295 ~x5885 x2501 ~x7578 
106.97/107.36	v ~x811 ~x4194 x9296 ~x5886 ~x2502 ~x7579 ~x812 ~x4195 x9297 ~x5887 
106.97/107.36	v ~x2503 ~x7580 ~x813 ~x4196 x9298 ~x5888 ~x2504 ~x7581 ~x814 ~x4197 
106.97/107.36	v x9299 ~x5889 ~x2505 x7582 ~x815 ~x4198 x9300 ~x5890 ~x2506 ~x7583 
106.97/107.36	v ~x816 ~x4199 ~x9301 ~x5891 ~x2507 ~x7584 ~x817 ~x4200 ~x9302 ~x5892 
106.97/107.36	v x2508 ~x7585 ~x818 ~x4201 ~x9303 ~x5893 x2509 ~x7586 ~x819 ~x4202 
106.97/107.36	v ~x9304 ~x5894 ~x2510 x7587 x820 ~x4203 x9305 ~x5895 ~x2511 ~x7588 
106.97/107.36	v x821 ~x4204 x9306 ~x5896 ~x2512 x7589 x822 ~x4205 x9307 ~x5897 
106.97/107.36	v ~x2513 x7590 ~x823 ~x4206 x9308 ~x5898 ~x2514 ~x7591 ~x824 ~x4207 
106.97/107.36	v ~x9309 ~x5899 ~x2515 ~x7592 x825 ~x4208 ~x9310 ~x5900 ~x2516 x7593 
106.97/107.36	v x826 ~x4209 ~x9311 ~x5901 ~x2517 x7594 x827 ~x4210 ~x9312 ~x5902 
106.97/107.36	v x2518 x7595 ~x828 ~x4211 ~x9313 ~x5903 x2519 x7596 ~x829 ~x4212 
106.97/107.36	v ~x9314 ~x5904 x2520 x7597 ~x830 ~x4213 ~x9315 ~x5905 ~x2521 x7598 
106.97/107.36	v ~x831 ~x4214 x9316 ~x5906 ~x2522 ~x7599 ~x832 ~x4215 ~x9317 ~x5907 
106.97/107.36	v ~x2523 x7600 ~x833 ~x4216 x9318 ~x5908 ~x2524 ~x7601 ~x834 ~x9319 
106.97/107.36	v ~x5909 ~x2525 ~x7602 ~x835 ~x4217 ~x9320 ~x5910 x2526 ~x7603 ~x836 
106.97/107.36	v ~x4218 x9321 ~x5911 x2527 ~x7604 ~x837 ~x4219 ~x9322 ~x5912 x2528 
106.97/107.37	v ~x7605 ~x838 ~x4220 ~x9323 ~x5913 x2529 ~x7606 ~x839 ~x4221 ~x9324 
106.97/107.37	v ~x5914 x2530 ~x7607 ~x840 ~x4222 x9325 ~x5915 x2531 ~x7608 ~x841 
106.97/107.37	v ~x4223 x9326 ~x5916 ~x2532 ~x7609 ~x842 ~x4224 x9327 ~x5917 ~x2533 
106.97/107.37	v ~x7610 ~x843 ~x4225 ~x9328 ~x5918 ~x2534 ~x7611 x844 ~x4226 x9329 
106.97/107.37	v ~x5919 ~x2535 ~x7612 x845 ~x4227 ~x9330 ~x5920 ~x2536 ~x7613 ~x846 
106.97/107.37	v ~x4228 x9331 ~x5921 x2537 ~x7614 ~x847 ~x4229 ~x9332 ~x5922 x2538 
106.97/107.37	v x7615 ~x848 ~x4230 ~x9333 ~x5923 x2539 ~x7616 x849 ~x4231 x9334 
106.97/107.37	v ~x5924 ~x2540 x7617 x850 ~x4232 ~x9335 ~x5925 ~x2541 ~x7618 ~x851 
106.97/107.37	v ~x4233 x9336 ~x5926 ~x2542 x7619 ~x852 ~x4234 x9337 ~x5927 ~x2543 
106.97/107.37	v x7620 ~x853 ~x4235 ~x9338 ~x5928 ~x2544 x7621 ~x854 ~x4236 ~x9339 
106.97/107.37	v ~x5929 ~x2545 x7622 ~x855 ~x4237 x9340 ~x5930 ~x2546 x7623 ~x856 
106.97/107.37	v ~x4238 ~x9341 ~x5931 ~x2547 ~x7624 x857 ~x4239 ~x9342 ~x5932 ~x2548 
106.97/107.37	v ~x7625 x858 ~x4240 ~x9343 ~x5933 ~x2549 x7626 ~x859 ~x4241 x9344 
106.97/107.37	v ~x5934 ~x2550 x7627 ~x860 ~x4242 x9345 ~x5935 ~x2551 x7628 ~x861 
106.97/107.37	v ~x4243 ~x9346 ~x5936 ~x2552 x7629 ~x862 ~x4244 ~x9347 ~x5937 ~x2553 
106.97/107.37	v ~x7630 ~x863 ~x4245 ~x9348 ~x5938 ~x2554 ~x7631 ~x864 ~x4246 ~x9349 
106.97/107.37	v ~x5939 ~x2555 ~x7632 ~x865 ~x4247 ~x9350 ~x5940 ~x2556 ~x7633 ~x866 
106.97/107.37	v ~x4248 x9351 ~x5941 ~x2557 ~x7634 ~x867 ~x4249 ~x9352 ~x5942 ~x2558 
106.97/107.37	v ~x7635 x868 ~x4250 ~x9353 ~x5943 x2559 ~x7636 x869 ~x4251 x9354 
106.97/107.37	v ~x5944 x2560 ~x7637 ~x870 ~x4252 ~x9355 ~x5945 ~x2561 ~x7638 ~x871 
106.97/107.37	v ~x4253 x9356 ~x5946 ~x2562 ~x7639 ~x872 ~x4254 x9357 ~x5947 ~x2563 
106.97/107.37	v ~x7640 ~x873 ~x4255 x9358 ~x5948 x2564 ~x7641 ~x874 ~x4256 ~x9359 
106.97/107.37	v ~x5949 x2565 ~x7642 ~x875 ~x4257 ~x9360 ~x5950 x2566 ~x7643 x876 
106.97/107.37	v ~x4258 ~x9361 ~x5951 ~x2567 x7644 x877 ~x4259 ~x9362 ~x5952 ~x2568 
106.97/107.37	v ~x7645 x878 ~x4260 x9363 ~x5953 x2569 x7646 ~x879 ~x4261 ~x9364 
106.97/107.37	v ~x5954 x2570 x7647 ~x880 ~x4262 ~x9365 ~x5955 x2571 x7648 ~x881 
106.97/107.37	v ~x4263 ~x9366 ~x5956 ~x2572 ~x7649 x882 ~x4264 ~x9367 ~x5957 ~x2573 
106.97/107.37	v x7650 x883 ~x4265 ~x9368 ~x5958 ~x2574 x7651 ~x884 ~x4266 x9369 
106.97/107.37	v ~x5959 ~x2575 x7652 ~x885 ~x4267 x9370 ~x5960 ~x2576 x7653 ~x886 
106.97/107.37	v ~x4268 ~x9371 ~x5961 ~x2577 ~x7654 ~x887 ~x4269 ~x9372 ~x5962 ~x2578 
106.97/107.37	v x7655 ~x888 ~x4270 x9373 ~x5963 ~x2579 ~x7656 ~x889 ~x4271 ~x9374 
106.97/107.37	v ~x5964 x2580 x7657 ~x890 ~x4272 ~x9375 ~x5965 x2581 ~x7658 ~x891 
106.97/107.37	v ~x4273 ~x9376 ~x5966 x2582 x7659 ~x892 ~x4274 ~x9377 ~x5967 ~x2583 
106.97/107.37	v ~x7660 ~x893 ~x4275 ~x9378 ~x5968 ~x2584 ~x7661 ~x894 ~x4276 x9379 
106.97/107.37	v ~x5969 ~x2585 ~x7662 ~x895 ~x4277 x9380 ~x5970 ~x2586 ~x7663 ~x896 
106.97/107.37	v ~x4278 x9381 ~x5971 ~x2587 ~x7664 ~x897 ~x4279 x9382 ~x5972 x2588 
106.97/107.37	v ~x7665 ~x898

Verifier Data 

OK	43

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60969 MiB free)
  memory of node 1: 64507 MiB (63936 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528578-1752245173/watcher-4528578-1752245173 -o /tmp/evaluation-result-4528578-1752245173/solver-4528578-1752245173 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110054 --watchdog 3760 pb_picat HOME/instance-4528578-1752245173.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=110155, runsolver pid=110152

[startup+0.10006 s]*
/proc/loadavg: 3.82 4.08 4.09 5/264 110156
/proc/meminfo: memFree=127879804/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2027148 memory=36500 CPUtime=0.09 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 1087 0 0 0 9 0 0 0 20 0 1 0 140197223 2075799552 9125 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 506787 9125 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36500 KiB

[startup+0.205421 s]*
/proc/loadavg: 3.82 4.08 4.09 5/264 110156
/proc/meminfo: memFree=127863420/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2027148 memory=54944 CPUtime=0.2 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 1098 0 0 0 19 1 0 0 20 0 1 0 140197223 2075799552 13736 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 506787 13736 1568 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54944 KiB

[startup+0.305365 s]*
/proc/loadavg: 3.82 4.08 4.09 5/264 110156
/proc/meminfo: memFree=127842940/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2034964 memory=76064 CPUtime=0.29 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 1238 0 0 0 28 1 0 0 20 0 1 0 140197223 2083803136 19016 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 508741 19016 1600 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 76064 KiB

[startup+0.700122 s]
/proc/loadavg: 3.82 4.08 4.09 5/264 110156
/proc/meminfo: memFree=127808628/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2050544 memory=117776 CPUtime=0.68 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 4733 0 0 0 62 6 0 0 20 0 1 0 140197223 2099757056 29444 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 512636 29444 1696 343 0 509700 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2050544 KiB
Current children cumulated memory: 117776 KiB

[startup+1.50013 s]
/proc/loadavg: 3.82 4.08 4.09 5/264 110156
/proc/meminfo: memFree=127787708/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2081620 memory=147104 CPUtime=1.48 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 10578 0 0 0 138 10 0 0 20 0 1 0 140197223 2131578880 36776 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 520405 36776 1728 343 0 517469 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2081620 KiB
Current children cumulated memory: 147104 KiB

[startup+3.10525 s]
/proc/loadavg: 3.82 4.08 4.09 5/264 110201
/proc/meminfo: memFree=127723108/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2099784 memory=157584 CPUtime=3.08 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 13956 0 0 0 297 11 0 0 20 0 1 0 140197223 2150178816 39396 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 524946 39396 1728 343 0 522010 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2099784 KiB
Current children cumulated memory: 157584 KiB

[startup+6.30017 s]
/proc/loadavg: 3.91 4.10 4.10 5/264 110201
/proc/meminfo: memFree=127665956/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2101756 memory=157776 CPUtime=6.26 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 19917 0 0 0 614 12 0 0 20 0 1 0 140197223 2152198144 39444 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 525439 39444 1728 343 0 522503 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2101756 KiB
Current children cumulated memory: 157776 KiB

[startup+12.7002 s]
/proc/loadavg: 3.92 4.10 4.09 5/264 110246
/proc/meminfo: memFree=127552420/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2098840 memory=158148 CPUtime=12.65 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 25298 0 0 0 1251 14 0 0 20 0 1 0 140197223 2149212160 39537 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 524710 39537 1728 343 0 521774 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2098840 KiB
Current children cumulated memory: 158148 KiB

[startup+25.5002 s]
/proc/loadavg: 3.94 4.09 4.09 5/264 110246
/proc/meminfo: memFree=127540812/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2118956 memory=185564 CPUtime=25.41 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 44837 0 0 0 2507 34 0 0 20 0 1 0 140197223 2169810944 46391 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 529739 46391 1728 343 0 526803 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2118956 KiB
Current children cumulated memory: 185564 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 110246
/proc/meminfo: memFree=127468816/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2118956 memory=181468 CPUtime=50.94 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 71388 0 0 0 5044 50 0 0 20 0 1 0 140197223 2169810944 45367 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 529739 45367 1728 343 0 526803 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2118956 KiB
Current children cumulated memory: 181468 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 110382
/proc/meminfo: memFree=127492464/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2119372 memory=183940 CPUtime=101.98 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 118931 0 0 0 10108 90 0 0 20 0 1 0 140197223 2170236928 45985 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 529843 45985 1728 343 0 526907 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2119372 KiB
Current children cumulated memory: 183940 KiB

[startup+107.372 s]
# the end of solver process 110155 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=106.104 s, system=0.944205 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+102.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 110382
/proc/meminfo: memFree=127492464/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2119372 memory=183940 CPUtime=102.08 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 118931 0 0 0 10118 90 0 0 20 0 1 0 140197223 2170236928 45985 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 529843 45985 1728 343 0 526907 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 2119372 KiB
Current children cumulated memory: 183940 KiB

[startup+105.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 110382
/proc/meminfo: memFree=127491708/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2119372 memory=183940 CPUtime=105.28 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 122224 0 0 0 10436 92 0 0 20 0 1 0 140197223 2170236928 45985 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 529843 45985 1728 343 0 526907 0
Current children cumulated CPU time: 105.28 s
Current children cumulated vsize: 2119372 KiB
Current children cumulated memory: 183940 KiB

[startup+106.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 110382
/proc/meminfo: memFree=127502200/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2094796 memory=165508 CPUtime=106.07 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 122839 0 0 0 10515 92 0 0 20 0 1 0 140197223 2145071104 41377 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 523699 41377 1728 343 0 520763 0
Current children cumulated CPU time: 106.07 s
Current children cumulated vsize: 2094796 KiB
Current children cumulated memory: 165508 KiB

[startup+106.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 110382
/proc/meminfo: memFree=127502200/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2119372 memory=181892 CPUtime=106.47 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 123869 0 0 0 10554 93 0 0 20 0 1 0 140197223 2170236928 45473 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 529843 45473 1728 343 0 526907 0
Current children cumulated CPU time: 106.47 s
Current children cumulated vsize: 2119372 KiB
Current children cumulated memory: 181892 KiB

[startup+107.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 110382
/proc/meminfo: memFree=127494008/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2119372 memory=181892 CPUtime=106.87 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 123869 0 0 0 10594 93 0 0 20 0 1 0 140197223 2170236928 45473 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 529843 45473 1728 343 0 526907 0
Current children cumulated CPU time: 106.87 s
Current children cumulated vsize: 2119372 KiB
Current children cumulated memory: 181892 KiB

[startup+107.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 110382
/proc/meminfo: memFree=127494008/131250000 swapFree=33010416/33010684
[pid=110155] ppid=110152 vsize=2119372 memory=181892 CPUtime=106.97 cores=1,3
/proc/110155/stat : 110155 (pb_picat) R 110152 110155 110042 0 -1 4194304 123869 0 0 0 10604 93 0 0 20 0 1 0 140197223 2170236928 45473 18446744073709551615 94589401726976 94589403128557 140735772288608 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94589403399984 94589405274224 94589440286720 140735772297628 140735772297704 140735772297704 140735772303308 0
/proc/110155/statm: 529843 45473 1728 343 0 526907 0
Current children cumulated CPU time: 106.97 s
Current children cumulated vsize: 2119372 KiB
Current children cumulated memory: 181892 KiB

Child status: 0

Real time (s): 107.372
CPU time (s): 107.048
CPU user time (s): 106.104
CPU system time (s): 0.944205
CPU usage (%): 99.6986
Max. virtual memory (cumulated for all children) (KiB): 2119372
Max. memory (cumulated for all children) (KiB): 188036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.104
system time used= 0.944205
maximum resident set size= 188036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 127


# summary of solver processes directly reported to runsolver:
#   pid: 110155
#   total CPU time (s): 107.048
#   total CPU user time (s): 106.104
#   total CPU system time (s): 0.944205

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.207386 second user time and 0.51338 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-11 16:46:13
IDJOB=4528578
IDBENCH=158391
IDSOLVER=3385
FILE ID=nodeC027/4528578-1752245173
RUNJOBID= nodeC027-1752245169-110054
SLURM_JOB_ID= 9682567
Free space on /tmp= 431172 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-may6.5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528578-1752245173/watcher-4528578-1752245173 -o /tmp/evaluation-result-4528578-1752245173/solver-4528578-1752245173 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110054 --watchdog 3760  pb_picat HOME/instance-4528578-1752245173.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 76e67d27ce5ae72e711eb5f869f0e7e5
RANDOM SEED=450009033

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.663
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.639
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.609
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.458
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.634
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.663
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3607.148
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.692
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127902696 kB
MemAvailable:   129613880 kB
Buffers:            2488 kB
Cached:          2503928 kB
SwapCached:           12 kB
Active:           770680 kB
Inactive:        1943416 kB
Active(anon):     222956 kB
Inactive(anon):     2792 kB
Active(file):     547724 kB
Inactive(file):  1940624 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17496 kB
Writeback:             0 kB
AnonPages:        211148 kB
Mapped:           115500 kB
Shmem:             18056 kB
KReclaimable:     123752 kB
Slab:             216008 kB
SReclaimable:     123752 kB
SUnreclaim:        92256 kB
KernelStack:        4320 kB
PageTables:         3600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6488700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431168 MiB
End job on nodeC027 at 2025-07-11 16:48:01