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 ^O d SS Noninterference_Generic_Unwinding:threads=2elapsed=19.645cpu=21.692gc=0.360factor=1.107zXZִF! R]ŗXf1-/6vR[y(&j-:69:b-)ea5*dzȈ+R%C`\"D#4-;sU.4<UBl'L 9CB0|♋Ӕ7v%QQ+0ZH95;!h*K;%^Ț$>zVrP?PX쒫^֠ MRUݵa:SVy|O%`qw][ X}p@XCNC61? TŐx)(s=+ϸ=ku`_Ӻq^1=; n>!Fc GQh'j[Ed( ˚cr"%ٓ*i.;DQOEcTM$ ̈́هZ5$>[:i˵^C 4A̝?6(gYZ7zXZִF! g<]ŗXi%=qo3iƮm41!|*BqX]rAMVO4]._$V7JSS޺ {Q .7|"I:KY!#kЩpeA-q{W]'Cz~_8s%Sp ?,녶V"*"5((Xt5cP{jn©_Nq[k LdrGL+^t_Ygqf $7bvԭBV#2nheEHmDAxU'ch >2|ӿTu]EMHr1GD69re &ku3/Vx(ЌFh=Z6W'_B3Orpю1~+hgy;,JڞwOBʻ\yZ yi\`ˉυpwP2m95C81v3e,pUڅG~8^Y]gT6s}P{1]F5_Ld{J Ŀ~iq;j&YN#͇)$}滌Mҭ=Rs+ԛ" X7#ՎFF=ntY}>O,37#}+Zx&FxE@7&BG)lDԽ,&tG?ܨ:$L#wiu!xy( ieDCŇKA:C+Di5|Kzhk 332k5PitL$.L g  Įn:vHz'6A ${`?zӯ/ Upm GD_#1<B0t&m^}?)G~$D]z<;gt:cG9::YΠnwj~~Z;*kuUk/KF8!{C于׶Q,!Zb\zEF[L6d*ש1">vg: uS+td5Lsyni/SAL `\E\fO'7` &֮K27U3"0bpަ3j51͊ѕst=< '9s2Qf++$عc{29r)PRCum/`l.t1EkB~ |'gYZ22c7c96374cc8e6f12463adcfb46622f468d2e5b 99caccd6b29036477d61b661e185842f9eb11bce a2ea087c246dd1399266b38f108e1a4dc5a397ff d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 69a706b524ca7ef69a6e9e0dd5c8911918eda534 fbc93c64fd0d76718686393f65139982c2a984a9