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 ' , ]S HOLCF-Prelude:threads=2elapsed=44.533cpu=74.412gc=2.768factor=1.677zXZִF! ,,]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(x!$o('OO}oY*:&/×4aM%r~-c2QHcJ吡QKNҥM#-x⦱5|<`}+rIu> tmٟxtGx"pw׊l-ȒՅd3? F@>& \s`)|йu霁{vɊj=8ׄgL9AIGdgz\NPT{s K2Av%v9LԨ%6yz-V*p21>`eٴ' Sǂ'5? ~hɢ/ڒ͡lrJt=Y]ic]ZRk|%c@fq6Գ Ћ%l9 @4#ƳUgد3Agm!x/;{Xu1lΞ~v=Q0;VRF55B5Y8 .BQ0riY- eͨz>Vb٨ErL91u63O^=S2q~/*8#bUl~F"Y|nǮck)z\¦]D0Щ>@\v PqA5uXTEA*~yGiVHnmMTUHsr>i~wm>u]Xs卥[(Ufi(-}]'M=? CÝ/d'=^,Hjة縚|lWIyFh wˇ CpYIR+p՚ TC5l9|mfg S`ܰP_0O\F7UM%Kg"X(]hݷ6]Ɂ|3 ڦf3%xB^xyT-_t}U_guج*HE.v<\v͖\!c[k*s7dSM#`z/2}%ܯn<1'DOCϪ|%i'i^g/Rad> `P.o~߬eFX'0g0C!hf܊rvTL?:TY\`OE-hNP٧KRMA}%fD>[`FxȐsbU1"Tx񓘛mض0Q{.: ڌbK7zE":zt/C5i[蕠^0\S;2~TmpPَݲGt3M͆Unγbر({MQ-0@in9#Q@j˴} fW}2^5ik4ZRݩ0WtpşdWYictҮ OTWT~.֠\Tא1ߣ]Po_21#0R1.HN5Zw[>^}ڲICA;eH9 RZ=#0L0c3gINy1ҏ`-=.Z֖?=4 R!`->கJ/k;鐠&ѕhe dqc 4GEx.M XH3i2'%Ec?2 JF=ԜmaE./8N->>@;:9|:ҺY[}2\vZL.{KDU4!eC^?Va*崦A\️GB?uuL;,p\aeBdaVlTcSc2" ='e&>Zp CtI+`vy}Q%L Kh(iJӜE~$FSeB0|c833K rbN̸~"zRӪꍖDH J*o{]H!;9(Pd!b ;aSf;a nt*3?5h΋=7xMs( }\xBf8^NrS ,gYZ90029d28ef9fee905b26c4c51de6988dcb22e9db0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 c9c9d30478737227e1dfb65aec526aadbd63e755