SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info {) Lt }/ Resolution_FOL:threads=2elapsed=19.736cpu=35.808gc=1.628factor=1.817zXZִF! P]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crl%y!d"">u}Tϫuql~M5LW|p:r:q3.3] C& /U[T:[H 0nu$"p/5>ywz WfL&PKE-5аtm-Dz?Z6g޻,c@zXGqmi@VsdzݓKf*ׄs_4rMуiݟ ړ B=.F>m儙ϱG,a2hh{WnX?'#Q5/'!7 ouw< أقԢ, .:#Q>љƌ#Yor p!|:f nLeRbY2fgD6:?|gIa@Nr}tJ!KhF壔]|,F 1$rzQđ˷Md(@c'ѡl`M?x2/c>RhRrNS#4w=SIq)}n~D/kz-P_:" 8^&?܀hdq.b.VQ.TBmHRccPXA4gא|9bc]A֧:p?"O }R& _N x}*߱gYZ7zXZִF! i]ŗXi%6{B`?k~5HQy'[1%USy=-dء!߈C&eUQTAaknmҗI1}{d'ǫJlDl)}2S*ꪃXs~_fW % ōdO <S453Ž6_3ͻnؼ]2-ϣ.m/e=\E >깖E a~f INt2uu._*g}&#";pf0 >FrA:5;h1a p&M9|@oW.G4t GV=$@ EsUaiAOk:MEf[~@_X t[~XZ򜂸{zB)doZD KrkL"e C9+c!jȿqwbԃiEw[ =6x_7峖dR3VvDKhYt#OʿEt [Y)QOހqRٓ4 5nZRi\I|NXF EG3¡+gS#'>dy =C!FpFAFfI:\ D{\Lrm㷙ϐ(ߴ EsYI\_0 ޠ<\Vb+נCItly?) "hF^ߧu)cuV$WC^#ooS}w%' !GrpDCK'wlj!#7z BHݔkN*"B |q) ^'dcطz$0 }J,œvIrr̘yUO=By@{?IAlmF uw ϑxlet"~ RvL48V$A@.)2ѓS2g6R[g#"@ 4Z ]4 !6SԂCHsF`nQs [ !oga+[K\CSݠCFU#\~n3zT~¤wA:6FUA f.UtQ;ΎKBHE!CT d >`?|Vμ6Z< ]"bE#%WDL| ) v_T_X:Z%(;V,T fv,C?Qd j-5z QtBiou<%BҪuD+QVxY|eAyjE+ SUI-@M )!_Eu!??XONgh}.)?^/vt!ԝmB'[Tc5%{%h=ڮ?k]N%5 ҏӱgYZ0af10dfe72700a1b08699fb7cbfeebd3293b4b64 228567b730aff0977dc236c9d7d51c49baf7082f 4c7b199b410c734957771c90858a01aa83712f4b 5117119a178eac69d137fb85243808da2d667eaf 76fb46426aa7dcd53d59fb5680ca474219f23eb7 7bb2894bf6b2b1879e224f67e577c429b34466a5 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a03727e72c8cce7585c4a7236574e48ee2bb60fc b0b074368f4ec664f58d1b17aef8c82749a7f3f1 bb08591e5b9c442b19230eab6c7dd489eb42fa63 c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d08dca19963f3774dcdeebf848c3949734d61029 f4f3e740babd6413d503e89c3d125830ab50cc6c f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f9ad8b0e4dc237bddb1a7187abcb79226fec1f90f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 ) Resolution_FOL