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 a; d mS Special_Function_Bounds:threads=2elapsed=42.424cpu=66.484gc=1.244factor=1.577zXZִF! +]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/!g<@{nTmHc@)ZbYAS֙ѧn:fCs9PmgCm KbDGZs Zmn*aɬ.֫ak"ԭBۄQf|hc|Vq] ; Special_Function_Bounds<5") b49*o5Nl׈ 3"ʠL EoT!FbBKt>*Z3D0~>r4JO qvqHXU'5O95jUF ;NɲMtl6 L? n>ͱKF2uA{.9F=uhrkV*+4()(o|,TÙt{?ѮET 'Ǚnb!oGrMC϶M=Sd `TSAM?%:!~=΃Q+͵5 MiyF>y,(xVE zTnɆ,}ol`ܲQ*\NF w濬-<nj'fߎّv00Ey`+-3S?rW^.1|":ST$\*zdq=@o'6 ]S7{(oPVj3+yq*\W 'QVBm%/>Xq6kT-u @8m}xʇR3E:"G/K.oВ^0eR n9/q! 1KyfG\BIZ:84獒4{KW3]y^q@|FBC8t x?-@!"ڦ u sov5ߙ,_Krrױe䣳$JߛکACZiK`q{aicĤ3iu,XGG;Zӟ/'' s˅܃گbx?IeǼ|zr ~X>!ݫ 7%ڑN6[C?`tI'1'os9F 3ԣzߡ8#ɖqc`dzY ,ZފkC#yۑ=y~[fr2?XT|%\Ͼ>Z鍋e|AgsOV1;܏'{S{|m͔̘Í>sڴiǥJkYX]X%j!ftEF?bФ'TC1C`}m@:%],NPDBBNim1ӑ!]]1c} PGHFWeԁHNxș"7_,d7/-/~1o(PDEկ/?ţK[ȜD\7OU> [M*=hi!t=ϰ 7 8z I7+i:$?эۙWn'Q p% %gYZ7zXZִF! :]ŗXi%;x[K6]-?h Ak#Ԇ]^^kql!o*PVa)ޗB$b{U9bbP}nEj ^|r.v^DvUSX7-/N'iːVBJ J>wLfz8{> ^Mzf2|uG{Ytl*hL@Swrq:lG5|! x:NndKȚ=Ĝ~]C66mRGWx1)4K{TG]q6ڤBdc\2ł-#>Y M_7v rxI9RP.)7 V{:(ٜmoni~N)gh &X[APD!!N< SɁLߓNQP\x/R1SKW{ w|c8Xhz͑]! |qӴ9\-rK(x8&Ըu]h~,tTbebqˀ+Ti辑 ʪ4,^eI|~'g<c"ە苘崵7xvˍPieʷj?ZU{b4DSiEyX#v۫vz@#dq":2Pb]ᖹێg'Y)`a `  V'96q{iXa[`**oւ;Nr$E.x{ o ȅI~>Q*kL*'i #b[xQ 1%F&[ o%NQtGq $vSUjՀT9{y iAZ "r0w?}2$9ވZF_1Gp,Zwf) s͗3aKPKlO 9}x)bUCάwslrE%?Qқ`'<,\ĬT wֶ jrgi(6JG^DރHZ>קЁH`缦]꯳F