SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info &&? \, w Fermat3_4:threads=2elapsed=25.223cpu=51.900gc=0.628factor=2.067zXZִF! Of]ŗXf1-/6vRZ9Es˒<=JT!u$:Ƅ/fB?h\{#1_2 ñ[-Vj9E8rl(sa"P'8j-6괅ቘap2E;9WLÄ kozDn}bM',+yϟKBKEc~=DE$:~NGr T bp,}rwcnsDc18Mp70J' ֢X 8 JqNٯr6+OY*Fɧm3SLOnocG%$t`KCy_Zwgx% @ <41@I-h*#z15O&/`񀘕yeP35:%Kt} v^0@.S.AA,@5"?B1C ˈཅh-qrSu]4iګ%-0;{Pҩ <(0{D{(Aǝ/NcqgiV+mliew`iZf_#\Zi&xsk%Q?72@XlHnUX^ [鋲)1M`8䎘: W!cW{u(0Zw ZF8ze[P8rx{ԏ';!)cLy$OWߢ/EUQdByhm{P=n2T"r.3K\ .%j*Q>&}6Fp)@`xǪp(A{crqyl^ȑMimYkLADMlo;gsWYK96[(ݾBF/HKe]*称*Uh-W(Hqqpm&п1^76{ D'&\􋍅Ykх 4{7@+k`m<{`{eȒA6ᨇ,ChI?DPn4ԨqňfUѩĉL/#+q5]($[䤹4.gYX@{xVu7cnR6W3.1$  v?TO~.e{J&zː^oHUfU>Rؠ)#01ì sKhs". "'CZR?L܉e6yUI ~\5r ]]͏q9lg i{AU^k#>CWNl$XZ09|43Y XjYzҒ8.<;hv{S6=S1b-RL~p>W[P3el_nU#ptpHRGGRts)! C6FF_CDݖ\%֯;.YNA/"MrE8@5 5$}4 aô.!v :I1nawdUi`^ry1H1@uDqcv鑏#ͣLUEl׎ #̍@L$vnSX ~/e~Y)+0oL*m)qѶ{K1C7bdA揿=Թ鰢X}s{I4/R{*rS&`VH`r:!d_Ͻcic /cI ۗ6Wҗj`!82j-T:_[`V5C:`8<9wg9D|LMy6ps Xg`pJZ\Ω1N<ڰh[KECJX.#s^E}k&h`+~;TW o\dO9C)'+ %FCsGᠨV5hht¿ JQzT.St"vkΉ=ZrL19g3]GO|J@VzM9> IImukx&NCsfIuncX;ԳN㴺ީ7`XL]6tqB:}Tkg~ͫI\U\?׬~;6uiks254cťYV^kAI @GGCCɲAǧH:w62IjqaQK* s÷`f3kG`ڷNx,(?2kZ@W+pI_~Qm]~nMH4dEny_JWE7Տ4ubWI6]w' ƫ>Q`.gjY橨FP: [q:- ,/Q?J"{>smHDBj>E (rSLPK.R.z3SZ>rAcg܀f͵$OCoYKXbmKEI85L,mNtV0%&PKrH~r:W@ƕ߀XW/NٗUxݿ2k@.S8Q%6a;=L1Mq:ݸXZj 0մ|Noo-əFI\"I}a̫rE j%ysjF +/ 2#HwDxj\q"iIZbygjU: Z颠VSA:uFЪѱgYZ7zXZִF! []ŗXi%DQM B~nM]v@hQ;?;M-z)XW_a%g^uExIלx⛪ ^ZPHK{%#hUX8CbLkX3+t$!GIE8Ŭ<[u ܨCLTJG>Zi_FYj8Clv}kw[g#~W"xKj\P2o)R`p| ֍JYc}!YCf}Wp »// d3q&fL:C{|M߶`dmؤճ GN#o EQc I0$CCXijf 6Dlmmpa 4{!P*h< ?R!OKwFץ8I.LlE%t ]/gUz||W7[ xJ@~f- ZF9q胆(LRav~1$L][=r%"ʍ6u oc+ck#hF%< 2MӀ%c$]T.Uq= \?n3mZH*žJP☷dfhO-DmfF3Qvb : zx"U~w{"R-É?l.0eJ