Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is BridgeAndVehicles-COL-V20P20N20, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r005kn-ebro-146347672700133
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-9

=== Now, execution of the tool begins

BK_START 1463591051189


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=ReachabilityCardinality.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=78|T|=968|A|=7350
Time for unfolding: 0m 2.718sec

Net: BridgeAndVehicles_COL_V20P20N20
(NrP: 78 NrTr: 968 NrArc: 7350)

net check time: 0m 0.001sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.028sec

init dd package: 0m 7.948sec


RS generation: 6m 6.011sec


-> reachability set: #nodes 418600 (4.2e+05) #states 9,783,606 (6)



starting MCC model checker
--------------------------

checking: EF [3<=SORTI_B_dot]
normalized: E [true U 3<=SORTI_B_dot]

abstracting: (3<=SORTI_B_dot) states: 8,117,565 (6)
-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-5 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 2m36.275sec

checking: EF [2<=sum(COMPTEUR_compteur9, COMPTEUR_compteur8, COMPTEUR_compteur7, COMPTEUR_compteur6, COMPTEUR_compteur5, COMPTEUR_compteur4, COMPTEUR_compteur3, COMPTEUR_compteur20, COMPTEUR_compteur2, COMPTEUR_compteur19, COMPTEUR_compteur18, COMPTEUR_compteur17, COMPTEUR_compteur16, COMPTEUR_compteur15, COMPTEUR_compteur14, COMPTEUR_compteur13, COMPTEUR_compteur12, COMPTEUR_compteur11, COMPTEUR_compteur10, COMPTEUR_compteur1, COMPTEUR_compteur0)]
normalized: E [true U 2<=sum(COMPTEUR_compteur9, COMPTEUR_compteur8, COMPTEUR_compteur7, COMPTEUR_compteur6, COMPTEUR_compteur5, COMPTEUR_compteur4, COMPTEUR_compteur3, COMPTEUR_compteur20, COMPTEUR_compteur2, COMPTEUR_compteur19, COMPTEUR_compteur18, COMPTEUR_compteur17, COMPTEUR_compteur16, COMPTEUR_compteur15, COMPTEUR_compteur14, COMPTEUR_compteur13, COMPTEUR_compteur12, COMPTEUR_compteur11, COMPTEUR_compteur10, COMPTEUR_compteur1, COMPTEUR_compteur0)]

abstracting: (2<=sum(COMPTEUR_compteur9, COMPTEUR_compteur8, COMPTEUR_compteur7, COMPTEUR_compteur6, COMPTEUR_compteur5, COMPTEUR_compteur4, COMPTEUR_compteur3, COMPTEUR_compteur20, COMPTEUR_compteur2, COMPTEUR_compteur19, COMPTEUR_compteur18, COMPTEUR_compteur17, COMPTEUR_compteur16, COMPTEUR_compteur15, COMPTEUR_compteur14, COMPTEUR_compteur13, COMPTEUR_compteur12, COMPTEUR_compteur11, COMPTEUR_compteur10, COMPTEUR_compteur1, COMPTEUR_compteur0)) states: 0
-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-0 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 2.153sec

checking: EF [[2<=sum(CHOIX_sens2, CHOIX_sens1) & [[ATTENTE_A_dot<=sum(NB_ATTENTE_A_voitureA9, NB_ATTENTE_A_voitureA8, NB_ATTENTE_A_voitureA7, NB_ATTENTE_A_voitureA6, NB_ATTENTE_A_voitureA5, NB_ATTENTE_A_voitureA4, NB_ATTENTE_A_voitureA3, NB_ATTENTE_A_voitureA20, NB_ATTENTE_A_voitureA2, NB_ATTENTE_A_voitureA19, NB_ATTENTE_A_voitureA18, NB_ATTENTE_A_voitureA17, NB_ATTENTE_A_voitureA16, NB_ATTENTE_A_voitureA15, NB_ATTENTE_A_voitureA14, NB_ATTENTE_A_voitureA13, NB_ATTENTE_A_voitureA12, NB_ATTENTE_A_voitureA11, NB_ATTENTE_A_voitureA10, NB_ATTENTE_A_voitureA1, NB_ATTENTE_A_voitureA0) & 1<=ATTENTE_A_dot] & 3<=SORTI_B_dot]]]
normalized: E [true U [2<=sum(CHOIX_sens2, CHOIX_sens1) & [3<=SORTI_B_dot & [ATTENTE_A_dot<=sum(NB_ATTENTE_A_voitureA9, NB_ATTENTE_A_voitureA8, NB_ATTENTE_A_voitureA7, NB_ATTENTE_A_voitureA6, NB_ATTENTE_A_voitureA5, NB_ATTENTE_A_voitureA4, NB_ATTENTE_A_voitureA3, NB_ATTENTE_A_voitureA20, NB_ATTENTE_A_voitureA2, NB_ATTENTE_A_voitureA19, NB_ATTENTE_A_voitureA18, NB_ATTENTE_A_voitureA17, NB_ATTENTE_A_voitureA16, NB_ATTENTE_A_voitureA15, NB_ATTENTE_A_voitureA14, NB_ATTENTE_A_voitureA13, NB_ATTENTE_A_voitureA12, NB_ATTENTE_A_voitureA11, NB_ATTENTE_A_voitureA10, NB_ATTENTE_A_voitureA1, NB_ATTENTE_A_voitureA0) & 1<=ATTENTE_A_dot]]]]

abstracting: (1<=ATTENTE_A_dot) states: 8,567,170 (6)
abstracting: (ATTENTE_A_dot<=sum(NB_ATTENTE_A_voitureA9, NB_ATTENTE_A_voitureA8, NB_ATTENTE_A_voitureA7, NB_ATTENTE_A_voitureA6, NB_ATTENTE_A_voitureA5, NB_ATTENTE_A_voitureA4, NB_ATTENTE_A_voitureA3, NB_ATTENTE_A_voitureA20, NB_ATTENTE_A_voitureA2, NB_ATTENTE_A_voitureA19, NB_ATTENTE_A_voitureA18, NB_ATTENTE_A_voitureA17, NB_ATTENTE_A_voitureA16, NB_ATTENTE_A_voitureA15, NB_ATTENTE_A_voitureA14, NB_ATTENTE_A_voitureA13, NB_ATTENTE_A_voitureA12, NB_ATTENTE_A_voitureA11, NB_ATTENTE_A_voitureA10, NB_ATTENTE_A_voitureA1, NB_ATTENTE_A_voitureA0)) states: 2,357,076 (6)
abstracting: (3<=SORTI_B_dot) states: 8,117,565 (6)
abstracting: (2<=sum(CHOIX_sens2, CHOIX_sens1)) states: 0
-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-6 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m29.841sec

checking: AG [[~ [~ [sum(COMPTEUR_compteur9, COMPTEUR_compteur8, COMPTEUR_compteur7, COMPTEUR_compteur6, COMPTEUR_compteur5, COMPTEUR_compteur4, COMPTEUR_compteur3, COMPTEUR_compteur20, COMPTEUR_compteur2, COMPTEUR_compteur19, COMPTEUR_compteur18, COMPTEUR_compteur17, COMPTEUR_compteur16, COMPTEUR_compteur15, COMPTEUR_compteur14, COMPTEUR_compteur13, COMPTEUR_compteur12, COMPTEUR_compteur11, COMPTEUR_compteur10, COMPTEUR_compteur1, COMPTEUR_compteur0)<=CAPACITE_dot]] | [[2<=SUR_PONT_B_dot & 1<=sum(VIDANGE_sens2, VIDANGE_sens1)] & [3<=SORTI_B_dot | ROUTE_A_dot<=ATTENTE_A_dot]]]]
normalized: ~ [E [true U ~ [[sum(COMPTEUR_compteur9, COMPTEUR_compteur8, COMPTEUR_compteur7, COMPTEUR_compteur6, COMPTEUR_compteur5, COMPTEUR_compteur4, COMPTEUR_compteur3, COMPTEUR_compteur20, COMPTEUR_compteur2, COMPTEUR_compteur19, COMPTEUR_compteur18, COMPTEUR_compteur17, COMPTEUR_compteur16, COMPTEUR_compteur15, COMPTEUR_compteur14, COMPTEUR_compteur13, COMPTEUR_compteur12, COMPTEUR_compteur11, COMPTEUR_compteur10, COMPTEUR_compteur1, COMPTEUR_compteur0)<=CAPACITE_dot | [[3<=SORTI_B_dot | ROUTE_A_dot<=ATTENTE_A_dot] & [2<=SUR_PONT_B_dot & 1<=sum(VIDANGE_sens2, VIDANGE_sens1)]]]]]]

abstracting: (1<=sum(VIDANGE_sens2, VIDANGE_sens1)) states: 736,302 (5)
abstracting: (2<=SUR_PONT_B_dot) states: 3,403,470 (6)
abstracting: (ROUTE_A_dot<=ATTENTE_A_dot) states: 5,241,156 (6)
abstracting: (3<=SORTI_B_dot) states: 8,117,565 (6)
abstracting: (sum(COMPTEUR_compteur9, COMPTEUR_compteur8, COMPTEUR_compteur7, COMPTEUR_compteur6, COMPTEUR_compteur5, COMPTEUR_compteur4, COMPTEUR_compteur3, COMPTEUR_compteur20, COMPTEUR_compteur2, COMPTEUR_compteur19, COMPTEUR_compteur18, COMPTEUR_compteur17, COMPTEUR_compteur16, COMPTEUR_compteur15, COMPTEUR_compteur14, COMPTEUR_compteur13, COMPTEUR_compteur12, COMPTEUR_compteur11, COMPTEUR_compteur10, COMPTEUR_compteur1, COMPTEUR_compteur0)<=CAPACITE_dot) states: 9,782,682 (6)
-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 7m46.781sec

checking: EF [[[[ATTENTE_A_dot<=sum(NB_ATTENTE_B_voitureB9, NB_ATTENTE_B_voitureB8, NB_ATTENTE_B_voitureB7, NB_ATTENTE_B_voitureB6, NB_ATTENTE_B_voitureB5, NB_ATTENTE_B_voitureB4, NB_ATTENTE_B_voitureB3, NB_ATTENTE_B_voitureB20, NB_ATTENTE_B_voitureB2, NB_ATTENTE_B_voitureB19, NB_ATTENTE_B_voitureB18, NB_ATTENTE_B_voitureB17, NB_ATTENTE_B_voitureB16, NB_ATTENTE_B_voitureB15, NB_ATTENTE_B_voitureB14, NB_ATTENTE_B_voitureB13, NB_ATTENTE_B_voitureB12, NB_ATTENTE_B_voitureB11, NB_ATTENTE_B_voitureB10, NB_ATTENTE_B_voitureB1, NB_ATTENTE_B_voitureB0) & 2<=ROUTE_B_dot] | ~ [3<=ROUTE_B_dot]] & [[3<=sum(VIDANGE_sens2, VIDANGE_sens1) | 3<=SUR_PONT_A_dot] & ROUTE_A_dot<=SORTI_B_dot]]]
normalized: E [true U [[ROUTE_A_dot<=SORTI_B_dot & [3<=sum(VIDANGE_sens2, VIDANGE_sens1) | 3<=SUR_PONT_A_dot]] & [~ [3<=ROUTE_B_dot] | [ATTENTE_A_dot<=sum(NB_ATTENTE_B_voitureB9, NB_ATTENTE_B_voitureB8, NB_ATTENTE_B_voitureB7, NB_ATTENTE_B_voitureB6, NB_ATTENTE_B_voitureB5, NB_ATTENTE_B_voitureB4, NB_ATTENTE_B_voitureB3, NB_ATTENTE_B_voitureB20, NB_ATTENTE_B_voitureB2, NB_ATTENTE_B_voitureB19, NB_ATTENTE_B_voitureB18, NB_ATTENTE_B_voitureB17, NB_ATTENTE_B_voitureB16, NB_ATTENTE_B_voitureB15, NB_ATTENTE_B_voitureB14, NB_ATTENTE_B_voitureB13, NB_ATTENTE_B_voitureB12, NB_ATTENTE_B_voitureB11, NB_ATTENTE_B_voitureB10, NB_ATTENTE_B_voitureB1, NB_ATTENTE_B_voitureB0) & 2<=ROUTE_B_dot]]]]

abstracting: (2<=ROUTE_B_dot) states: 7,385,731 (6)
abstracting: (ATTENTE_A_dot<=sum(NB_ATTENTE_B_voitureB9, NB_ATTENTE_B_voitureB8, NB_ATTENTE_B_voitureB7, NB_ATTENTE_B_voitureB6, NB_ATTENTE_B_voitureB5, NB_ATTENTE_B_voitureB4, NB_ATTENTE_B_voitureB3, NB_ATTENTE_B_voitureB20, NB_ATTENTE_B_voitureB2, NB_ATTENTE_B_voitureB19, NB_ATTENTE_B_voitureB18, NB_ATTENTE_B_voitureB17, NB_ATTENTE_B_voitureB16, NB_ATTENTE_B_voitureB15, NB_ATTENTE_B_voitureB14, NB_ATTENTE_B_voitureB13, NB_ATTENTE_B_voitureB12, NB_ATTENTE_B_voitureB11, NB_ATTENTE_B_voitureB10, NB_ATTENTE_B_voitureB1, NB_ATTENTE_B_voitureB0)) states: 2,357,076 (6)
abstracting: (3<=ROUTE_B_dot) states: 6,363,414 (6)
abstracting: (3<=SUR_PONT_A_dot) states: 2,797,200 (6)
abstracting: (3<=sum(VIDANGE_sens2, VIDANGE_sens1)) states: 0
abstracting: (ROUTE_A_dot<=SORTI_B_dot) states: 6,577,043 (6)

before gc: list nodes free: 1710843

after gc: idd nodes used:697484, unused:63302516; list nodes free:315305008
-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P20N20-ReachabilityCardinality-15 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 27m29.263sec

checking: EF [[[ROUTE_B_dot<=SUR_PONT_A_dot | [sum(CONTROLEUR_sens2, CONTROLEUR_sens1)<=ROUTE_A_dot & 3<=sum(NB_ATTENTE_A_voitureA9, NB_ATTENTE_A_voitureA8, NB_ATTENTE_A_voitureA7, NB_ATTENTE_A_voitureA6, NB_ATTENTE_A_voitureA5, NB_ATTENTE_A_voitureA4, NB_ATTENTE_A_voitureA3, NB_ATTENTE_A_voitureA20, NB_ATTENTE_A_voitureA2, NB_ATTENTE_A_voitureA19, NB_ATTENTE_A_voitureA18, NB_ATTENTE_A_voitureA17, NB_ATTENTE_A_voitureA16, NB_ATTENTE_A_voitureA15, NB_ATTENTE_A_voitureA14, NB_ATTENTE_A_voitureA13, NB_ATTENTE_A_voitureA12, NB_ATTENTE_A_voitureA11, NB_ATTENTE_A_voitureA10, NB_ATTENTE_A_voitureA1, NB_ATTENTE_A_voitureA0)]] & [ROUTE_A_dot<=SUR_PONT_A_dot | [ATTENTE_A_dot<=ATTENTE_B_dot | 1<=SORTI_A_dot]]]]
normalized: E [true U [[ROUTE_A_dot<=SUR_PONT_A_dot | [ATTENTE_A_dot<=ATTENTE_B_dot | 1<=SORTI_A_dot]] & [ROUTE_B_dot<=SUR_PONT_A_dot | [sum(CONTROLEUR_sens2, CONTROLEUR_sens1)<=ROUTE_A_dot & 3<=sum(NB_ATTENTE_A_voitureA9, NB_ATTENTE_A_voitureA8, NB_ATTENTE_A_voitureA7, NB_ATTENTE_A_voitureA6, NB_ATTENTE_A_voitureA5, NB_ATTENTE_A_voitureA4, NB_ATTENTE_A_voitureA3, NB_ATTENTE_A_voitureA20, NB_ATTENTE_A_voitureA2, NB_ATTENTE_A_voitureA19, NB_ATTENTE_A_voitureA18, NB_ATTENTE_A_voitureA17, NB_ATTENTE_A_voitureA16, NB_ATTENTE_A_voitureA15, NB_ATTENTE_A_voitureA14, NB_ATTENTE_A_voitureA13, NB_ATTENTE_A_voitureA12, NB_ATTENTE_A_voitureA11, NB_ATTENTE_A_voitureA10, NB_ATTENTE_A_voitureA1, NB_ATTENTE_A_voitureA0)]]]]

abstracting: (3<=sum(NB_ATTENTE_A_voitureA9, NB_ATTENTE_A_voitureA8, NB_ATTENTE_A_voitureA7, NB_ATTENTE_A_voitureA6, NB_ATTENTE_A_voitureA5, NB_ATTENTE_A_voitureA4, NB_ATTENTE_A_voitureA3, NB_ATTENTE_A_voitureA20, NB_ATTENTE_A_voitureA2, NB_ATTENTE_A_voitureA19, NB_ATTENTE_A_voitureA18, NB_ATTENTE_A_voitureA17, NB_ATTENTE_A_voitureA16, NB_ATTENTE_A_voitureA15, NB_ATTENTE_A_voitureA14, NB_ATTENTE_A_voitureA13, NB_ATTENTE_A_voitureA12, NB_ATTENTE_A_voitureA11, NB_ATTENTE_A_voitureA10, NB_ATTENTE_A_voitureA1, NB_ATTENTE_A_voitureA0)) states: 0
abstracting: (sum(CONTROLEUR_sens2, CONTROLEUR_sens1)<=ROUTE_A_dot) states: 9,198,455 (6)
abstracting: (ROUTE_B_dot<=SUR_PONT_A_dot) states: 2,754,985 (6)
abstracting: (1<=SORTI_A_dot) states: 9,524,072 (6)
abstracting: (ATTENTE_A_dot<=ATTENTE_B_dot) states: 5,257,893 (6)
abstracting: (ROUTE_A_dot<=SUR_PONT_A_dot) states: 3,125,856 (6)

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

check for maximal unmarked siphon
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.002sec

272 376 490 614 818 967 1126 1295 1518 1762 1966 2180 2404 2643 2830 3023 3153 3417 3622 3898 47144 50097 50113 50129 50105 50161 50115 50115 52493 52618 54267 54357 55817 57222 57347 58622 59832 59957 61067 62102 62227 63192 64072 64197 65037 65782 65907 66642 67272 67397 68047 68632 68757 69377 69872 70095 70742 71249 71738 71797 71845 71885 71931 71983 72073 72140 72213 72292 72377 72515 72615 72721 72777 72892 72991 73075 73205 73273 73289 75070 75084 75099 75115 75131 75155 75171 75187 75203 75219 75243 75259 75275 75291 75307 75319 75331 75339 75355 75367 75383 79225 79404 79404 79404 79400 79400 79404 79427 79640 80778 80898 81033 81203 81323 81458 81608 81713 81803 81923 82058 82178 82298 82433 82533 82653 82808 82958 83028 83148 83283 83333 83453 83588 83618 83738 83869 83879 83896 83914 83943 83963 83983 84003 84023 84053 84073 84093 84113 84143 84163 84173 84188 84208 84223 84233 84253 86865 86865 86865 86865 86865 86861 86887 87090 88134 88249 88379 88454 88629 88734 88849 88979 89109 89224 89354 89464 89579 89709 89799 89914 90044 90114 90229 90379 90509 90549 90664 90794 90814 90933 90941 90959 90977 91005 91025 91045 91065 91085 91115 91135 91155 91175 91200 91220 91235 91245 91265 91280 93492 93514 93518 93518 93514 93514 93704 93814 94723 94883 94993 95118 95258 95368 95493 95613 95723 95848 95948 96058 96183 96263 96373 96498 96558 96668 96793 96833 96943 97068 97088 97200 97208 97235 97253 97271 97290 97310 97340 97360 97380 97400 97425 97450 97470 97485 97500 97520 97530 99410 99410 99406 99406 99430 99617 100485 100580 100710 100775 100905 101025 101130 101250 101360 101465 101585 101675 101780 101930 102050 102110 102215 102335 102375 102480 102600 102620 102725 102733 102751 102773 102796 102814 102833 102853 102883 102903 102923 102943 102968 102993 103008 103023 103033 104586 104586 104582 104605 104784 105570 105660 105785 105845 105990 106080 106180 106320 106450 106495 106645 106760 106830 106930 107045 107095 107195 107310 107340 107440 107545 107555 107572 107590 107617 107635 107653 107671 107701 107721 107741 107761 107781 107811 107831 107841 109089 109093 109089 109252 109347 110025 110155 110250 110360 110470 110565 110675 110765 110860 110970 111040 111135 111245 111295 111390 111500 111530 111625 111725 111740 111761 111779 111797 111815 111842 111860 111879 111899 111919 111949 111969 111989 112970 112976 112972 113126 113216 113825 113945 114035 114140 114240 114330 114465 114575 114645 114735 114840 114890 114980 115085 115115 115205 115300 115310 115327 115345 115372 115390 115408 115426 115453 115472 115492 115512 115532 116240 116276 116276 116451 116506 117085 117200 117245 117385 117485 117565 117650 117750 117810 117895 117995 118035 118120 118220 118240 118325 118333 118351 118378 118396 118414 118432 118459 118477 118495 118515 118540 119059 119059 119195 119275 119758 119858 119938 120033 120113 120193 120288 120348 120428 120523 120628 120663 120743 120828 120838 120855 120873 120891 120909 120936 120954 120972 120990 121017 121036 121416 121430 121569 122005 122080 122170 122250 122325 122415 122475 122550 122640 122680 122755 122845 122930 122940 122957 122975 122993 123011 123038 123056 123074 123092 123110 123414 123431 123562 123940 124010 124095 124165 124235 124320 124370 124440 124525 124555 124625 124710 124718 124736 124754 124772 124790 124817 124835 124853 124871 125102 125211 125276 125600 125670 125735 125815 125865 125930 126020 126100 126120 126185 126193 126211 126229 126247 126274 126292 126310 126328 126501 126601 126661 126940 127000 127090 127150 127225 127255 127315 127380 127390 127407 127425 127443 127470 127488 127506 127640 127692 127782 128020 128070 128125 128195 128225 128280 128340 128350 128367 128385 128412 128430 128448 128532 128614 128664 128865 128905 128955 129020 129040 129090 129098 129116 129143 129161 129179 129226 129309 129469 129514 129574 129594 129639 129647 129665 129692 129710 129710 129765 129870 129902 129938 129946 129963 129981 129961 129983 130017 130091 130097 130114 130132 130108 130120 130124 130304 130520 130841 131041 131229 131405 131648 131794 131928 132050 132162 132306 132388 132426 132474 132529 132562 132582 132610 132622 133155 133159 133175 133155 133155 133155 133154 133241 133162 133162 133717 133797 133782 133557 133627 133607 133412 133472 133452 133287 133337 133317 133182 133222 133202 133097 133127 133107 133032 133052 133032 132987 132997 132977 132946 133202 133394 133587 133775 134036 134194 134340 134474 134596 134755 134849 134931 135001 135059 135085 135115 135139 135161 135169 133918 133866 133858 133858 133858 133872 133926 133695 133770 134399 134189 134254 134234 134179 134109 134089 133939 133984 133964 133844 133879 133859 133769 133794 133774 133714 133729 133709 133679 133669 133711 133879 134131 134299 134469 134627 134840 134968 135084 135188 135280 135399 135463 135502 135535 135569 135583 135595 134350 134358 134330 134330 134329 134247 134317 134294 134603 134663 134643 134478 134528 134508 134373 134413 134393 134288 134318 134298 134258 134198 134213 134193 134163 134153 134189 134333 134477 134621 134837 134983 135117 135239 135398 135490 135570 135638 135696 135752 135776 135790 135806 134620 134640 134620 134619 134543 134603 134573 134788 134838 134818 134683 134723 134678 134653 134563 134588 134568 134508 134523 134503 134473 134463 134493 134613 134763 134913 135033 135153 135275 135434 135526 135606 135674 135742 135795 135816 135831 135839 134760 134748 134756 134778 134618 134663 134915 134795 134830 134810 134720 134745 134725 134665 134680 134655 134635 134612 134692 134788 134884 134980 135124 135220 135317 135409 135507 135588 135638 135676 135703 135719 134761 134764 134708 134748 134718 134793 134823 134803 134728 134748 134728 134683 134693 134673 134652 134712 134820 134892 134964 135036 135144 135216 135290 135352 135402 135453 135473 134713 134704 134664 134694 134644 134728 134668 134683 134663 134633 134623 134635 134683 134731 134803 134851 134899 134947 135019 135068 135112 135144 135164 134619 134621 134625 134555 134570 134589 134569 134552 134572 134596 134620 134644 134680 134704 134728 134752 134782 134814 134828 134502 134486 134496 134466 134451 134541 134703 134811 134919 135027 135135 135297 135405 135513 135621 135731 135872 135953 135991 136055 136094 136127 136147 136175 136187 135441 135433 135432 135426 135426 135444 135428 135449 135304 135344 135339 135555 135590 135585 135480 135510 135505 135415 135440 135435 135360 135380 135375 135315 135330 135325 135280 135290 135285 135255 135260 135255 135247 135345 135429 135513 135597 135723 135807 135891 135975 136059 136185 136270 136350 136418 136476 136502 136532 136563 136578 136586 135682 135666 135664 135664 135659 135617 135652 135647 135542 135572 135807 135717 135742 135737 135662 135682 135677 135617 135632 135627 135582 135592 135582 135567 135552 135542 135560 135632 135704 135776 135884 135956 136028 136100 136172 136280 136352 136425 136493 136561 136594 136614 136635 136654 135724 135716 135714 135714 135715 135725 135625 135650 135645 135714 135734 135729 135669 135654 135669 135654 135624 135634 135619 135604 135594 135606 135654 135702 135774 135822 135870 135918 135990 136038 136086 136134 136182 136256 136284 136308 136322 136338 135744 135743 135740 135716 135736 135731 135671 135686 135765 135720 135730 135720 135705 135690 135680 135689 135725 135761 135797 135851 135887 135923 135959 135995 136049 136085 136121 136158 136196 136210 136218 135628 135626 135604 135619 135594 135564 135574 135583 135568 135558 135561 135579 135591 135603 135615 135633 135645 135657 135669 135681 135699 135711 135723 135733 135576 135575 135569 135574 135554 135578 135650 135722 135794 135866 135974 136046 136118 136190 136298 136370 136442 136514 136587 136655 136686 136725 136768 136792 136806 136826 136125 136129 136125 136125 136129 136119 136081 136111 136086 136011 136036 136031 136140 136160 136160 136100 136120 136105 136060 136075 136070 136025 136035 136035 136005 135990 135995 135995 135980 135970 135982 136030 136078 136126 136198 136246 136294 136342 136414 136462 136510 136558 136606 136666 136703 136728 136768 136789 136804 137583 136213 136213 136213 136213 136221 136215 136165 136185 136170 136150 136213 136228 136223 136178 136188 136188 136158 136168 136153 136138 136143 136138 136120 136150 136204 136240 136276 136312 136348 136402 136438 136474 136510 136564 136600 136636 136654 136692 136713 136728 136736 136250 136250 136247 136229 136244 136239 136194 136204 136204 136226 136236 136221 136206 136211 136206 136193 136221 136245 136269 136293 136329 136353 136377 136401 136425 136461 136485 136509 136533 136558 136571 136582 136099 136099 136097 136096 136056 136061 136061 136046 136036 136052 136100 136148 136220 136268 136316 136364 136412 136484 136532 136580 136628 136688 136736 136772 136796 136846 136876 136900 136922 136934 136536 136532 136532 136532 136528 136528 136542 136482 136502 136497 136437 136452 136452 136527 136542 136537 136492 136502 136502 136472 136482 136472 136457 136442 136447 136447 136432 136422 136431 136467 136503 136548 136593 136629 136665 136701 136755 136791 136827 136863 136908 136944 136971 136989 137027 137048 137063 136574 136584 136580 136580 136577 136589 136574 136559 136544 136514 136524 136524 136550 136560 136545 136530 136535 136535 136520 136510 136516 136546 136576 136600 136624 136648 136684 136708 136732 136756 136786 136816 136840 136858 136876 136901 136914 136926 136424 136424 136422 136406 136416 136391 136376 136381 136381 136366 136356 136368 136404 136458 136494 136530 136566 136620 136656 136692 136728 136764 136818 136854 136881 136908 136944 136962 136992 137023 137038 137050 136724 136728 136724 136724 136721 136705 136720 136720 136675 136690 136685 136640 136650 136650 136696 136706 136706 136676 136686 136666 136666 136651 136656 136656 136641 136631 136637 136661 136685 136715 136745 136769 136793 136817 136853 136877 136901 136925 136955 136979 136997 137009 137033 137053 137068 136725 136729 136729 136729 136729 136735 136705 136715 136710 136680 136675 136680 136680 136689 136694 136689 136673 136683 136695 136707 136725 136737 136749 136761 136779 136791 136803 136815 136827 136845 136851 136860 136872 136882 136889 136692 136692 136692 136695 136680 136670 136682 136718 136754 136808 136844 136880 136916 136952 137006 137042 137078 137114 137168 137195 137222 137240 137276 137304 137328 137350 137362 136831 136827 136831 136827 136826 136829 136774 136784 136784 136754 136764 136764 136734 136744 136739 136749 136754 136754 136739 136744 136744 136729 136734 136729 136713 136723 136741 136753 136765 136777 136792 136807 136819 136831 136843 136861 136873 136885 136891 136903 136912 136921 136935 136943 136776 136776 136776 136776 136779 136764 136769 136769 136764 136749 136754 136749 136734 136754 136778 136802 136838 136862 136886 136910 136934 136970 136994 137018 137042 137066 137090 137108 137126 137150 137162 137183 137202 136977 136973 136973 136973 136971 136961 136971 136971 136941 136951 136951 136921 136931 136916 136901 136906 136906 136923 136928 136923 136923 136908 136898 136901 136913 136925 136937 136955 136967 136979 136991 137003 137021 137033 137045 137057 137072 137081 137087 137096 137108 137119 137127 136936 136936 136935 136929 136934 136934 136919 136924 136919 136904 136936 136960 136984 137008 137038 137068 137092 137116 137140 137176 137200 137224 137248 137272 137284 137302 137320 137346 137360 137380 137106 137106 137106 137106 137106 137114 137084 137094 137089 137059 137064 137064 137049 137054 137049 137049 137034 137039 137063 137048 137038 137041 137053 137065 137080 137095 137107 137119 137131 137149 137161 137173 137185 137200 137212 137221 137227 137239 137248 137258 137060 137060 137060 137059 137053 137048 137038 137046 137070 137094 137118 137148 137178 137202 137226 137250 137286 137310 137334 137358 137382 137406 137418 137436 137460 137479 137492 137512 137050 137046 137046 137044 137030 137040 137015 137000 137005 137005 136990 136995 136995 136980 136985 136985 136970 136975 136970 136955 136971 136983 136995 137007 137022 137037 137049 137061 137073 137091 137103 137115 137127 137139 137145 137154 137163 137175 137181 137201 137086 137082 137082 137081 137077 137082 137082 137067 137072 137072 137057 137062 137062 137047 137042 137047 137042 137027 137037 137049 137061 137073 137091 137103 137115 137127 137142 137157 137169 137181 137193 137205 137214 137223 137235 137241 137250 137265 137145 137145 137145 137145 137148 137145 137145 137130 137135 137135 137120 137125 137125 137110 137115 137110 137095 137105 137123 137135 137147 137159 137171 137189 137201 137213 137225 137243 137255 137267 137273 137285 137294 137303 137309 137321 137333 137208 137204 137204 137203 137199 137204 137199 137199 137184 137189 137189 137174 137179 137174 137159 137169 137181 137199 137211 137223 137235 137247 137265 137277 137289 137301 137313 137331 137337 137346 137358 137367 137373 137385 137397 137263 137259 137259 137258 137254 137259 137254 137254 137239 137244 137244 137229 137219 137223 137235 137247 137265 137277 137289 137301 137319 137331 137343 137355 137367 137385 137394 137403 137409 137421 137430 137439 137453 137465 137310 137310 137309 137305 137310 137310 137295 137300 137300 137285 137275 137279 137291 137309 137321 137333 137345 137357 137375 137387 137399 137411 137426 137441 137450 137459 137471 137477 137486 137498 137509 137521 137351 137351 137350 137346 137351 137351 137336 137341 137336 137321 137331 137349 137361 137373 137385 137403 137415 137427 137439 137451 137469 137481 137493 137499 137511 137520 137529 137541 137547 137567 137384 137384 137384 137384 137389 137384 137369 137359 137363 137375 137387 137399 137411 137429 137441 137453 137465 137483 137495 137507 137519 137531 137543 137549 137558 137570 137579 137585 137605 137411 137411 137410 137406 137411 137406 137391 137401 137413 137425 137443 137455 137467 137479 137494 137509 137521 137533 137545 137563 137569 137578 137587 137599 137605 137617 137628 137259 137259 137259 137258 137255 137230 185134 249595 287954 354766 418600
iterations count:2075501 (2144), effective:19348 (19)

initing FirstDep: 0m 0.002sec

353170 353297 353431 353572 353717 353866 354019 354176 354337 357148 357232 357258 357280 357300 357318 357335 357350 357365 357378 357392 357404 357416 357428 357438 357449 357460 357470 357479 357488 357498 357506 357516 357524 357532 357541 357550 357558 357565 357572 357580 357588 357596 357602 357610 357616 357624 357630 357637 357644 357650 357656 357664 357764 357848 357932 358016 358115 358121 358124 358126 358129 358132 358135 358183 358189 358192 358194 358197 358199 358202 358209 358256 358259 358261 358263 358266 358268 358271 358319 358325 358327 358329 358332 358334 358336 358339 358387 358395 358398 358400 358402 358405 358407 358409 358411 358414 358416 358418 358421 358423 358425 358433 359643 359698 359776 359889 359980 360108 360169 360267 360346 360508 360609 360704 360793 360876 360990 361058 361120 361176 361248 361289 361324 361353 363171 363294 363369 365104 365199 366853 366954 364256 364340 364380 364420 364460 364500 364540 364580 364620 364660 365140 366660 366689 366713 366734 366752 366770 366786 366800 366814 366828 366840 366852 366864 366876 366886 366896 366906 366916 366926 366936 366944 366954 366962 366971 366980 366988 366996 367004 367012 367019 367026 367034 367042 367048 367056 367062 367070 367076 367082 367090 367096 367102 367108 367116 367122 367128 367134 367238 367325 367412 367499 367602 367607 367610 367613 367616 367618 367621 367629 367677 367680 367683 367685 367688 367691 367693 367744 367749 367752 367754 367757 367759 367762 367764 367771 367820 367822 367825 367827 367829 367832 367834 367836 367890 367895 367897 367899 367902 367904 367906 367909 367911 367913 367916 367918 367920 367922 367925 367927 367934 369201 369283 369337 369474 369582 369669 369791 369849 369962 370069 370219 370311 370397 370477 370551 370650 370709 370762 370809 370869 370901 370984 372856 373003 374642 374908 375027 376751 376849 374445 374599 374659 374710 374765 374824 374887 374954 375025 375100 376284 376397 376444 376498 376559 376624 376693 376766 376883 376966 377513 379355 379623 379650 379675 379695 379718 379738 379754 379772 379786 379804 379816 379828 379844 379856 379866 379881 379892 379906 379915 379924 379934 379947 379956 379964 379977 379986 379994 380002 380014 380022 380030 380036 380048 380056 380063 380070 380082 380088 380095 380102 380112 380120 380126 380132 380138 380148 380156 380162 380168 380178 380184 380190 380196 380202 380230 380289 380379 380469 380559 380649 380742 380744 380747 380750 380753 380755 380758 380832 380876 380879 380882 380884 380887 380889 380892 380899 381007 381010 381012 381014 381017 381019 381022 381024 381134 381136 381138 381141 381143 381145 381148 381150 381152 381259 381281 381283 381286 381288 381290 381293 381295 381297 381299 381302 381304 381306 381309 381311 381313 381316 381328 383206 383301 383394 383396 383400 383403 383406 383408 383414 383418 383422 383426 383430 383436 383440 383444 383448 383454 383458 383462 383466 384723 385345 385438 387181 387274 388952 391993 392717 395949 396187 399394 402300 402341 405031 407426 407467 409652 411589 413240 413281 414731 415942 416917 417618 418130 418397 418438 418600
iterations count:453512 (468), effective:2773 (2)
4844 6273 8341 10016 11054 12489 15176 17226 19272 21314 24370 26402 28430 30454 32474 35496 37506 39512 41514 43818 44611 63020 63810 64960 82338 83523 84278 101413 102563 103743 106490 108356 109965 111872 112019 114599 115670 117423 119412 119559 119853 122492 123416 123605 124004 126680 127562 127751 128150 131179 132040 132229 132628 133111 136047 136887 137076 137475 137958 140471 142077 142329 142728 143211 143778 147038 147836 148025 148424 148907 149474 152429 153949 154096 154600 155083 155650 156301 159949 160705 160894 161293 161776 162343 162994 166455 167889 168036 168540 169023 169590 170241 170976 175076 175790 175979 176378 176861 177428 178079 178814 182845 184193 184445 184844 185327 185894 186545 187280 188099 192715 193387 193576 193975 194458 195025 195676 196810 197671 202569 203220 203409 203808 204291 204858 205509 206244 207063 207966 213162 213792 213981 214611 215136 215745 216438 217215 218076 219021 224531 224626 224815 225214 225697 226264 226915 227650 228469 229372 230359 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240331 240352 240394 240394 240394 240394 240394 240394 240394 240457 240457 240457 240457 240457 240457 240457 240457 240517 240517 240517 240517 240517 240517 240517 240517 240517 240574 240574 240574 240574 240574 240574 240574 240574 240574 240647 240647 240647 240647 240647 240647 240647 240647 240647 240647 240647 240647 240647 240647 240647 240647 240647 241261 241303 241363 241354 241345 241333 241327 241318 241306 241291 241279 241267 241255 241237 241225 241213 241201 241189 241171 241159 241147 241620 241673 242132 242166 242590 242623 255880 257015 257016 257017 257016 257017 257017 257015 257017 257017 257015 257017 257017 257016 257017 257017 257017 257015 257017 257017 257017 257016 257017 257017 257017 257017 257016 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257017 257017 257017 257016 257017 257017 257017 257017 257017 257017 257017 257017 257017 257015 257017 257017 257017 257017 257017 257017 257017 257017 257017 257016 257015 270432 270434 270432 270433 270434 270434 270432 270434 270434 270432 270434 270434 270433 270434 270434 270434 270433 270434 270434 270434 270433 270434 270434 270434 270434 270433 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270434 270434 270434 270433 270434 270434 270434 270434 270434 270434 270434 270434 270434 270432 270434 270434 270434 270434 270434 270434 270434 270434 270434 270433 270432 282886 282888 282886 282888 282886 282888 282886 282888 282888 282886 282888 282888 282887 282888 282888 282888 282887 282888 282888 282888 282887 282888 282888 282888 282888 282887 282888 282888 282888 282888 282887 282888 282888 282888 282888 282888 282887 282888 282888 282888 282888 282888 282888 282886 282888 282888 282888 282888 282888 282887 282888 282888 282888 282888 282888 282888 282888 282888 282888 282888 282888 282888 282888 282888 282887 282888 282888 282888 282888 282888 282888 282888 282887 282888 282888 282888 282888 282888 282888 282888 282888 282887 282888 282888 282888 282888 282888 282888 282888 282888 282887 282888 282888 282888 282888 282888 282888 282888 282888 282888 282887 282888 282888 282888 282888 282888 282888 282888 282888 282888 282887 282886 294390 294392 294390 294392 294390 294392 294390 294392 294392 294390 294392 294392 294391 294392 294392 294392 294391 294392 294392 294392 294391 294392 294392 294392 294392 294391 294392 294392 294392 294392 294392 294392 294392 294392 294392 294392 294391 294392 294392 294392 294392 294392 294392 294390 294392 294392 294392 294392 294392 294391 294392 294392 294392 294392 294392 294392 294392 294390 294392 294392 294392 294392 294392 294392 294391 294392 294392 294392 294392 294392 294392 294392 294391 294392 294392 294392 294392 294392 294392 294392 294392 294391 294392 294392 294392 294392 294392 294392 294392 294392 294391 294392 294392 294392 294392 294392 294392 294392 294392 294392 294391 294392 294392 294392 294392 294392 294392 294392 294392 294392 294391 294390 304958 304960 304958 304960 304958 304960 304958 304960 304960 304958 304960 304960 304959 304960 304960 304960 304959 304960 304960 304960 304959 304960 304960 304960 304960 304959 304960 304960 304960 304960 304960 304960 304960 304960 304960 304960 304959 304960 304960 304960 304960 304960 304960 304958 304960 304960 304960 304960 304960 304959 304960 304960 304960 304960 304960 304960 304960 304958 304960 304960 304960 304960 304960 304960 304959 304960 304960 304960 304960 304960 304960 304960 304959 304960 304960 304960 304960 304960 304960 304960 304960 304959 304960 304960 304960 304960 304960 304960 304960 304960 304959 304960 304960 304960 304960 304960 304960 304960 304960 304960 304959 304960 304960 304960 304960 304960 304960 304960 304960 304960 304959 304958 314656 314658 314656 314658 314658 314658 314656 314658 314658 314656 314658 314658 314657 314658 314658 314658 314657 314658 314658 314658 314657 314658 314658 314658 314658 314657 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314658 314658 314658 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314658 314658 314658 314658 314657 314658 314658 314658 314658 314658 314658 314658 314658 314658 314657 314656 323449 323451 323451 323450 323451 323451 323449 323451 323451 323449 323451 323451 323450 323451 323451 323451 323449 323451 323451 323451 323450 323451 323451 323451 323451 323450 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323451 323451 323451 323450 323451 323451 323451 323451 323451 323451 323451 323451 323451 323449 323451 323451 323451 323451 323451 323451 323451 323451 323451 323450 330233 331354 331355 331356 331355 331356 331356 331354 331356 331356 331354 331356 331356 331355 331356 331356 331356 331354 331356 331356 331356 331355 331356 331356 331356 331356 331354 331356 331356 331356 331356 331355 331356 331356 331356 331356 331356 331355 331356 331356 331356 331356 331356 331355 331356 331356 331356 331356 331356 331356 331355 331356 331356 331356 331356 331356 331356 331355 331356 331356 331356 331356 331356 331356 331356 331355 331356 331356 331356 331356 331356 331356 331356 331355 331356 331356 331356 331356 331356 331356 331356 331356 331354 331356 331356 331356 331356 331356 331356 331356 331356 331355 331356 331356 331356 331356 331356 331356 331356 331356 331356 331354 331356 331356 331356 331356 331356 331356 331356 331356 331356 331355 337583 338389 338390 338391 338390 338391 338391 338389 338391 338390 338391 338391 338391 338389 338391 338391 338391 338389 338391 338391 338391 338390 338391 338391 338391 338391 338389 338391 338391 338391 338391 338390 338391 338391 338391 338391 338391 338389 338391 338391 338391 338391 338391 338390 338391 338391 338391 338391 338391 338391 338389 338391 338391 338391 338391 338391 338391 338390 338391 338391 338391 338391 338391 338391 338391 338389 338391 338391 338391 338391 338391 338391 338391 338390 338391 338391 338391 338391 338391 338391 338391 338391 338389 338391 338391 338391 338391 338391 338391 338391 338391 338390 338391 338391 338391 338391 338391 338391 338391 338391 338391 338389 338391 338391 338391 338391 338391 338391 338391 338391 338391 338389 343767 344573 344574 344575 344574 344575 344574 344575 344575 344574 344575 344575 344575 344573 344575 344575 344575 344573 344575 344575 344575 344573 344575 344575 344575 344575 344573 344575 344575 344575 344575 344573 344575 344575 344575 344575 344575 344573 344575 344575 344575 344575 344575 344574 344575 344575 344575 344575 344575 344575 344573 344575 344575 344575 344575 344575 344575 344574 344575 344575 344575 344575 344575 344575 344575 344573 344575 344575 344575 344575 344575 344575 344575 344573 344575 344575 344575 344575 344575 344575 344575 344575 344573 344575 344575 344575 344575 344575 344575 344575 344575 344573 344575 344575 344575 344575 344575 344575 344575 344575 344575 344573 344575 344575 344575 344575 344575 344575 344575 344575 344575 344573 349926 349928 349926 349928 349926 349928 349927 349928 349928 349927 349928 349928 349927 349928 349928 349928 349927 349928 349928 349928 349928 349926 349928 349928 349928 349927 349928 349928 349928 349928 349928 349926 349928 349928 349928 349928 349928 349926 349928 349928 349928 349928 349928 349926 349928 349928 349928 349928 349928 349928 349926 349928 349928 349928 349928 349928 349928 349926 349928 349928 349928 349928 349928 349928 349928 349926 349928 349928 349928 349928 349928 349928 349928 349926 349928 349928 349928 349928 349928 349928 349928 349927 349928 349928 349928 349928 349928 349928 349928 349928 349928 349926 349928 349928 349928 349928 349928 349928 349928 349928 349927 349928 349928 349928 349928 349928 349928 349928 349928 349928 349928 349926 354469 354471 354469 354471 354469 354471 354470 354471 354471 354469 354471 354471 354470 354471 354471 354471 354470 354471 354471 354471 354470 354471 354471 354471 354471 354470 354471 354471 354471 354471 354471 354469 354471 354471 354471 354471 354470 354471 354471 354471 354471 354471 354471 354469 354471 354471 354471 354471 354471 354470 354471 354471 354471 354471 354471 354471 354471 354469 354471 354471 354471 354471 354471 354471 354470 354471 354471 354471 354471 354471 354471 354471 354471 354471 354471 354471 354471 354471 354471 354471 354471 354470 354471 354471 354471 354471 354471 354471 354471 354471 354470 354471 354471 354471 354471 354471 354471 354471 354471 354471 354470 354471 354471 354471 354471 354471 354471 354471 354471 354471 354470 356236 358224 358225 358226 358225 358226 358226 358224 358226 358226 358224 358226 358226 358225 358226 358226 358226 358224 358226 358226 358226 358225 358226 358226 358226 358226 358225 358226 358226 358226 358226 358225 358226 358226 358226 358226 358226 358225 358226 358226 358226 358226 358226 358225 358226 358226 358226 358226 358226 358226 358225 358226 358226 358226 358226 358226 358226 358225 358226 358226 358226 358226 358226 358226 358226 358225 358226 358226 358226 358226 358226 358226 358226 358225 358226 358226 358226 358226 358226 358226 358226 358226 358224 358226 358226 358226 358226 358226 358226 358226 358226 358225 358226 358226 358226 358226 358226 358226 358226 358226 358226 358224 358226 358226 358226 358226 358226 358226 358226 358226 358226 358225 360408 361214 361215 361216 361215 361216 361215 361216 361216 361215 361216 361216 361216 361214 361216 361216 361216 361214 361216 361216 361216 361214 361216 361216 361216 361216 361214 361216 361216 361216 361216 361215 361216 361216 361216 361216 361216 361214 361216 361216 361216 361216 361216 361215 361216 361216 361216 361216 361216 361216 361214 361216 361216 361216 361216 361216 361216 361215 361216 361216 361216 361216 361216 361216 361216 361214 361216 361216 361216 361216 361216 361216 361216 361214 361216 361216 361216 361216 361216 361216 361216 361216 361214 361216 361216 361216 361216 361216 361216 361216 361216 361214 361216 361216 361216 361216 361216 361216 361216 361216 361216 361214 361216 361216 361216 361216 361216 361216 361216 361216 361216 361214 363463 363465 363463 363465 363463 363465 363464 363465 363465 363464 363465 363465 363464 363465 363465 363465 363464 363465 363465 363465 363465 363463 363465 363465 363465 363464 363465 363465 363465 363465 363465 363463 363465 363465 363465 363465 363465 363465 363465 363465 363465 363465 363465 363463 363465 363465 363465 363465 363465 363465 363465 363465 363465 363465 363465 363465 363465 363463 363465 363465 363465 363465 363465 363465 363464 363465 363465 363465 363465 363465 363465 363465 363465 363463 363465 363465 363465 363465 363465 363465 363465 363464 363465 363465 363465 363465 363465 363465 363465 363465 363465 363463 363465 363465 363465 363465 363465 363465 363465 363465 363464 363465 363465 363465 363465 363465 363465 363465 363465 363465 363464 363463 364927 364925 364921 364918 364916 364914 364911 364909 364907 364904 364902 364900 364897 364895 364893 364890 364887 364885 364883 364881 364878 364876 364874 364872 364870 364867 364865 364863 364860 364858 364855 364853 364851 364849 364847 364845 364842 364840 364838 364836 364834 364831 364828 364826 364824 364822 364820 364818 364816 364813 364811 364809 364807 364805 364802 364800 364797 364795 364793 364791 364789 364787 364785 364783 364780 364778 364776 364774 364771 364769 364767 364765 364762 364760 364758 364756 364754 364752 364750 364748 364746 364743 364741 364738 364736 364734 364732 364730 364728 364726 364723 364721 364719 364717 364715 364713 364711 364708 364706 364704 364701 364699 364697 364695 364693 364691 364689 364687 364685 364683 364658 364657
iterations count:2075094 (2143), effective:5432 (5)
176524 178107 178164 178162 180349 180410 180408 182447 182513 182739 182901 183093 183283 183471 183657 183841 184023 184203 184419 184643 184816 184987 185156 185323 185729 186630 191510 191597 191727 192572 197396 197528 198376 203092 203179 204027 207410 207833 208277 208614 208836 208872 209323 209350 209371 209831 209858 209920 210138 210350 210428 210474 210872 210899 210961 211058 211259 211456 211493 211580 211687 211882 212074 212152 212249 212366 212555 212742 212779 212866 212973 213100 213283 213465 213502 213589 213757 213894 214071 214248 214285 214372 214479 214606 214753 214924 215096 215133 215220 215388 215525 215682 215847 216014 216051 216138 216245 216372 216519 216686 216845 217007 217044 217182 217299 217436 217593 217770 217923 218080 218117 218204 218311 218438 218585 218752 218939 219086 219254 219316 219413 219530 219667 219824 220001 220198 220339 220486 220523 220610 220717 220844 220991 221249 221446 221552 221818 221845 221907 222004 222121 222258 222415 222592 222789 222918 223063 223098 223168 223333 223468 223623 223798 223993 224208 224443 224557 224690 224973 225088 225220 225335 225467 225582 225714 225860 225930 225964 226049 226084 226101 226171 226205 226220 226310 226327 226342 226480 226546 226578 226610 226690 226723 226739 226755 226821 226854 226870 226886 226952 226985 227001 227017 227079 227206 227236 227266 227296 227371 227402 227417 227432 227447 227509 227540 227555 227570 227585 227647 227678 227693 227708 227723 227781 227870 227928 227956 227984 228012 228082 228111 228125 228139 228153 228167 228225 228254 228268 228282 228296 228310 228368 228397 228411 228425 228439 228453 228507 228618 228644 228670 228696 228722 228748 228813 228840 228853 228866 228879 228892 228905 228959 228986 228999 229012 229025 229038 229051 229105 229132 229145 229158 229170 229183 229194 229300 229350 229374 229398 229422 229446 229470 229494 229552 229577 229589 229601 229613 229625 229637 229649 229698 229723 229735 229747 229758 229770 229782 229791 229856 229868 229880 229892 229904 229916 229928 229937 230035 230081 230103 230125 230147 230169 230191 230213 230235 230288 230311 230321 230332 230343 230354 230365 230376 230384 230444 230455 230466 230477 230488 230499 230510 230521 230529 230589 230600 230611 230622 230633 230644 230655 230666 230674 230784 230804 230824 230844 230864 230884 230904 230924 230944 230969 231024 231034 231044 231054 231064 231074 231084 231094 231104 231111 231166 231176 231186 231196 231217 231227 231237 231247 231257 231298 231319 231329 231339 231349 231359 231369 231379 231389 231399 231436 231495 231513 231531 231549 231567 231585 231603 231641 231659 231677 231679 231739 231748 231757 231766 231775 231784 231793 231802 231811 231820 231857 231876 231885 231894 231903 231912 231921 231930 231939 231948 231957 231994 232013 232022 232031 232039 232048 232057 232066 232075 232084 232090 232164 232198 232214 232230 232246 232262 232278 232294 232310 232326 232342 232358 232396 232413 232421 232429 232437 232445 232452 232460 232468 232476 232484 232489 232534 232542 232550 232558 232566 232574 232582 232590 232598 232606 232614 232619 232664 232672 232680 232688 232696 232704 232712 232720 232728 232736 232753 232749 232829 232843 232857 232871 232885 232899 232913 232927 232941 232955 232969 232983 232999 233039 233046 233053 233060 233067 233074 233081 233088 233095 233102 233109 233124 233120 233160 233175 233182 233189 233196 233203 233210 233217 233224 233231 233238 233245 233274 233289 233296 233303 233310 233317 233324 233331 233338 233345 233352 233359 233366 233391 233432 233444 233470 233482 233494 233506 233518 233530 233542 233554 233566 233578 233590 233618 233631 233637 233643 233649 233655 233661 233667 233673 233679 233685 233691 233697 233703 233728 233741 233747 233753 233759 233765 233771 233776 233782 233788 233794 233800 233806 233809 233844 233850 233856 233862 233868 233874 233880 233886 233892 233898 233904 233910 233916 233919 233969 233991 234001 234011 234021 234031 234041 234049 234059 234069 234079 234089 234099 234109 234119 234149 234154 234159 234164 234169 234174 234179 234184 234189 234194 234199 234204 234209 234214 234216 234246 234251 234256 234261 234266 234271 234276 234281 234286 234297 234302 234307 234312 234317 234313 234349 234354 234359 234364 234369 234374 234379 234384 234389 234394 234399 234404 234409 234414 234431 234460 234468 234476 234484 234492 234500 234508 234516 234524 234532 234550 234558 234566 234574 234582 234579 234619 234625 234631 234637 234643 234649 234655 234661 234667 234673 234679 234685 234691 234697 234703 234709 234713 234739 234749 234753 234757 234761 234765 234769 234771 234775 234779 234783 234787 234791 234795 234799 234803 234807 234808 234826 234832 234834 234836 234838 234840 234842 234844 234846 234848 234850 234852 234854 234856 234858 234860 234862 234864 234866 234865 234870 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234872 234886 234895 234899 234903 234907 234911 234915 234919 234923 234927 234931 234935 234939 234943 234947 234951 234964 234971 234974 234977 234980 234983 234986 234988 234991 234994 234997 235000 235003 235006 235009 235012 235012 235027 235029 235031 235033 235035 235037 235039 235041 235043 235045 235047 235049 235051 235053 235055 235057 235059 235058 235068 235069 235070 235071 235072 235073 235074 235075 235076 235077 235078 235079 235082 235083 235084 235085 235086 235087 235083 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235091 235108 235117 235121 235125 235129 235133 235137 235141 235145 235149 235153 235157 235161 235165 235169 235173 235186 235193 235196 235199 235202 235204 235207 235210 235213 235216 235219 235222 235225 235228 235231 235234 235234 235249 235251 235253 235255 235257 235259 235261 235263 235265 235267 235269 235271 235273 235275 235277 235279 235281 235280 235293 235294 235295 235296 235297 235298 235299 235300 235301 235302 235305 235306 235307 235308 235309 235310 235311 235312 235313 235316 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235318 235335 235344 235348 235352 235356 235360 235364 235368 235372 235376 235380 235384 235388 235392 235396 235408 235413 235420 235423 235426 235429 235431 235434 235437 235440 235443 235446 235449 235452 235455 235458 235461 235461 235480 235482 235484 235486 235488 235490 235492 235494 235496 235498 235500 235502 235504 235506 235508 235510 235512 235511 235524 235528 235529 235530 235531 235532 235533 235534 235535 235536 235539 235540 235541 235542 235543 235544 235545 235546 235542 235550 235552 235554 235554 235554 235554 235554 235554 235554 235554 235554 235554 235554 235554 235554 235554 235554 235554 235554 236815 238077 240172 240265 240400 240482 240574 240660 240759 240845 240850 240957 241045 241050 241062 241202 241244 241251 241268 241452 241457 241469 241488 241642 241681 241688 241705 241726 241889 241927 241934 241951 241984 242157 242194 242201 242218 242239 242264 242448 242484 242491 242508 242529 242554 242764 242799 242806 242823 242844 242869 242898 243107 243141 243148 243165 243186 243211 243240 243479 243512 243519 243536 243557 243582 243611 243644 243882 243914 243921 243938 243959 243998 244029 244064 244318 244349 244356 244373 244394 244419 244448 244481 244518 244789 244819 244826 244853 244876 244903 244934 244969 245008 245297 245326 245333 245350 245371 245396 245425 245458 245495 245536 245870 245875 245887 245906 245929 245956 245987 246022 246061 246082 246222 246227 246239 246258 246281 246323 246356 246393 246434 246474 246475 281466 281475 282004 281980 281956 281954 281931 281929 281906 281904 281902 281881 281879 281877 281874 281855 281853 281851 281848 281830 281827 281825 281822 281805 281803 281801 281799 281796 281780 281778 281776 281774 281772 281756 281753 281751 281749 281747 281744 281730 281728 281726 281724 281722 281720 281706 281703 281701 281699 281697 281695 281692 281680 281678 281676 281674 281672 281670 281668 281656 281653 281651 281649 281647 281645 281643 281640 281630 281628 281626 281624 281622 281620 281618 281614 281605 281603 281601 281599 281597 281595 281593 281591 281588 281580 281578 281576 281574 281571 281569 281567 281565 281562 281555 281553 281551 281549 281547 281545 281543 281541 281539 281536 281530 281527 281525 281523 281521 281519 281517 281515 281513 281488 281494 281501 281513 281527 281541 281555 281569 281590 281604 281618 281647 281762 281839 281948 281965 281983 282086 282120 282136 282153 282250 282282 282314 282329 282345 282436 282466 282496 282526 282540 282555 282640 282668 282696 282724 282766 282779 282779 282858 282884 282923 282949 282975 283001 283013 283013 283098 283122 283146 283170 283194 283218 283242 283253 283298 283331 283353 283375 283397 283419 283441 283463 283485 283495 283536 283566 283586 283606 283626 283646 283666 283686 283706 283726 283735 283772 283799 283817 283835 283853 283871 283889 283916 283934 283952 283960 283969 284002 284034 284050 284066 284082 284098 284114 284130 284146 284162 284178 284185 284193 284236 284250 284264 284278 284292 284306 284320 284334 284348 284362 284376 284390 284396 284403 284440 284452 284464 284476 284488 284500 284512 284524 284536 284548 284566 284578 284590 284595 284595 284626 284641 284651 284661 284671 284681 284691 284701 284711 284721 284731 284741 284751 284761 284765 284782 284794 284802 284810 284818 284826 284834 284842 284850 284858 284866 284874 284882 284890 284898 284906 284909 284922 284931 284937 284943 284949 284955 284961 284967 284973 284979 284985 284991 284997 285006 285012 285018 285020 285023 285032 285038 285042 285048 285052 285056 285060 285064 285068 285072 285076 285080 285084 285088 285092 285096 285100 285101 285103 285110 285112 285114 285116 285118 285120 285122 285124 285126 285128 285130 285132 285134 285136 285138 285140 285142 285144 285144 285145 306905 306919 306949 307426 307401 307399 307376 307374 307371 307350 307348 307345 307325 307323 307321 307301 307299 307296 307293 307275 307273 307271 307269 307251 307249 307247 307245 307243 307226 307224 307221 307219 307217 307201 307199 307197 307195 307193 307191 307176 307174 307172 307169 307167 307165 307151 307149 307147 307145 307143 307141 307139 307126 307124 307122 307120 307117 307115 307113 307101 307099 307097 307095 307093 307091 307089 307087 307076 307074 307072 307069 307067 307065 307063 307061 307051 307049 307047 307045 307043 307041 307039 307037 307035 307026 307023 307021 307019 307017 307015 307013 307011 307009 307001 306999 306997 306995 306993 306991 306988 306986 306984 306981 306975 306973 306971 306969 306967 306965 306963 306961 306959 306957 306929 306932 306932 306932 306932 306932 306932 306932 306932 306932 306926 307020 307130 307184 307197 307191 307242 307256 307253 307248 307293 307306 307303 307300 307297 307337 307349 307346 307343 307340 307332 307374 307385 307382 307379 307376 307371 307365 307404 307414 307411 307408 307403 307400 307397 307391 307427 307436 307431 307428 307425 307422 307419 307416 307410 307452 307449 307446 307443 307440 307437 307434 307431 307428 307422 307460 307457 307454 307451 307448 307445 307442 307439 307436 307433 307427 307461 307458 307455 307452 307449 307446 307443 307440 307437 307434 307431 307425 307455 307452 307449 307446 307443 307440 307436 307433 307430 307427 307424 307421 307416 307441 307438 307435 307432 307429 307426 307423 307420 307417 307414 307411 307408 307405 307418 307421 307418 307415 307412 307409 307406 307403 307400 307397 307394 307391 307388 307385 307382 307392 307394 307391 307388 307385 307382 307379 307376 307373 307370 307367 307364 307361 307358 307353 307347 307359 307360 307357 307354 307351 307348 307343 307340 307337 307334 307331 307328 307325 307322 307319 307316 307310 307320 307317 307314 307311 307308 307305 307302 307299 307296 307293 307290 307287 307284 307281 307278 307275 307272 307266 307272 307269 307266 307263 307260 307257 307254 307251 307248 307245 307242 307239 307236 307233 307230 307227 307224 307221 307215 307196 307173 307151 307130 307110 307091 307073 307056 307040 307025 307011 306998 306985 306974 306964 306955 306947 306940 306934 306927 318568 318582 318614 319090 319066 319064 319041 319039 319036 319015 319013 319010 318990 318988 318986 318966 318964 318961 318958 318940 318938 318936 318934 318916 318914 318912 318910 318908 318891 318888 318886 318884 318882 318866 318864 318862 318860 318858 318856 318841 318839 318837 318834 318832 318830 318816 318814 318812 318810 318808 318806 318804 318791 318789 318787 318784 318782 318780 318778 318766 318764 318762 318760 318758 318756 318754 318752 318741 318739 318736 318734 318732 318730 318728 318726 318716 318714 318712 318710 318708 318706 318704 318702 318700 318691 318688 318686 318684 318682 318680 318678 318676 318674 318666 318664 318662 318660 318658 318655 318653 318651 318649 318646 318640 318638 318636 318634 318632 318630 318628 318626 318624 318622 318594 318597 318597 318597 318597 318597 318597 318597 318597 318597 318591 318685 318795 318849 318864 318856 318907 318921 318918 318915 318958 318971 318968 318965 318962 319002 319014 319011 319008 319005 319002 319039 319050 319047 319044 319041 319038 319035 319069 319079 319076 319073 319070 319067 319064 319061 319092 319101 319098 319095 319092 319089 319086 319083 319075 319108 319116 319113 319110 319107 319104 319099 319096 319093 319087 319117 319124 319121 319118 319113 319110 319107 319104 319101 319098 319092 319126 319123 319120 319117 319114 319111 319108 319105 319102 319099 319096 319090 319120 319117 319114 319111 319108 319105 319102 319099 319096 319093 319090 319087 319081 319107 319104 319101 319098 319095 319092 319089 319086 319083 319080 319077 319074 319071 319065 319087 319084 319081 319078 319075 319072 319069 319066 319063 319059 319056 319053 319050 319047 319042 319060 319057 319054 319050 319047 319044 319041 319038 319035 319032 319029 319026 319023 319020 319017 319024 319025 319022 319019 319016 319013 319010 319007 319004 319001 318998 318995 318992 318989 318986 318983 318980 318984 318984 318981 318978 318975 318972 318969 318966 318963 318960 318957 318954 318951 318948 318945 318942 318939 318936 318937 318936 318933 318930 318927 318924 318921 318918 318915 318912 318909 318906 318903 318900 318895 318892 318889 318886 318880 318883 318860 318837 318815 318794 318774 318755 318721 318705 318690 318676 318663 318651 318640 318630 318621 318613 318606 318600 318587 318612 330054 330061 330593 330569 330545 330541 330519 330517 330495 330493 330491 330470 330468 330466 330463 330444 330442 330440 330437 330418 330416 330414 330411 330394 330392 330390 330388 330385 330369 330367 330365 330362 330359 330344 330342 330340 330338 330336 330333 330319 330317 330315 330313 330311 330307 330294 330292 330290 330288 330286 330284 330281 330269 330267 330265 330263 330261 330259 330255 330244 330242 330240 330238 330236 330234 330232 330229 330219 330217 330215 330213 330210 330208 330206 330203 330194 330192 330190 330188 330186 330184 330182 330180 330177 330169 330167 330164 330162 330160 330158 330156 330154 330151 330144 330142 330140 330138 330136 330134 330132 330130 330128 330125 330118 330116 330114 330112 330110 330108 330106 330104 330102 330077 330076 330076 330076 330076 330076 330076 330076 330076 330076 330075 330070 330164 330274 330344 330341 330335 330401 330398 330395 330389 330451 330448 330445 330442 330436 330494 330491 330488 330485 330482 330476 330530 330527 330524 330521 330518 330515 330509 330559 330556 330553 330550 330547 330544 330541 330535 330581 330578 330575 330572 330569 330566 330563 330560 330554 330596 330593 330590 330587 330584 330581 330578 330575 330572 330566 330604 330601 330598 330595 330592 330589 330586 330583 330580 330577 330571 330605 330602 330599 330596 330593 330590 330587 330584 330581 330578 330575 330569 330599 330596 330593 330590 330587 330584 330581 330578 330575 330572 330569 330566 330560 330586 330583 330580 330577 330574 330571 330568 330565 330562 330558 330555 330552 330549 330544 330566 330563 330560 330557 330554 330550 330547 330544 330541 330538 330535 330532 330529 330526 330521 330538 330535 330532 330529 330526 330523 330520 330517 330514 330511 330508 330505 330502 330499 330496 330503 330504 330501 330498 330495 330492 330489 330486 330483 330480 330477 330474 330471 330468 330465 330462 330459 330463 330463 330460 330457 330454 330451 330448 330445 330442 330439 330436 330433 330430 330427 330424 330421 330418 330415 330416 330415 330412 330409 330406 330403 330400 330397 330394 330391 330388 330385 330382 330379 330376 330371 330368 330365 330359 330362 330339 330316 330294 330273 330253 330234 330216 330199 330169 330155 330142 330130 330119 330109 330100 330092 330085 330079 330064 330085 341371 341378 341910 341886 341862 341860 341837 341835 341832 341811 341809 341806 341785 341783 341780 341761 341759 341757 341754 341736 341734 341732 341730 341712 341709 341707 341705 341702 341686 341684 341682 341680 341678 341662 341660 341658 341656 341653 341650 341636 341634 341632 341630 341628 341626 341612 341610 341608 341606 341604 341601 341598 341586 341584 341582 341580 341578 341576 341574 341562 341560 341558 341556 341553 341551 341549 341546 341536 341534 341532 341530 341528 341526 341524 341522 341512 341510 341508 341505 341503 341501 341499 341497 341494 341486 341484 341482 341480 341478 341476 341474 341472 341470 341462 341459 341457 341455 341453 341451 341449 341447 341445 341442 341436 341434 341432 341430 341428 341425 341423 341421 341419 341394 341393 341393 341393 341393 341393 341393 341393 341393 341393 341393 341387 341481 341591 341661 341658 341652 341703 341717 341714 341706 341754 341767 341764 341761 341758 341798 341810 341807 341804 341801 341798 341835 341846 341843 341840 341837 341834 341831 341865 341875 341872 341869 341866 341863 341860 341857 341888 341897 341894 341891 341888 341885 341882 341879 341876 341904 341912 341909 341906 341903 341900 341897 341894 341891 341888 341913 341920 341917 341914 341911 341908 341905 341902 341899 341896 341893 341915 341921 341918 341915 341912 341909 341906 341903 341900 341897 341894 341891 341910 341915 341912 341909 341906 341903 341900 341897 341894 341891 341888 341885 341882 341898 341902 341899 341896 341893 341890 341887 341884 341881 341878 341873 341870 341867 341861 341879 341882 341879 341876 341873 341870 341867 341864 341859 341856 341853 341850 341847 341844 341838 341853 341855 341852 341849 341844 341841 341838 341835 341832 341829 341826 341823 341820 341817 341814 341808 341822 341819 341816 341813 341810 341807 341804 341801 341798 341795 341792 341789 341786 341783 341780 341777 341771 341781 341778 341775 341772 341769 341766 341763 341760 341757 341754 341751 341748 341745 341742 341739 341736 341733 341727 341733 341730 341727 341724 341721 341718 341715 341712 341709 341706 341703 341700 341697 341694 341691 341688 341685 341682 341676 341657 341634 341612 341591 341571 341552 341534 341517 341501 341486 341472 341459 341447 341436 341426 341417 341409 341402 341396 341381 341423 352561 352568 353100 353076 353052 353050 353027 353024 353002 353000 352998 352977 352975 352973 352970 352951 352949 352947 352944 352926 352923 352921 352918 352901 352899 352897 352895 352892 352876 352874 352872 352870 352866 352851 352849 352847 352845 352843 352840 352826 352824 352822 352820 352818 352816 352802 352799 352797 352795 352793 352791 352788 352776 352774 352772 352770 352768 352766 352764 352751 352749 352747 352745 352743 352741 352739 352736 352726 352724 352722 352720 352718 352716 352713 352710 352701 352699 352697 352695 352693 352691 352689 352687 352684 352676 352674 352672 352669 352667 352665 352663 352661 352658 352651 352649 352647 352645 352643 352641 352639 352637 352635 352632 352625 352623 352621 352619 352617 352615 352613 352611 352609 352584 352583 352583 352583 352583 352583 352583 352583 352583 352583 352582 352577 352671 352781 352851 352848 352842 352908 352905 352902 352896 352944 352957 352954 352951 352943 352988 353000 352997 352994 352991 352988 353025 353036 353033 353030 353027 353024 353021 353055 353065 353062 353059 353056 353053 353050 353047 353078 353087 353084 353081 353078 353075 353072 353069 353066 353094 353102 353099 353096 353093 353090 353087 353084 353081 353078 353103 353110 353107 353104 353101 353098 353095 353092 353089 353086 353083 353105 353111 353108 353105 353102 353099 353096 353093 353090 353087 353084 353081 353100 353105 353102 353099 353096 353093 353090 353087 353084 353081 353078 353075 353072 353088 353092 353089 353086 353083 353080 353077 353074 353071 353068 353065 353062 353059 353056 353069 353072 353069 353066 353063 353060 353057 353054 353051 353048 353045 353042 353039 353036 353033 353043 353045 353042 353039 353036 353033 353030 353027 353024 353021 353018 353015 353012 353009 353004 352998 353010 353011 353008 353005 353002 352999 352996 352993 352990 352987 352984 352979 352976 352973 352970 352967 352961 352970 352970 352967 352964 352961 352958 352955 352952 352949 352944 352941 352938 352935 352932 352929 352926 352923 352917 352923 352922 352919 352916 352913 352910 352907 352902 352899 352896 352893 352890 352887 352884 352881 352878 352875 352872 352866 352869 352846 352823 352801 352761 352742 352724 352707 352691 352676 352662 352649 352637 352626 352616 352607 352599 352592 352586 352571 352592 363649 363656 363688 364165 364162 364139 364136 364113 364110 364089 364087 364084 364064 364062 364060 364040 364038 364036 364034 364014 364012 364010 364008 363990 363988 363986 363984 363982 363965 363963 363961 363958 363956 363940 363938 363936 363934 363932 363930 363915 363913 363911 363909 363907 363905 363890 363888 363886 363884 363882 363880 363878 363865 363863 363861 363859 363857 363855 363852 363840 363838 363836 363834 363832 363830 363828 363826 363815 363813 363811 363809 363807 363804 363802 363800 363790 363788 363786 363784 363782 363780 363778 363776 363774 363765 363763 363760 363758 363756 363754 363752 363750 363748 363740 363738 363736 363734 363732 363730 363728 363726 363724 363722 363714 363712 363710 363708 363706 363704 363702 363700 363698 363696 363668 363671 363671 363671 363671 363671 363671 363671 363671 363671 363665 363742 363797 363923 363938 363935 363930 363995 363992 363989 363984 364046 364043 364040 364037 364031 364089 364086 364083 364080 364077 364071 364125 364122 364119 364116 364113 364110 364104 364154 364151 364148 364145 364142 364139 364136 364130 364166 364173 364170 364167 364164 364161 364158 364155 364149 364182 364190 364187 364182 364179 364176 364173 364170 364167 364161 364191 364198 364195 364192 364187 364184 364181 364178 364175 364172 364166 364193 364199 364196 364193 364190 364185 364182 364179 364176 364173 364170 364164 364188 364193 364190 364187 364184 364179 364176 364173 364170 364167 364164 364161 364155 364176 364180 364177 364174 364171 364166 364163 364160 364157 364154 364151 364148 364145 364139 364157 364160 364157 364154 364149 364146 364143 364140 364137 364134 364131 364128 364125 364122 364116 364131 364133 364130 364125 364122 364119 364116 364113 364110 364107 364104 364101 364098 364095 364092 364086 364098 364097 364094 364091 364088 364085 364082 364079 364076 364073 364070 364067 364064 364061 364058 364055 364049 364059 364056 364053 364050 364047 364044 364041 364038 364035 364032 364029 364026 364023 364020 364017 364014 364011 364005 364011 364008 364005 364002 363999 363996 363993 363990 363987 363984 363981 363978 363975 363972 363969 363966 363963 363960 363954 363935 363912 363890 363869 363849 363830 363812 363795 363779 363764 363750 363737 363725 363714 363704 363695 363687 363680 363674 363659 363680 374657 374665 374697 375174 375171 375148 375145 375123 375119 375098 375096 375093 375073 375071 375069 375049 375047 375045 375043 375024 375022 375019 375017 374999 374997 374995 374993 374991 374974 374972 374970 374968 374966 374963 374947 374945 374943 374941 374939 374924 374922 374920 374918 374916 374914 374911 374898 374895 374893 374891 374889 374887 374874 374872 374870 374868 374866 374864 374862 374859 374848 374845 374843 374841 374839 374837 374835 374824 374822 374820 374818 374816 374814 374812 374810 374799 374797 374795 374793 374791 374789 374787 374785 374783 374774 374772 374770 374768 374765 374763 374761 374759 374757 374749 374747 374745 374743 374741 374739 374737 374735 374733 374731 374724 374721 374719 374717 374715 374713 374711 374709 374707 374705 374677 374680 374680 374680 374680 374680 374680 374680 374680 374680 374674 374751 374806 374932 374947 374944 374939 375005 375002 374999 374993 375055 375052 375049 375046 375040 375098 375095 375092 375089 375086 375080 375122 375133 375130 375127 375122 375119 375113 375152 375162 375159 375156 375153 375150 375147 375144 375175 375184 375181 375178 375175 375172 375169 375166 375163 375191 375199 375196 375193 375190 375187 375184 375181 375178 375175 375200 375207 375204 375201 375198 375195 375192 375189 375186 375183 375180 375202 375208 375205 375202 375199 375196 375193 375190 375187 375184 375181 375178 375197 375202 375199 375196 375193 375190 375187 375184 375181 375178 375175 375172 375169 375185 375189 375186 375183 375180 375177 375174 375171 375168 375165 375162 375159 375156 375153 375166 375169 375166 375163 375160 375157 375154 375151 375148 375145 375142 375139 375136 375133 375130 375140 375142 375139 375136 375133 375130 375127 375124 375121 375118 375115 375112 375109 375106 375103 375100 375107 375108 375105 375102 375099 375096 375093 375090 375087 375084 375081 375078 375075 375072 375069 375066 375063 375067 375067 375064 375061 375058 375055 375052 375049 375046 375043 375040 375037 375034 375031 375028 375025 375022 375019 375020 375019 375016 375013 375010 375007 375004 375001 374998 374995 374992 374989 374986 374983 374980 374977 374974 374971 374968 374966 374943 374920 374898 374877 374857 374838 374820 374803 374787 374772 374758 374745 374733 374722 374712 374703 374695 374688 374682 374675 374710 385609 385616 386148 386124 386100 386098 386075 386073 386070 386049 386047 386044 386024 386021 386018 385999 385997 385995 385992 385974 385972 385970 385968 385950 385948 385946 385943 385940 385924 385922 385920 385918 385916 385900 385898 385896 385894 385892 385890 385874 385872 385870 385868 385866 385864 385850 385848 385846 385844 385842 385840 385838 385824 385822 385820 385818 385816 385814 385812 385800 385798 385796 385794 385792 385790 385788 385784 385774 385772 385770 385768 385766 385764 385762 385760 385750 385748 385746 385744 385742 385739 385737 385735 385732 385724 385722 385720 385718 385716 385714 385712 385710 385708 385700 385698 385695 385693 385691 385689 385687 385685 385683 385680 385674 385672 385670 385668 385666 385664 385662 385659 385657 385632 385631 385631 385631 385631 385631 385631 385631 385631 385631 385631 385625 385719 385829 385883 385898 385895 385941 385955 385952 385949 385944 386006 386003 386000 385997 385991 386049 386046 386043 386040 386037 386031 386085 386082 386079 386076 386073 386070 386064 386103 386113 386110 386105 386102 386099 386096 386090 386126 386135 386132 386129 386126 386123 386120 386115 386109 386142 386150 386147 386144 386141 386138 386135 386132 386129 386126 386151 386158 386155 386152 386149 386146 386143 386140 386137 386134 386131 386153 386159 386156 386153 386150 386147 386144 386141 386138 386135 386132 386129 386148 386153 386150 386147 386144 386141 386138 386135 386132 386129 386126 386123 386120 386136 386140 386137 386134 386131 386128 386125 386122 386119 386116 386113 386110 386107 386104 386099 386120 386117 386114 386111 386108 386105 386102 386099 386096 386093 386090 386087 386084 386081 386076 386093 386090 386087 386084 386081 386078 386075 386072 386069 386066 386063 386060 386057 386054 386051 386046 386060 386056 386053 386050 386047 386044 386041 386038 386035 386032 386029 386026 386023 386020 386017 386014 386009 386019 386016 386012 386009 386006 386003 386000 385997 385994 385991 385988 385985 385982 385979 385976 385973 385970 385965 385971 385968 385965 385961 385958 385955 385952 385949 385946 385943 385940 385937 385934 385931 385928 385925 385922 385919 385914 385895 385872 385850 385829 385809 385789 385771 385754 385738 385723 385709 385696 385684 385673 385663 385654 385646 385639 385633 385619 385661 396521 396528 396560 397037 397034 397011 397008 396986 396984 396962 396959 396956 396936 396934 396932 396912 396910 396908 396906 396887 396885 396883 396880 396862 396860 396858 396856 396854 396837 396835 396833 396831 396829 396826 396811 396808 396806 396804 396802 396787 396785 396783 396781 396779 396777 396774 396761 396759 396756 396754 396752 396750 396737 396735 396733 396731 396729 396727 396725 396722 396711 396708 396706 396704 396702 396700 396698 396687 396685 396683 396681 396679 396677 396675 396673 396670 396660 396658 396656 396654 396652 396650 396648 396646 396637 396635 396633 396631 396629 396627 396624 396622 396620 396612 396610 396608 396606 396604 396602 396600 396598 396596 396594 396587 396585 396582 396580 396578 396576 396574 396572 396570 396568 396540 396543 396543 396543 396543 396543 396543 396543 396543 396543 396537 396614 396669 396741 396811 396808 396802 396868 396865 396862 396856 396904 396917 396912 396909 396903 396948 396960 396957 396954 396951 396948 396985 396996 396993 396990 396987 396984 396981 396976 397026 397023 397019 397016 397013 397010 397007 397002 397048 397045 397042 397039 397036 397033 397030 397026 397021 397063 397060 397057 397054 397051 397048 397045 397042 397039 397033 397071 397068 397065 397062 397059 397056 397053 397050 397047 397044 397038 397072 397069 397066 397063 397060 397057 397054 397051 397048 397045 397042 397036 397060 397065 397062 397057 397054 397051 397048 397045 397042 397039 397036 397033 397027 397048 397052 397049 397046 397043 397038 397035 397032 397029 397026 397023 397020 397017 397011 397029 397032 397029 397026 397023 397020 397017 397014 397009 397006 397003 397000 396997 396994 396988 397003 397005 397002 396999 396996 396993 396990 396987 396984 396981 396978 396973 396970 396967 396964 396958 396970 396971 396968 396965 396962 396959 396956 396953 396950 396947 396944 396941 396938 396935 396930 396927 396921 396930 396930 396927 396924 396921 396918 396915 396912 396909 396906 396903 396900 396897 396894 396891 396888 396885 396877 396883 396882 396879 396876 396873 396870 396867 396864 396861 396858 396855 396852 396849 396846 396843 396840 396837 396834 396831 396829 396806 396783 396761 396740 396720 396701 396683 396666 396650 396635 396621 396608 396596 396585 396575 396566 396558 396551 396545 396538 396573 407411 407418 407450 407927 407924 407901 407898 407876 407872 407851 407849 407846 407826 407824 407822 407802 407800 407798 407796 407777 407775 407772 407770 407752 407750 407748 407746 407744 407727 407725 407723 407721 407719 407716 407700 407698 407696 407694 407692 407677 407675 407673 407671 407669 407667 407664 407651 407648 407646 407644 407642 407640 407627 407625 407623 407621 407619 407617 407615 407612 407601 407598 407596 407594 407592 407590 407588 407577 407575 407573 407571 407569 407567 407565 407563 407560 407550 407548 407546 407544 407542 407540 407538 407536 407527 407525 407523 407521 407519 407516 407514 407512 407510 407502 407500 407498 407496 407494 407492 407490 407488 407486 407484 407477 407475 407472 407470 407468 407466 407464 407462 407460 407458 407430 407433 407433 407433 407433 407433 407433 407433 407433 407433 407427 407504 407559 407631 407701 407698 407692 407758 407755 407752 407746 407794 407807 407804 407801 407793 407838 407850 407847 407844 407841 407838 407833 407886 407883 407880 407877 407874 407871 407866 407916 407913 407910 407907 407904 407901 407898 407892 407938 407935 407932 407929 407926 407923 407920 407917 407911 407953 407950 407947 407944 407941 407938 407935 407932 407929 407923 407953 407960 407957 407954 407951 407946 407943 407940 407937 407934 407928 407955 407961 407958 407955 407952 407949 407946 407943 407940 407935 407932 407926 407950 407955 407952 407949 407946 407943 407940 407937 407934 407931 407928 407925 407922 407938 407942 407939 407936 407933 407930 407927 407924 407921 407918 407915 407912 407909 407906 407919 407922 407919 407916 407913 407910 407907 407904 407901 407898 407895 407892 407889 407886 407883 407878 407895 407892 407889 407886 407883 407880 407877 407874 407871 407868 407865 407862 407859 407856 407853 407848 407862 407859 407856 407852 407849 407846 407843 407840 407837 407834 407831 407828 407825 407822 407819 407816 407811 407821 407818 407815 407812 407809 407806 407803 407800 407796 407793 407790 407787 407784 407781 407778 407775 407772 407767 407773 407770 407767 407764 407761 407758 407755 407752 407749 407746 407743 407740 407736 407733 407730 407727 407724 407721 407716 407697 407674 407652 407631 407611 407592 407574 407557 407541 407526 407512 407499 407487 407476 407466 407457 407449 407442 407435 407421 407442 418277 418365 418842 418839 418816 418813 418791 418789 418767 418764 418761 418741 418739 418737 418717 418715 418713 418711 418692 418690 418688 418685 418667 418665 418663 418661 418659 418642 418640 418638 418636 418634 418631 418616 418613 418611 418609 418607 418592 418590 418588 418586 418584 418582 418579 418566 418564 418561 418559 418557 418555 418542 418540 418538 418536 418534 418532 418530 418527 418516 418514 418511 418509 418507 418505 418503 418492 418490 418488 418486 418484 418482 418480 418478 418475 418465 418463 418461 418459 418457 418455 418453 418451 418442 418440 418438 418436 418434 418432 418429 418427 418425 418417 418415 418413 418411 418409 418407 418405 418403 418401 418399 418392 418390 418388 418385 418383 418381 418379 418377 418375 418373 418345 418348 418348 418348 418348 418348 418348 418348 418348 418348 418347 418412 418909 418883 418860 418857 418835 418833 418811 418809 418807 418786 418784 418782 418779 418760 418758 418755 418736 418734 418732 418730 418727 418710 418708 418706 418704 418701 418685 418682 418680 418678 418675 418660 418658 418656 418654 418652 418649 418635 418633 418631 418628 418626 418623 418610 418608 418606 418604 418602 418600 418597 418585 418583 418581 418579 418576 418574 418571 418560 418558 418556 418554 418552 418550 418548 418545 418535 418533 418530 418528 418526 418524 418522 418519 418510 418508 418506 418504 418502 418500 418498 418496 418493 418485 418482 418480 418478 418476 418474 418472 418470 418467 418460 418458 418456 418454 418452 418450 418447 418445 418443 418436 418434 418432 418430 418428 418426 418424 418422 418420 418418 418393 418392 418392 418392 418392 418392 418392 418392 418392 418392 418391 418386 418932 418908 418884 418882 418859 418857 418854 418833 418831 418828 418807 418805 418802 418783 418781 418779 418776 418758 418756 418754 418752 418734 418731 418729 418727 418724 418708 418706 418704 418702 418700 418684 418682 418680 418678 418675 418672 418658 418656 418654 418652 418650 418648 418634 418632 418630 418628 418626 418623 418620 418608 418606 418604 418602 418600 418598 418596 418584 418582 418580 418578 418575 418573 418571 418568 418558 418556 418554 418552 418550 418548 418546 418544 418534 418532 418530 418527 418525 418523 418521 418519 418516 418508 418506 418504 418502 418500 418498 418496 418494 418492 418483 418481 418479 418477 418475 418473 418471 418469 418467 418464 418458 418456 418454 418452 418449 418447 418445 418443 418441 418416 418415 418415 418415 418415 418415 418415 418415 418415 418415 418415 418409 418441 418918 418915 418891 418868 418866 418863 418842 418840 418837 418817 418815 418813 418793 418791 418788 418785 418767 418765 418763 418761 418743 418741 418739 418737 418735 418718 418716 418713 418711 418709 418693 418691 418689 418687 418685 418683 418668 418666 418664 418662 418659 418657 418643 418641 418639 418637 418635 418633 418631 418618 418616 418614 418612 418609 418607 418605 418593 418591 418589 418587 418585 418583 418581 418579 418568 418566 418564 418561 418559 418557 418555 418553 418543 418541 418539 418537 418535 418533 418531 418529 418527 418518 418515 418513 418511 418509 418507 418505 418503 418501 418493 418491 418489 418487 418485 418483 418481 418478 418476 418473 418467 418465 418463 418461 418459 418457 418455 418453 418451 418449 418421 418424 418424 418424 418424 418424 418424 418424 418424 418424 418418 418495 418550 418622 418691 418688 418683 418749 418746 418743 418737 418785 418798 418795 418790 418784 418829 418841 418838 418835 418832 418829 418824 418877 418874 418871 418868 418865 418862 418857 418907 418904 418901 418898 418895 418892 418889 418883 418929 418926 418923 418920 418917 418914 418911 418908 418902 418935 418943 418938 418935 418932 418929 418926 418923 418920 418914 418944 418951 418948 418945 418942 418939 418936 418933 418928 418925 418919 418946 418952 418949 418946 418943 418940 418937 418934 418931 418928 418925 418922 418941 418946 418943 418940 418937 418934 418931 418928 418925 418922 418919 418916 418913 418908 418934 418930 418927 418924 418921 418918 418915 418912 418909 418906 418903 418900 418897 418892 418914 418911 418908 418905 418902 418899 418895 418892 418889 418886 418883 418880 418877 418874 418869 418887 418884 418881 418878 418875 418872 418869 418866 418863 418860 418857 418853 418850 418847 418844 418839 418853 418850 418847 418844 418841 418838 418835 418832 418829 418826 418823 418820 418817 418814 418811 418808 418802 418812 418809 418806 418803 418800 418797 418794 418791 418788 418785 418782 418779 418776 418773 418770 418767 418764 418758 418764 418761 418758 418755 418752 418749 418746 418743 418740 418737 418734 418731 418728 418725 418722 418719 418716 418713 418707 418710 418687 418664 418642 418621 418583 418565 418548 418532 418517 418503 418490 418478 418467 418457 418448 418440 418433 418427 418412 418412 418506 418616 418686 418683 418677 418728 418742 418739 418736 418731 418793 418789 418786 418783 418778 418836 418833 418830 418827 418824 418818 418860 418871 418866 418863 418860 418857 418851 418890 418900 418897 418894 418891 418888 418885 418882 418913 418922 418919 418916 418913 418910 418907 418904 418901 418896 418938 418935 418932 418929 418926 418922 418919 418916 418913 418908 418946 418943 418940 418937 418934 418931 418928 418925 418922 418919 418913 418947 418944 418941 418938 418935 418932 418929 418926 418923 418920 418917 418911 418935 418940 418937 418934 418931 418926 418923 418920 418917 418914 418911 418908 418902 418923 418927 418924 418921 418918 418915 418912 418909 418906 418903 418900 418895 418892 418886 418904 418907 418904 418901 418898 418895 418892 418889 418886 418883 418880 418877 418874 418871 418868 418878 418880 418877 418874 418871 418868 418865 418862 418859 418856 418853 418850 418847 418844 418841 418838 418833 418847 418844 418841 418837 418834 418831 418828 418825 418822 418819 418816 418813 418810 418807 418804 418801 418796 418806 418803 418800 418797 418794 418791 418788 418785 418782 418779 418775 418772 418769 418766 418763 418760 418757 418752 418758 418755 418752 418749 418746 418743 418740 418737 418734 418731 418728 418725 418722 418719 418716 418713 418710 418707 418701 418682 418659 418637 418616 418596 418577 418559 418542 418526 418511 418497 418484 418472 418461 418451 418442 418434 418427 418421 418406 418406 418538 418610 418680 418677 418671 418722 418736 418733 418730 418725 418786 418783 418780 418777 418772 418830 418827 418824 418821 418818 418812 418854 418865 418860 418857 418854 418851 418845 418884 418894 418891 418888 418885 418882 418879 418876 418871 418916 418913 418910 418907 418904 418901 418898 418895 418890 418932 418929 418926 418923 418920 418917 418914 418911 418907 418902 418940 418937 418934 418931 418928 418925 418922 418919 418916 418913 418907 418934 418940 418937 418932 418929 418926 418923 418920 418917 418914 418911 418905 418929 418934 418931 418928 418925 418922 418919 418916 418913 418910 418907 418902 418896 418917 418921 418918 418915 418912 418909 418906 418903 418900 418897 418894 418891 418888 418885 418880 418901 418898 418895 418892 418889 418886 418883 418880 418877 418874 418871 418868 418865 418862 418857 418875 418872 418869 418866 418863 418860 418857 418854 418850 418847 418844 418841 418838 418835 418832 418827 418841 418838 418835 418832 418829 418826 418823 418820 418817 418814 418811 418808 418805 418802 418799 418796 418790 418800 418797 418794 418791 418788 418785 418782 418779 418776 418773 418770 418767 418764 418761 418758 418755 418752 418746 418752 418751 418748 418745 418740 418737 418734 418731 418728 418725 418722 418719 418716 418713 418710 418707 418704 418701 418695 418698 418675 418652 418630 418609 418589 418570 418552 418535 418519 418504 418490 418477 418455 418445 418436 418428 418421 418415 418400 418400 418494 418604 418658 418673 418670 418665 418731 418728 418724 418719 418781 418778 418775 418772 418766 418811 418823 418820 418817 418814 418811 418806 418859 418856 418853 418850 418847 418844 418839 418889 418886 418883 418880 418877 418874 418871 418865 418901 418908 418905 418902 418899 418896 418893 418890 418884 418917 418925 418922 418919 418916 418913 418910 418907 418904 418901 418926 418933 418930 418927 418924 418921 418918 418915 418912 418909 418906 418901 418935 418932 418929 418926 418923 418920 418916 418913 418910 418907 418904 418899 418929 418926 418923 418920 418917 418914 418911 418908 418905 418902 418899 418896 418890 418911 418913 418910 418907 418904 418901 418898 418895 418892 418889 418886 418883 418880 418874 418892 418895 418892 418889 418886 418883 418880 418877 418874 418871 418866 418863 418860 418857 418851 418866 418868 418865 418862 418859 418856 418853 418850 418847 418844 418841 418838 418835 418832 418829 418826 418821 418834 418831 418828 418825 418822 418819 418816 418813 418810 418807 418804 418801 418798 418795 418792 418789 418784 418794 418791 418788 418785 418782 418779 418776 418773 418770 418766 418763 418760 418757 418754 418751 418748 418745 418740 418746 418743 418740 418737 418734 418731 418728 418725 418722 418719 418716 418713 418710 418707 418704 418701 418698 418695 418689 418670 418647 418625 418604 418584 418565 418547 418530 418514 418499 418485 418472 418460 418449 418439 418430 418422 418415 418409 418394
iterations count:6132672 (6335), effective:15503 (16)
415048 413713 413728 413732 415043 415151 415194 416475 416523 417701 417727 418807 419319 420236 421049 421764 422387 422924 423532 423928 424212 424437 424609 424734 424818 424877 424883 425299 429936 430027 430428 434527 434570 434958 438562 438950 414554 414545 414537 414527 414525 414522 414520 416455 417340 418018 418355 418600
iterations count:48174 (49), effective:614 (0)

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V20P20N20"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/users/gast00/fkordon/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V20P20N20.tgz
mv BridgeAndVehicles-COL-V20P20N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-COL-V20P20N20, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r005kn-ebro-146347672700133"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;