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 N  ]]]ZF:threads=6elapsed=12.629cpu=38.116gc=2.076factor=3.027zXZִF! ^]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(ZIזC  |֡8Z Ðf}0龓4Mv` h;/+egՊyN-#Sѐ9NfHifJ2Ysp2 c!W.6'`< $˴!N VM4nMڛllpcӓM<B&@pXݚ-|[]\Xffz? U+`ۦLZ rdtyqLcLcs(_oPpD7!bmah:WhdX8:C""`-KgYZ7zXZִF! >]ŗXiɟ 1FE`穵;=mQV(ѬMU3&-(X MxJOBڕ' RKZ+,o ߳7_njZVIhDGt J/m+"mZGz|]ro\݌53eȧ"_Q?/("HΦ7BL?|tJ2ծz2jW.sGpm(Nvyongs9EYh6P^ƒĶIDUoJ7z}~$]dٜ+ףG)U4ԧvV|ǯL?.ا0RZT8o!MSj髟:D bwr'<|˲fthzL\I[=oҫZ@{P`"*d^9W>w>,Q g@zck6{.$ęmGgѠcčSzgRS6ԉ)nm}Ur!VU0L/ySշ޴ k"X~H)/Tnsyi7_ko D^J;8(!ʥgYZ7zXZִF! =i]ŗXi% Z3!VX[vن 2,,Eiㅙtgl6H۲~>MRI} ,?rxSMaꟺ e"2dkBMH]r} K:;?!w#xzaŠpqs8 ;bҤ$3 6LZ> 7au6k"MUZ򦹊DY]=;)9M6%.B1Wz.!zctXp3ܳfl7mܬgXV\;\l^wcr~Fpy)Zx[s8B WT3tJ,xya;qM([ԿLoA㎑vFT~3[ϴ87)sF'=cxU_Ns^&rmo3 &t1og2N ܪ,n&|߀ǫ Qf!YP\gLn-11COҼӤh+.“x̾̕^\[a7ݳr/Zg79*/V*A|Koe ?&R?:c"aIwk]5 fNb(f`UB/x3FrKd&y&2g(K|[ ,908  /=ܤk9wc- $Nϸs3)3~>PpP/;dE~FPXLS9v-D}ŠBl`F^bǺ/ϼ: advDL{ky|Y-p0]6?¶ F78*ur'D{E#-wi