spo('proof_LCL082-1_20220411_5808',type,proof).
spo('proof_LCL082-1_20220411_5808',problem,'LCL082-1').
spo('proof_LCL082-1_20220411_5808',dterm,d(d(d(1,1),d(d(d(1,d(1,1)),1),1)),1)).
spo('proof_LCL082-1_20220411_5808',goal,i(a,i(b,a))).
spo('proof_LCL082-1_20220411_5808',number_of_axioms,1).
spo('proof_LCL082-1_20220411_5808',axiom_1,i(i(i(A,_),B),i(i(B,A),i(_,A)))).
spo('proof_LCL082-1_20220411_5808',local_proof_id,'20220411_5808').
spo('proof_LCL082-1_20220411_5808',csize,6).
spo('proof_LCL082-1_20220411_5808',tsize,7).
spo('proof_LCL082-1_20220411_5808',height,6).
spo('fragseq_LCL082-1_20220411_5808_dflr',type,fragseq).
spo('fragseq_LCL082-1_20220411_5808_dflr',proof,'proof_LCL082-1_20220411_5808').
spo('fragseq_LCL082-1_20220411_5808_dflr',order,dflr).
spo('fragseq_LCL082-1_20220411_5808_dflr',length,16).
spo('frag_LCL082-1_20220411_5808_dflr_1',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_1',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_1',position,1).
spo('frag_LCL082-1_20220411_5808_dflr_1',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_1',modification,init).
spo('frag_LCL082-1_20220411_5808_dflr_1',frontier,[i(a,i(b,a))]).
spo('frag_LCL082-1_20220411_5808_dflr_1',frontier_varnums,[]).
spo('frag_LCL082-1_20220411_5808_dflr_1',frontier_length,1).
spo('frag_LCL082-1_20220411_5808_dflr_2',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_2',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_2',position,2).
spo('frag_LCL082-1_20220411_5808_dflr_2',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_2',modification,d).
spo('frag_LCL082-1_20220411_5808_dflr_2',parent,'frag_LCL082-1_20220411_5808_dflr_1').
spo('frag_LCL082-1_20220411_5808_dflr_2',frontier,[i(A,i(a,i(b,a))),A]).
spo('frag_LCL082-1_20220411_5808_dflr_2',frontier_varnums,[0]).
spo('frag_LCL082-1_20220411_5808_dflr_2',frontier_length,2).
spo('frag_LCL082-1_20220411_5808_dflr_3',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_3',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_3',position,3).
spo('frag_LCL082-1_20220411_5808_dflr_3',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_3',modification,d).
spo('frag_LCL082-1_20220411_5808_dflr_3',parent,'frag_LCL082-1_20220411_5808_dflr_2').
spo('frag_LCL082-1_20220411_5808_dflr_3',frontier,[i(A,i(B,i(a,i(b,a)))),A,B]).
spo('frag_LCL082-1_20220411_5808_dflr_3',frontier_varnums,[1,0]).
spo('frag_LCL082-1_20220411_5808_dflr_3',frontier_length,3).
spo('frag_LCL082-1_20220411_5808_dflr_4',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_4',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_4',position,4).
spo('frag_LCL082-1_20220411_5808_dflr_4',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_4',modification,d).
spo('frag_LCL082-1_20220411_5808_dflr_4',parent,'frag_LCL082-1_20220411_5808_dflr_3').
spo('frag_LCL082-1_20220411_5808_dflr_4',frontier,[i(A,i(B,i(C,i(a,i(b,a))))),A,B,C]).
spo('frag_LCL082-1_20220411_5808_dflr_4',frontier_varnums,[2,1,0]).
spo('frag_LCL082-1_20220411_5808_dflr_4',frontier_length,4).
spo('frag_LCL082-1_20220411_5808_dflr_5',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_5',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_5',position,5).
spo('frag_LCL082-1_20220411_5808_dflr_5',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_5',modification,axiom(1)).
spo('frag_LCL082-1_20220411_5808_dflr_5',parent,'frag_LCL082-1_20220411_5808_dflr_4').
spo('frag_LCL082-1_20220411_5808_dflr_5',frontier,[i(i(i(a,i(b,a)),_),A),i(A,i(a,i(b,a))),_]).
spo('frag_LCL082-1_20220411_5808_dflr_5',frontier_varnums,[3,4,0]).
spo('frag_LCL082-1_20220411_5808_dflr_5',frontier_length,3).
spo('frag_LCL082-1_20220411_5808_dflr_6',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_6',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_6',position,6).
spo('frag_LCL082-1_20220411_5808_dflr_6',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_6',modification,axiom(1)).
spo('frag_LCL082-1_20220411_5808_dflr_6',parent,'frag_LCL082-1_20220411_5808_dflr_5').
spo('frag_LCL082-1_20220411_5808_dflr_6',frontier,[i(i(i(_,a),i(_,a)),i(a,i(b,a))),_]).
spo('frag_LCL082-1_20220411_5808_dflr_6',frontier_varnums,[3,5,0]).
spo('frag_LCL082-1_20220411_5808_dflr_6',frontier_length,2).
spo('frag_LCL082-1_20220411_5808_dflr_7',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_7',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_7',position,7).
spo('frag_LCL082-1_20220411_5808_dflr_7',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_7',modification,d).
spo('frag_LCL082-1_20220411_5808_dflr_7',parent,'frag_LCL082-1_20220411_5808_dflr_6').
spo('frag_LCL082-1_20220411_5808_dflr_7',frontier,[i(A,i(i(i(_,a),i(_,a)),i(a,i(b,a)))),A,_]).
spo('frag_LCL082-1_20220411_5808_dflr_7',frontier_varnums,[6,3,5,0]).
spo('frag_LCL082-1_20220411_5808_dflr_7',frontier_length,3).
spo('frag_LCL082-1_20220411_5808_dflr_8',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_8',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_8',position,8).
spo('frag_LCL082-1_20220411_5808_dflr_8',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_8',modification,d).
spo('frag_LCL082-1_20220411_5808_dflr_8',parent,'frag_LCL082-1_20220411_5808_dflr_7').
spo('frag_LCL082-1_20220411_5808_dflr_8',frontier,[i(A,i(B,i(i(i(_,a),i(_,a)),i(a,i(b,a))))),A,B,_]).
spo('frag_LCL082-1_20220411_5808_dflr_8',frontier_varnums,[7,6,3,5,0]).
spo('frag_LCL082-1_20220411_5808_dflr_8',frontier_length,4).
spo('frag_LCL082-1_20220411_5808_dflr_9',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_9',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_9',position,9).
spo('frag_LCL082-1_20220411_5808_dflr_9',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_9',modification,d).
spo('frag_LCL082-1_20220411_5808_dflr_9',parent,'frag_LCL082-1_20220411_5808_dflr_8').
spo('frag_LCL082-1_20220411_5808_dflr_9',frontier,[i(A,i(B,i(C,i(i(i(_,a),i(_,a)),i(a,i(b,a)))))),A,B,C,_]).
spo('frag_LCL082-1_20220411_5808_dflr_9',frontier_varnums,[8,7,6,3,5,0]).
spo('frag_LCL082-1_20220411_5808_dflr_9',frontier_length,5).
spo('frag_LCL082-1_20220411_5808_dflr_10',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_10',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_10',position,10).
spo('frag_LCL082-1_20220411_5808_dflr_10',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_10',modification,axiom(1)).
spo('frag_LCL082-1_20220411_5808_dflr_10',parent,'frag_LCL082-1_20220411_5808_dflr_9').
spo('frag_LCL082-1_20220411_5808_dflr_10',frontier,[i(i(i(i(i(A,a),i(B,a)),i(a,i(b,a))),_),C),i(C,i(i(i(A,a),i(B,a)),i(a,i(b,a)))),_,_]).
spo('frag_LCL082-1_20220411_5808_dflr_10',frontier_varnums,[3,5,9,10,6,0]).
spo('frag_LCL082-1_20220411_5808_dflr_10',frontier_length,4).
spo('frag_LCL082-1_20220411_5808_dflr_11',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_11',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_11',position,11).
spo('frag_LCL082-1_20220411_5808_dflr_11',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_11',modification,d).
spo('frag_LCL082-1_20220411_5808_dflr_11',parent,'frag_LCL082-1_20220411_5808_dflr_10').
spo('frag_LCL082-1_20220411_5808_dflr_11',frontier,[i(A,i(i(i(i(i(B,a),i(C,a)),i(a,i(b,a))),_),D)),A,i(D,i(i(i(B,a),i(C,a)),i(a,i(b,a)))),_,_]).
spo('frag_LCL082-1_20220411_5808_dflr_11',frontier_varnums,[11,3,5,9,10,6,0]).
spo('frag_LCL082-1_20220411_5808_dflr_11',frontier_length,5).
spo('frag_LCL082-1_20220411_5808_dflr_12',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_12',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_12',position,12).
spo('frag_LCL082-1_20220411_5808_dflr_12',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_12',modification,axiom(1)).
spo('frag_LCL082-1_20220411_5808_dflr_12',parent,'frag_LCL082-1_20220411_5808_dflr_11').
spo('frag_LCL082-1_20220411_5808_dflr_12',frontier,[i(i(A,_),i(i(i(B,a),i(C,a)),i(a,i(b,a)))),i(i(_,A),i(i(i(B,a),i(C,a)),i(a,i(b,a)))),_,_]).
spo('frag_LCL082-1_20220411_5808_dflr_12',frontier_varnums,[9,12,3,5,13,6,0]).
spo('frag_LCL082-1_20220411_5808_dflr_12',frontier_length,4).
spo('frag_LCL082-1_20220411_5808_dflr_13',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_13',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_13',position,13).
spo('frag_LCL082-1_20220411_5808_dflr_13',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_13',modification,axiom(1)).
spo('frag_LCL082-1_20220411_5808_dflr_13',parent,'frag_LCL082-1_20220411_5808_dflr_12').
spo('frag_LCL082-1_20220411_5808_dflr_13',frontier,[i(i(_,i(i(b,a),_)),i(i(i(_,a),i(b,a)),i(a,i(b,a)))),_,_]).
spo('frag_LCL082-1_20220411_5808_dflr_13',frontier_varnums,[13,14,3,6,0]).
spo('frag_LCL082-1_20220411_5808_dflr_13',frontier_length,3).
spo('frag_LCL082-1_20220411_5808_dflr_14',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_14',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_14',position,14).
spo('frag_LCL082-1_20220411_5808_dflr_14',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_14',modification,axiom(1)).
spo('frag_LCL082-1_20220411_5808_dflr_14',parent,'frag_LCL082-1_20220411_5808_dflr_13').
spo('frag_LCL082-1_20220411_5808_dflr_14',frontier,[_,_]).
spo('frag_LCL082-1_20220411_5808_dflr_14',frontier_varnums,[6,0]).
spo('frag_LCL082-1_20220411_5808_dflr_14',frontier_length,2).
spo('frag_LCL082-1_20220411_5808_dflr_15',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_15',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_15',position,15).
spo('frag_LCL082-1_20220411_5808_dflr_15',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_15',modification,axiom(1)).
spo('frag_LCL082-1_20220411_5808_dflr_15',parent,'frag_LCL082-1_20220411_5808_dflr_14').
spo('frag_LCL082-1_20220411_5808_dflr_15',frontier,[_]).
spo('frag_LCL082-1_20220411_5808_dflr_15',frontier_varnums,[0]).
spo('frag_LCL082-1_20220411_5808_dflr_15',frontier_length,1).
spo('frag_LCL082-1_20220411_5808_dflr_16',type,frag).
spo('frag_LCL082-1_20220411_5808_dflr_16',fragseq,'fragseq_LCL082-1_20220411_5808_dflr').
spo('frag_LCL082-1_20220411_5808_dflr_16',position,16).
spo('frag_LCL082-1_20220411_5808_dflr_16',modified_node,1).
spo('frag_LCL082-1_20220411_5808_dflr_16',modification,axiom(1)).
spo('frag_LCL082-1_20220411_5808_dflr_16',parent,'frag_LCL082-1_20220411_5808_dflr_15').
spo('frag_LCL082-1_20220411_5808_dflr_16',frontier,[]).
spo('frag_LCL082-1_20220411_5808_dflr_16',frontier_varnums,[]).
spo('frag_LCL082-1_20220411_5808_dflr_16',frontier_length,0).
spo('nonfrag_LCL082-1_20220411_5808_dflr_15_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_15_1',parent,'frag_LCL082-1_20220411_5808_dflr_15').
spo('nonfrag_LCL082-1_20220411_5808_dflr_15_1',frontier,[i(A,_),A]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_15_1',frontier_varnums,[15,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_15_1',frontier_length,2).
spo('nonfrag_LCL082-1_20220411_5808_dflr_15_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_15_1',modification,d).
spo('nonfrag_LCL082-1_20220411_5808_dflr_14_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_14_1',parent,'frag_LCL082-1_20220411_5808_dflr_14').
spo('nonfrag_LCL082-1_20220411_5808_dflr_14_1',frontier,[i(A,_),A,_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_14_1',frontier_varnums,[15,6,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_14_1',frontier_length,3).
spo('nonfrag_LCL082-1_20220411_5808_dflr_14_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_14_1',modification,d).
spo('nonfrag_LCL082-1_20220411_5808_dflr_13_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_13_1',parent,'frag_LCL082-1_20220411_5808_dflr_13').
spo('nonfrag_LCL082-1_20220411_5808_dflr_13_1',frontier,[i(A,i(i(_,i(i(b,a),_)),i(i(i(_,a),i(b,a)),i(a,i(b,a))))),A,_,_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_13_1',frontier_varnums,[15,13,14,3,6,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_13_1',frontier_length,4).
spo('nonfrag_LCL082-1_20220411_5808_dflr_13_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_13_1',modification,d).
spo('nonfrag_LCL082-1_20220411_5808_dflr_12_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_12_1',parent,'frag_LCL082-1_20220411_5808_dflr_12').
spo('nonfrag_LCL082-1_20220411_5808_dflr_12_1',frontier,[i(A,i(i(B,_),i(i(i(C,a),i(D,a)),i(a,i(b,a))))),A,i(i(_,B),i(i(i(C,a),i(D,a)),i(a,i(b,a)))),_,_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_12_1',frontier_varnums,[14,9,12,3,5,13,6,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_12_1',frontier_length,5).
spo('nonfrag_LCL082-1_20220411_5808_dflr_12_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_12_1',modification,d).
spo('nonfrag_LCL082-1_20220411_5808_dflr_11_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_11_1',parent,'frag_LCL082-1_20220411_5808_dflr_11').
spo('nonfrag_LCL082-1_20220411_5808_dflr_11_1',frontier,[i(A,i(B,i(i(i(i(i(C,a),i(D,a)),i(a,i(b,a))),_),E))),A,B,i(E,i(i(i(C,a),i(D,a)),i(a,i(b,a)))),_,_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_11_1',frontier_varnums,[12,11,3,5,9,10,6,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_11_1',frontier_length,6).
spo('nonfrag_LCL082-1_20220411_5808_dflr_11_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_11_1',modification,d).
spo('nonfrag_LCL082-1_20220411_5808_dflr_10_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_10_1',parent,'frag_LCL082-1_20220411_5808_dflr_10').
spo('nonfrag_LCL082-1_20220411_5808_dflr_10_1',frontier,[i(i(i(_,i(i(A,a),i(B,a))),i(_,i(i(A,a),i(B,a)))),i(i(i(A,a),i(B,a)),i(a,i(b,a)))),_,_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_10_1',frontier_varnums,[9,3,5,11,6,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_10_1',frontier_length,3).
spo('nonfrag_LCL082-1_20220411_5808_dflr_10_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_10_1',modification,axiom(1)).
spo('nonfrag_LCL082-1_20220411_5808_dflr_9_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_9_1',parent,'frag_LCL082-1_20220411_5808_dflr_9').
spo('nonfrag_LCL082-1_20220411_5808_dflr_9_1',frontier,[i(A,i(B,i(C,i(D,i(i(i(_,a),i(_,a)),i(a,i(b,a))))))),A,B,C,D,_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_9_1',frontier_varnums,[9,8,7,6,3,5,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_9_1',frontier_length,6).
spo('nonfrag_LCL082-1_20220411_5808_dflr_9_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_9_1',modification,d).
spo('nonfrag_LCL082-1_20220411_5808_dflr_8_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_8_1',parent,'frag_LCL082-1_20220411_5808_dflr_8').
spo('nonfrag_LCL082-1_20220411_5808_dflr_8_1',frontier,[i(i(i(a,i(b,a)),_),A),i(A,i(a,i(b,a))),_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_8_1',frontier_varnums,[8,9,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_8_1',frontier_length,3).
spo('nonfrag_LCL082-1_20220411_5808_dflr_8_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_8_1',modification,axiom(1)).
spo('nonfrag_LCL082-1_20220411_5808_dflr_7_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_7_1',parent,'frag_LCL082-1_20220411_5808_dflr_7').
spo('nonfrag_LCL082-1_20220411_5808_dflr_7_1',frontier,[i(i(i(b,a),_),i(_,a)),_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_7_1',frontier_varnums,[7,3,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_7_1',frontier_length,2).
spo('nonfrag_LCL082-1_20220411_5808_dflr_7_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_7_1',modification,axiom(1)).
spo('nonfrag_LCL082-1_20220411_5808_dflr_5_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_5_1',parent,'frag_LCL082-1_20220411_5808_dflr_5').
spo('nonfrag_LCL082-1_20220411_5808_dflr_5_1',frontier,[i(A,i(i(i(a,i(b,a)),_),B)),A,i(B,i(a,i(b,a))),_]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_5_1',frontier_varnums,[5,3,4,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_5_1',frontier_length,4).
spo('nonfrag_LCL082-1_20220411_5808_dflr_5_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_5_1',modification,d).
spo('nonfrag_LCL082-1_20220411_5808_dflr_4_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_4_1',parent,'frag_LCL082-1_20220411_5808_dflr_4').
spo('nonfrag_LCL082-1_20220411_5808_dflr_4_1',frontier,[i(A,i(B,i(C,i(D,i(a,i(b,a)))))),A,B,C,D]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_4_1',frontier_varnums,[3,2,1,0]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_4_1',frontier_length,5).
spo('nonfrag_LCL082-1_20220411_5808_dflr_4_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_4_1',modification,d).
spo('nonfrag_LCL082-1_20220411_5808_dflr_3_1',type,nonfrag).
spo('nonfrag_LCL082-1_20220411_5808_dflr_3_1',parent,'frag_LCL082-1_20220411_5808_dflr_3').
spo('nonfrag_LCL082-1_20220411_5808_dflr_3_1',frontier,[i(i(i(b,a),_),A),i(A,i(b,a))]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_3_1',frontier_varnums,[2,3]).
spo('nonfrag_LCL082-1_20220411_5808_dflr_3_1',frontier_length,2).
spo('nonfrag_LCL082-1_20220411_5808_dflr_3_1',modified_node,1).
spo('nonfrag_LCL082-1_20220411_5808_dflr_3_1',modification,axiom(1)).