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  QD Sw Hermite:threads=2elapsed=70.819cpu=112.716gc=13.748factor=1.597zXZִF! ]ŗXf1-/6vRZ*F"Q Zx]t{+mfXĄoշ 蜕3Fjh e34=fB@=Nv'wO4#1xKnIi@J Z&ǟr_&?ͭ%XLk -N[^˛2#%A\6>+pJ4`$΃ rD   Hermite +Hj0JgYZ7zXZִF! 9O]ŗXi%6pTi|,)1Wcv W?BWg$0r0>z֐}o=sF1:4XCjQP/Q}㠛 F$a.2h1EIF:`=VL*·f;v@lG9 b^\ y2 =G[& X{0bB=J=v Ptc]QA}9t(2TtQ,i\&e !sMځe}d%8 ?{1 >79W}FxDϨn[- eڟ#bhŲC΀z 'n/Չ.w;zN-T=p\غϙ*"~H:+ӱd<30w4jKotDu(Ii?$X Ǽڍ|x 4e +ٻ aH ,ua̽!{|g!SJ{WM7pЉ9 pYtEAS30(~{܊&F'Cx"@eEۍ9ڴ2BP}8ϖ^L Z|g>v Tא#(,gO;6e@`3ūe~b~AH1ǩtz8ɝH `Xw# VKدem9}ɫr]Rث̩[=IW1Q+yFLL+ӥuwxI*~zQ$smf eFA`ه59Zg:0r&/aᓥ%).(x,RJi #,ŁoDb&%w]ӢNn7]Lr;"dW_(Wxha@(ȵ PcQTM+Maslr""rX}Ul}Q.'8Ze(>z+63G抆M$Rl - LO@HqؾOhW6&[7 +ʂ/]`cL#$O7/;VɍS($h?}MWhXm󗸰.?tmBa;:N `Ҭ>Ίث˫K[RGEJYn0E@LsTSe4At7F;ant"1*ȍ MMN!$dxކ`]}GCt7$aGo!u?NB0p[5-j6Dgo0z _^7nHFNGfD `e/OA@:hq~ Y)H̍au u}$Q$P| DȅO9v{$"eo4I _r$2[@Yhg̉>HEx Y&1l6;%G:p*pkP)sm GS FSHv%p՟Y_AoJ76o>"c ]ah]<]0Q޺)]"h6hp:(ՏӻC_ƃ։R̒ :RV\$ ]j0 zk̍^yLN]Od;B35ʏdݼB^U٤*ezwm:8 ~:'Fg4 ƭ 5&2oW^׿CY9=}nv!<6;_m̴zO>bfE`]:/WB"39/SP3rAD*jt0r҃AjͮfƘM)ckɟugڬ0 >s=y "R'DG2]]:NQgYZ6284c7e5391672fad7893c11576da65fe045d9de 65464c5d9dd95a24dc91392b59bb817a3d282213 98409beadb96c756d3cf69e50d03de418964529e e9bebdf05d120266d95742efb3f9f02ec59295eaf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 4f57675282beb9f09bafaeb1db7bfe9d12d7e2f9