SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 \) LD ]/ Resolution_FOL:threads=2elapsed=16.826cpu=31.220gc=1.484factor=1.867zXZִF! v`]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A! P%Zv v!EI+5o]_m>ǀvV).Fp[=fI3 4~ yj-(=dOyg)V\Y}ew+|' KLk^X {)w] F}nqlhgt}UBtsZ%a^*uh|i;NxZm9|o֕ʡDW AZCVfی~05PfS 89Ys-3ZJg)pGx$.4S!^rUKfoZ.ˍafϼ.Ћ @Tj+X$g3zZaevA8\5\w4ȝa>3@V82C+*-uĉ8 ;f MęeGgFB֦!xnuS[n,C ]d ? ywgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14ElI7_m0hGo4[dnJcɥ/WY ?s9~T9 {V JS&Q%pC_!ˍiA ,֥WKދ&p7v(LҸ@qNl! ƱV8gHZ;NjRRQj%?`6*jgYZ7zXZִF! `w[]ŗXi%ύw4VG,e RrIdzus)SGME NcY,v ;9#YKyN T9zk1"fR:)鏈))zB/.5đS,?xl03!@__ڒŎ&FÔMTȂ6l`jHaM2bŅӣ@+VPz\BiBFczlǹUt$敬ȏ_:eKYN̓xAb(ÒM"+P\^o{{jpp@{y98#KgG*PHZ?z<^ 8E^%HD(\7o~;!U_J_u{=.9ڜ *me6,~=Q:uϴ  V5Qw soȧ_QMd(uCiw#gfP1L1f> I8׍gB;͈Uj<,~x{ziߋ}=VJ8\DbZЎxP/*ƂJwٵVvBz~һj1HramcђOF&SkeЮƃg P$Cu׸uj~n-[LvxSQ*<<7V"h,CΙ,HL^t3x189@գT1#ęB姶 q^G^0/,Aᾦk-$^ EΣU֜?X0<1mqᴝuY%J*P?|DOVywFwj&I͞nO(S&a+q6MO#j7%>h_ N!RÃ6`Aڴ0?UexGVŮct8!GG 4{k,/Q:)| 5írߐ;i޽ў>zrA ʛ!Kf 1mbQYXYsŢ^@tn[hҢGIX:-mԻzM,0ݏ@:an2}d(sfE:N]wLŶY"@ dr饛Uug DH?%=W&{"mm G&:6;՘?OB 7c۽#wFpl ;j4;$^+pw[9q!aK9b |JgYZcf7d0aaf64863c6e0c1080626765f601d2da7482d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 ) Resolution_FOL