1		:- dynamic state_space_version_in_file/1.
2		state_space_version_in_file(1).
3
4		:- dynamic history/1.
5		history([10,9,8,7,6,5,4,3,2,1,0,root]).
6
7
8		:- dynamic forward_history/1.
9		forward_history(_10449) :- fail.
10
11
12		:- dynamic op_trace_ids/1.
13		op_trace_ids([11,10,9,8,7,6,5,4,3,2,1,0]).
14
15
16		:- dynamic current_state_id/1.
17		current_state_id(11).
18
19
20		:- dynamic current_options/1.
21		current_options([(12,up,up,12)]).
22
23		:- dynamic bind_skeleton/2.
24		bind_skeleton(const_and_vars,[c]).
25
26		:- dynamic packed_visited_expression/2.
27		packed_visited_expression(root,root).
28		packed_visited_expression(0,concrete_constants([bind(mx,int(100))])).
29		packed_visited_expression(1,'$cst_vars'(0,[0])).
30		packed_visited_expression(2,'$cst_vars'(0,[1])).
31		packed_visited_expression(3,'$cst_vars'(0,[2])).
32		packed_visited_expression(4,'$cst_vars'(0,[3])).
33		packed_visited_expression(5,'$cst_vars'(0,[4])).
34		packed_visited_expression(6,'$cst_vars'(0,[5])).
35		packed_visited_expression(7,'$cst_vars'(0,[6])).
36		packed_visited_expression(8,'$cst_vars'(0,[7])).
37		packed_visited_expression(9,'$cst_vars'(0,[8])).
38		packed_visited_expression(10,'$cst_vars'(0,[9])).
39		packed_visited_expression(11,'$cst_vars'(0,[10])).
40		packed_visited_expression(12,'$cst_vars'(0,[11])).
41
42
43		:- dynamic not_invariant_checked/1.
44		not_invariant_checked(12).
45
46
47		:- dynamic not_interesting/1.
48		not_interesting(_10672) :- fail.
49
50
51		:- dynamic max_reached_for_node/1.
52		max_reached_for_node(_10797) :- fail.
53
54
55		:- dynamic time_out_for_node/2.
56		time_out_for_node(_10922,_10923) :- fail.
57
58
59		:- dynamic use_no_timeout/1.
60		use_no_timeout(_11050) :- fail.
61
62
63		:- dynamic transition/4.
64		transition(root,'$setup_constants'(int(100)),0,0).
65		transition(0,'$initialise_machine'(int(0)),1,1).
66		transition(1,up,2,2).
67		transition(2,up,3,3).
68		transition(3,up,4,4).
69		transition(4,up,5,5).
70		transition(5,up,6,6).
71		transition(6,up,7,7).
72		transition(7,up,8,8).
73		transition(8,up,9,9).
74		transition(9,up,10,10).
75		transition(10,up,11,11).
76		transition(11,up,12,12).
77
78
79		:- dynamic operation_not_yet_covered/1.
80		operation_not_yet_covered(_11200) :- fail.
81
82
83		:- dynamic state_error/3.
84		state_error(_11325,_11326,_11327) :- fail.
85
86
87		:- dynamic not_all_z_saved/1.
88		not_all_z_saved(12).
89
90
91		:- dynamic not_all_transitions_added_saved/1.
92		not_all_transitions_added_saved(12).
93
94		saved_gennum_count(13).