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 OO" |4 m/ MiniML:threads=2elapsed=13.786cpu=18.876gc=0.648factor=1.377zXZִF! ;2]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{Wa!sZ\1Mș~H8O[t͘ wW=& E.sP8ET<ƷyR"PAf؟!ҵ@(/\K1fս߼0I5o$=x#lyyPў%!&E"~*˜/ELP]:]$g CT3F5 ([@9c nD {)ҡQ)#PbXDj]fRϤ*M2qUr趔CB @)5Doڭ=CQeC-!? ușcٴ|,m9Rh8)`v ޸=:B^aoC-N*:}+,ЇZiýNoYm.;FVDM\X$%(zNt0`i񓶃(pB$n0w]#gEe{FCI609qBFKK" 5Nf=m:"c|r[տ^1jM<<, |7nmeGٌB3Ls   MiniMLJ=g`lYz>qD;PLDC'/15xC)7eYhrH^zx`5`JD# 8v/4%$kU)hL!Xbd)Y-N>9Y:=ɴ]-e%)7î4C,.{fPUAQOt7ބ7؍bNw)f:kenC˸v3Tz6pfKiI )]PX9aL:BGs*X,d%S:iǠ́_UA8xb5 8izz@圿74\ABz?yjuϡ8I">wڂӰ'k~/ZpEm$,XO wVлޚb^ -"FXQ1ϣq&.+ɕᇾ'wnx G v dgYZ7zXZִF! J]ŗXi%He=׎,B9ㆌݚ# 104C´P`N Sp,fkU". <݇&C92yJ3H 7r$zL+R UTN%qKIY]XFbfW~ndC%l&=Hª1>_z-EȠ+xGϑgM%"0!-k=68bWw)*-2΁xEd[|.IІ.%T_uy˜̣.޺A/޻qƖfzXLC| .5I;"zEǎ#6𙚋j@H@tcjH+fSF?,=iYiIȁKRU|é ¹sCu%phy m%' ?1l(x7ajM NsR#LB1X˪u8[BeB>ɴCxs|<8 {yNP](A;x7cQ-IF'ؘ|ox(F"Aj6qօe ɰ7sÓmUR< _٘&@RQ-mJ˃%O9q/dž?