SQLite format 3@ .  YYQ77Atableisabelle_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, "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 #) D\ yS]HOLCF-Nominal2:threads=2elapsed=22.920cpu=44.752gc=2.172factor=1.957zXZִF! ྲྀY]ŗXf1-q恈͐7ӺV 0 މ}l3[6TM6z]ޘkjf=VSئXGQeIaxY9aRH,耀{·\S82Tp 1[+-~ٻ<ó) \rXly0XO]iiḖ>G5 3^mnʊC-E] H?%W[|2OVYlͬUb+8+&oJx]S'8ĎƧOyxZkIox7SMw[dF Ywt*p*k/ g8t*Gcc[ź[GԻHJXǤ ]+Իw7-4- 3o\6{ӽOz!KȲ{HdLlցY)xvB/&__sqŹ.}lDf kGᣴ6nu8`bzEDǐ%dRBOoi\]W Fک2fT+TU\,h:("*{@vջI z[5Ds]}4i)ͅB: ʍs nP_+gr9=5,QyDѱ^L(E !T؄T_g> JP;,PeaiLPro) CE(UO|Ò wzK `:eIr n.ceMޘDkcdAi ZJPD#\ a5դ\)ݨҔLxTa7rg"m|s_&tܟzztgrъ87:vD,xӜb5xKzO8RɍTp QB熆|4v$ N-+rygNy_ ?xB9;]] vZGېt^mN[%XPt  qsm'9 m>;MKH%6d %XwFц}h y| <ܱǕgkpX# 0`bSvEǸ5>y,~U ZaFk#\cy=Y̱uYh(*34ii׿ri30۱xcƔJ y&Es.4p& ۄKA]g8udť}VaȻ'ӘBN+"d:܄`I:Ok[ ji>4&[KV IW4λnŒK!Nc녋 JwNG=X ۹U搘CA7ȳ3z 'Rg"rä = r1Cgz&3@ 3d0@+o#N%ѸԇQ\TzlE,.c6a_CEOp:[&[$nCHof mA$9R1U:Tnjp@ĺPwjy5\9SaTf_"V_: [qӷJIi)͕ϵ /<֦Z@06ﯫϜ۸Ӻ;ED̉/ey{9.ޝ8ox םmuή2Nnzj7\8#-|OFYr_ x˭eKEpu i>"(Y笏tƤc}E`B0ԜHgL+ VtdG#>7Vs:B֋(_ۻ;#mߘ>FSRYƚySkH;*׻FiCy`n2Q"$c<}E9OZ\#N%mvfLӪ=a?sYiɄ%l v- ^@>⪒X$Cn|òd*>-Vnޞ@r_;(F%`0 ={gsX³'֯3v$ϼ,>tqko/ ͽLt$ URH$.<_e?]If{V2asPt؜苤@1vv0ip,Ta/"8:TIđHyahfW/ 6feqkV!ʔ:.mцcuЈ.m~}h ) HOLCF-Nominal2;qIghAeLQIQ-9Eh͊F$ r_85Cn CB8.G)ܳ{Zvpc2>SKwhQ|D*U]`FBax[q06c89h6m|q9aU{d;I`c#刦Nm6}wKg&垑} T̺?XPM[ȭ0 ̗_||Ƨe&$<ЃPOiXwk۞(]q9"os^:_gǔrxwe<-7-l,F~%3igzWC@̆#X߶lOL늎jhمL 0?d ?Ti19AJ^֦+)iG 32v?M'~Gx] T/Rg]uYvҤa-*!_QxQ>W?Tw3Gj#9QF570F>QR6l=]n"湣h+ztKy"#Xٟ7/ h7(va~&;Be4C`K󙙰e$>X#GC`?p_9>>0-촹l9{2I \7yb=7=p~էoC;RJ6MB.@ f]%8/ΡNM5Xj{#giߔ!<1`XpoE(TD6CfUT鸴eEޓ!R RgYZ7zXZִF! i']ŗXi%8|tqxkEKPވ,>9¾L!@ѳ= ,&{!tvQ ػ}Y򓷀bQ@2HTZ2A]Wd?o#3f8Fe=5uKqP8,,6~æ1ʚγuOf$n?hqs<|Iƽj(Tc- Ƙ*rߧ.QR`<'As-ٙP; ??X,aߠ:kB8T+eySXcnQHi~Eў¥54 זܶ}ɍZ+`A4`I>gz!uHpUpn9wZ%2̵_ xqQ+KҤrdOg~8-\3=*F%mw1q d(:9%ڕŪւA$"!%|u1DpgDƹeR{m6g 9;TLQ ~D?Ķr̕6J|qgd()ApR8drSjGW.u-=P0)f3}h1,*ĩu./[lY-:s mY <ڊ4R]nL}g",1fbYk~oFƼ@T\mE1ȟd[g;f/sLd)畷g4aSq{_/wj(55aqZRh b% EAkIce#Z9!c~jzۿ\DU 43KeAQʩM5owȥews p`ϬH<*!Й sUg G˶/n48ç\zùu1m h'X'Etb`cTc԰D90wOc4 Ԓjj64#ݏ6