102 lines
3.2 KiB
Text
Executable file
102 lines
3.2 KiB
Text
Executable file
|0|
|
|
|
|
|
f 0 14 0 12 0 0 0
|
|
P1 1 2.6666666666666665 1.0 3.122708333333333 0.945625 0
|
|
P2 0 2.6666666666666665 2.3333333333333335 3.0393749999999997 2.1122916666666667 0
|
|
P3 0 2.6666666666666665 3.6666666666666665 3.122708333333333 3.6122916666666662 0
|
|
P4 0 2.6666666666666665 5.166666666666667 3.0393749999999997 5.278958333333333 0
|
|
P5 0 2.6666666666666665 6.666666666666667 3.122708333333333 6.695625 0
|
|
wantP_FALSE 1 5.166666666666667 6.5 4.716458333333333 6.695625 0
|
|
wantP_TRUE 0 4.0 6.166666666666667 4.320625 6.028958333333333 0
|
|
wantQ_FALSE 1 6.0 2.3333333333333335 5.794583333333333 2.6122916666666667 0
|
|
wantQ_TRUE 0 7.166666666666667 2.3333333333333335 6.39875 1.945625 0
|
|
Q5 0 8.333333333333334 2.1666666666666665 8.778958333333334 2.3622916666666667 0
|
|
Q4 0 8.333333333333334 3.6666666666666665 8.862291666666666 3.8622916666666662 0
|
|
Q3 0 8.333333333333334 5.166666666666667 8.945625 5.195625 0
|
|
Q2 0 8.333333333333334 6.166666666666667 8.695625 6.195625 0
|
|
Q1 1 8.333333333333334 7.5 8.862291666666666 7.112291666666667 0
|
|
local_p 1.0 0 0 1 0 2.6666666666666665 1.6666666666666667 2.0 1.4739583333333333 2.75 1.734375 0
|
|
1 1 0 0
|
|
1
|
|
1 2 0 0
|
|
0
|
|
set_false_p 1.0 0 0 2 0 2.6666666666666665 7.5 1.7864583333333333 7.390625 2.75 7.567708333333333 0
|
|
1 5 1 0
|
|
2.6666666666666665 7.25
|
|
1 7 0 0
|
|
2
|
|
1 1 2 0
|
|
0.75 7.5
|
|
0.75 1.0
|
|
1 6 1 0
|
|
5.166666666666667 7.5
|
|
0
|
|
critical_p 1.0 0 0 1 0 2.6666666666666665 5.833333333333333 1.75 5.557291666666667 2.75 5.901041666666667 0
|
|
1 4 0 0
|
|
1
|
|
1 5 0 0
|
|
0
|
|
await_p 1.0 0 0 2 0 2.6666666666666665 3.0 2.1354166666666665 2.8072916666666665 2.75 3.0677083333333335 0
|
|
1 2 0 0
|
|
1 8 0 0
|
|
2
|
|
1 3 0 0
|
|
1 8 1 0
|
|
5.166666666666667 2.3333333333333335
|
|
0
|
|
set_true_p 1.0 0 0 2 0 2.6666666666666665 4.5 1.8802083333333333 4.390625 2.75 4.567708333333333 0
|
|
1 3 0 0
|
|
1 6 1 0
|
|
5.166666666666667 4.5
|
|
2
|
|
1 4 0 0
|
|
1 7 0 0
|
|
0
|
|
local_p_0 1.0 0 0 1 0 1.3333333333333333 0.5 1.109375 0.3072916666666667 1.4166666666666667 0.5677083333333334 0
|
|
1 1 1 0
|
|
2.0833333333333335 0.5833333333333334
|
|
1
|
|
1 1 0 0
|
|
0
|
|
local_q0 1.0 0 0 1 1 9.0 8.333333333333334 8.8125 8.140625 9.083333333333334 8.401041666666666 0
|
|
1 14 0 0
|
|
1
|
|
1 14 1 0
|
|
8.5 8.25
|
|
0
|
|
set_false_q 1.0 0 0 2 0 8.333333333333334 1.1666666666666667 8.036458333333334 0.9739583333333334 8.416666666666666 1.234375 0
|
|
1 10 0 0
|
|
1 9 0 0
|
|
2
|
|
1 14 2 0
|
|
10.0 1.1666666666666667
|
|
10.0 7.5
|
|
1 8 1 0
|
|
6.0 1.1666666666666667
|
|
0
|
|
local_q 1.0 0 0 1 0 8.333333333333334 6.833333333333333 8.671875 6.807291666666667 8.416666666666666 6.901041666666667 0
|
|
1 14 0 0
|
|
1
|
|
1 13 0 0
|
|
0
|
|
await_q 1.0 0 0 2 0 8.333333333333334 5.666666666666667 8.640625 5.723958333333333 8.416666666666666 5.734375 0
|
|
1 13 0 0
|
|
1 6 0 0
|
|
2
|
|
1 12 0 0
|
|
1 6 1 0
|
|
6.333333333333333 5.916666666666667
|
|
0
|
|
set_true_q 1.0 0 0 2 0 8.333333333333334 4.5 8.71875 4.640625 8.416666666666666 4.567708333333333 0
|
|
1 12 0 0
|
|
1 8 1 0
|
|
6.0 4.5
|
|
2
|
|
1 11 0 0
|
|
1 9 0 0
|
|
0
|
|
critical_q 1.0 0 0 1 0 8.333333333333334 2.8333333333333335 8.671875 2.890625 8.416666666666666 2.9010416666666665 0
|
|
1 11 0 0
|
|
1
|
|
1 10 0 0
|
|
0
|