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 K \\d ]/ SIFPL:threads=2elapsed=53.359cpu=85.988gc=3.824factor=1.617zXZִF! &d]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(H/ ON0YjkA<vN9t `OimPp9g  Aء@k]^m] f( qּ3CΟ .=T@]pLdbӀ[MZo؃N7^|D&BXj:')w{yXg\׆L.ҽc'pkg턣#|,t xJOE; ڿ?KT{^1W6nvҠH#TĽo=[:/q i"#^:Nd^@6Ŕ&)o  SIFPLksZtM| NLڸH,kY [ jҝB Q4u쒖~+ˈ,R)U/-8K"k^0fϛ=тx\Oq .JQq\NH-~vcBdr8K R^0^%$ۭ!grsp j hG!CBpttSqsUEDW0;JKtj+XN'FB6 |vF~_}Tg A[ W%Y#u>X16~(0yK-m)@?&2#ԎώVW >Rȷ B29_e$,z'7r?1d1SƊoOdCRnh)G &В LG 22ѫcOLV!VK 25Zz%`Q@œB)srn]ϬLr3gYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MN?1nƠe4ԏ/c3aLh GE;{bb?[!S0kٕա?` +#Ӏ|nt4"S4{M?,Pkzdy@T#ǍSUx%dIOyBtЧ̶FO5Ї=3ӔVpn4E-AAl6_gYZ7zXZִF!  ]ŗXi%6\t:T3ǮwOi<:op<b%, $YrHw[WиWh)4.՚=*o]3Cֱ4p9$mdR\iF:)v~#?eb&3x|FcDlBRM1ͻq%]S%=gNtC mng2š1C;"/&9x'^ہxE Us1šqHab|w [}#d"#UϟLz0q.kɣ+N'"]=9 CCl섌dF Wxg[Tyl ];C!$\ 5N6{>ПԂKc3CPyN>'d5m\xg8:sk Eqy 8*:V ,42WKJIkvMp6H7zPqu|!T_Ð#>ѥr@{}BG84E?$..ZૺġX6pYK| ȸ>Ĵy'.4_Vjp^Aw$af}et9BL{`_|Jm$M{ "yS+x qA/,޲ɼ uI YaY t tjvg>'2c^r[)٦\+_%]-iIa>1N'nBq{RžfyRQwA>.J4Rw[-Cƌiy^0qi^pD$дJxC `sbc$nor c_- R369iaYYh~W(Wpn? \㥳" nлm:y>ݭ:F03q [=k<h`jl/`TAm~8P?t-gťLbv\fVB P".]r% dUĪQ\ htޏdgqv%VvSp\"jl%` FGļ ~u66 ޟOdˌSŝjD_蹤M<d`$iZ}gun T +2~M v,Qs-|D'9.LFq`?;K34\slBLL髡Қ2q' \& M~lf*!1BF89}qjECȊW]۞\KDzo/DhJQ: Ecvy;9_a%!2 L*,mqxdqBǃІpku"O]q5X)ku-5>\:&0 [o~X[u@ܺJR$6m<1,/%dVm`{mz)q+u<9ƅQz0$praFEI.ZcĜFΙr@c& uDvڏۿXeoێp>`Vk湵w )f0*Қf[</qհ`M_U1S˚hbܨKBs ,C)*,e"İ$w:Gy/nc{ _ONռԮ~"Iʕw{QT!}Pb p9A_k0Pp|2=KR2},$ӏ٣b' ]mRdA*5m`_p"w_l.jNѓ ݂(ݛOՐRÊk行4'/B{˓5jTOUFPV)V| kƶbW"1d(X8>F;vyIЭFTfXN*C۰R%[Gx MrgYZ23b416471562b5082bad81b0b579e4c45595bc73e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc