[    0]    1 1000

------------ ? -------------
0: -
1: n
2: f

[    2]    4 3
[    4]    27 0
[    6]    23 1 0
[    9]    3 1
[   11]    2 2000
[   13]    6 0
[   15]    23 2 0
[   18]    23 0 2
[   21]    28 0
[   23]    29
[   24]    26
[   25]    1 2000

------------ Fact -------------
0: n
1: -
2: 2
3: 1
4: temp
5: f

[   27]    4 5
[   29]    22 2 2
[   32]    22 3 1
[   35]    16 1 0 2
[   39]    8 2001 1
[   42]    10 1 0 3
[   46]    23 4 1
[   49]    3 4
[   51]    2 2000
[   53]    6 1
[   55]    23 5 1
[   58]    11 1 0 5
[   62]    5 1
[   64]    1 2001
[   66]    23 1 3
[   69]    5 1