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  g5<$T ]/ HOL-Record_Benchmark:threads=6elapsed=94.628cpu=165.132gc=9.316factor=1.757zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2 /:>ܢ\gF< )0iZ7aȢlP4 ̲CDdf #R}@7lgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/8Ҝ84WPQnJc#z}&<\ Ok]*U}YZ7zXZִF! ]ŗXi%;75os@ωv7c~xӁ2AkG.bPx\6RdMx4{"P-\nC\cِ۽lxƺ5wث.\הG28:%꤃ʀ&AɚrF?t|C'q4Pbe;U>]A+҆kKTԛb䑳dm^<ŏ?]P@3.'m9<a=*;ƴ\vk?T,@/ OKL9e,=hy% S o|⩳|0HT+'J⻅saE]#tˋ\-Np0R-K (%]g "olBNjc r B@ȧA}4;R@ζ{[L,YZk(PبIrհ$-G- ={j"Df_hW3c]ՠ,\}/$;PPEԃ O #6ЧRPf$fF@ɩlԣXЙ)%mD>!w8ϰ&ml((u!gUrJKY(Hd:{% KEFw$Ht,G;c\A%Q H ~*56 ~™pYO`Uq޶=j֯Qi n~IRZ3i- <:x4%-<\D$".z%gvN]⇼yi~:f I},͕q:4g,s䰔,[FpðpL}C!ku1A[=r cbI(]%Or9X$HQA@tq_I7quo7T|f4,|ҡyk8{хwwWʬeZi{S٭瘍n!ɍBkmRz:r-[ Tai }CGƇ apPD|ldlC_b> yVdaGx MdH jײT<>uz(k6Lw!gUf> 1,бY&BpD?@0\RxfyƼKy19* #ʯd- j-c@We-a6_]ma#cyon:C$:UZ|in#n fڄA#A&/#P|eIc)ڐa g(:f A-[p~yFU㵩&r?NQwYT`GCN rq;ާ(m?濯ЌGW>Iz®'86LB z:$T8А+ |[QZbZn Pl`TxFŋcӕlӺK滑R2Ԭ?koϑ a4R{wF:yQ\wЋ`aڲ_!NC~R9pr!Z7נ; ;`ՄC fLB8SrrJQUQ jSM[vJ7LGjB%Jr_b 2 Oլȹs}Kxp^3{@Hb_Gtܯ#祽tqR"!IGbUoo#4I:H強4pÕ)7:f#bz7rKԎzC ΍ܬuQiP}y-kx(1➧R:68!F%Br ,O;آ$ MT0yܐ n1J Um# c0yR#׍=O˾U=M%S硻0Z [xкc<9LTO>G{ id +E{NWWVpc( SVcN9p,%ZfS8E #KDD?A'nax<Uc,[Ӑ`&Sޚ= [V[I#2܆ RϔxWTD֩{ٺfRYYq>xB@ 6Ze0>u{M*ѯꡐk.ABD;4.8ܗ}n--#zf>a$ o{գ;7Un1;pV [H L3$jkspU*sʲEPRrr7Tπts{:@tEs?VGf&]wP ě]|H\hy7'*B&sxHȿ˼v#U @ure`)G hDƵ;Z9-X=5ӷ c =>SozE,AGT [