SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  $lDt ]S Hermite:threads=2elapsed=81.813cpu=128.368gc=9.220factor=1.577zXZִF! ]ŗXf1-/6vRZ*F"Q?.V蓇 'J:'|˱'䜖NtkdS%ٓ9L#ZQSQ?zM|JUEMDHc 4biY(*TƆ􄥱gYZ7zXZִF! []ŗXiɟ ו 44gφD (uUXgc<L<>x+ bҞi^=2w ^چZwѩȼgYZ7zXZִF! ]ŗXi%93p}ƨf+.Nv|+!<As2F eOo W%5/M,p0Y: `] b<˟USTlbB;ص>ӧbe!71iVo ՐTWCa %RMyAdMM7)9W񥔗Ә&W^#`㏈4|/3`* V#   Hermiteu`ک\ J×KL.Ձh-W2B?݂C Zh`Y̤+-;vH|_)ĢA>%zXOk{Ś" e5!%F{;۞ާNзDȧ9 rJ2eJuXSPKshi_`~.cY)6V+&VY,6uE"iL SGH7[{[̺EZj~?1\'1O> ͽH^%9DQ3ȍ? $bmo6:w)P}~X8sutPPr_I˙g1*#*XS>$f5zfG虨*FO\Nh^4؈WϙXBײW\p2JL{ׯg񺗀@!HV!B=QIZxf1GX݋60*l 4ӒOQsL5m:zci%`e !zd gFLYTgܬ;۫Pĺ-<qD*n>_&YOnA~L!4,HY^6$~rbnWvmA+wz%)è`CT_i 1Ug}v{_7q˷l)fFJ&2mfEO'Cs+GXS{r)1!8o7&30\=[nc=:؅sOK~2#l@or8yr7H{7-K]Ua/T!䝻=j1&VAJ¯wD*K:ԛGB˦vPĶ?FΥr8>a"R-%@x%gOӰ%WQXwY]w&|'nW c)kjf}<-LPegiO5?}~%7PK~}\~trcb ujG+O/x9v@V`inIPWa5SIѷւo S/S/)Bۊ5ŵ0_k CB,0W/tp;Hm+ W4hSdK 7^5ݹ 7)UخU h:+.qUaBK˿K~[|i'AkxI6BSmz3ܸPRgE%VmV He:ܗ=E=8 }kz6Rm+7EV!J Y_KB6f+#CdI(T;p`pKāDw3/aX ).X 8ױ>{y&&bBOdYKfX$9W & X*Փ$b>:`ݧ:@L*{ Mi`J&XP%Z樔hunʚ w_RSbB߬;D?p(|-,`BpW=DƙB ̤Bkpw[V~Fԁ)3,^v'v[ԃ'WGD 9ov-14Ы71Ҩ\bUP: F:B, mmY1lV8Q @{;ӭ[y6YЖ=!ﺞln{Ncre1MSMbln<.;.HY1VELތsfX8#1A{E5RSic\TǂkڄD\#%heU/Gnv&&R("Em`YlXɦ"by j.u˵re3_" \ m*̊Mvr6|d/.{Wj$qzTr "*;z/>6u V/Wz2ji/>ۯ{Ĝw Qgy%QznO*J 0XUn:ssͮ 9BCS}8g\ y C4g;?y;^R&ӽJ@}KUƑ:ƻCwtgp兆 ?tuºH(JY$ ̧vƿ[=T ~\fNyޭ/wi E:61dx*tGGu`NqY,0D/0yJ\11uNz3