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  )1  D ] HOL-Imperative_HOL:threads=2elapsed=87.730cpu=63.016gc=2.000factor=0.727zXZִF! .]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑviNu `eA+%~K|WFb4Q3=z!-yQV\ U| :?*-hٌD?/{jn5jIlLt< +5|lO<eM/nBꊄXY.*VGKt EH~80^5G[h=zaPs3Q<2~;VKAft\+HQ3ɒPi#AK)0׆g'2ˌzZw<v %>Dc<=eaT_?șWw Z8 B5Gθ%꡿fRt)Q*3#H MxA |8if<8f>MGh;GzFs!6V }d`w zWd|7`tz9ñ2^EaO1h% ږ_?bI"Cv!5Ytqf)"Vu⤹#\ޭ3=i̼#h|֤dT {Q{f!L2'B@$ {lt_jAa=ĦSΖ߹?I +rk5).`!бF.]/rԽ& D|(A,jqMTSF߷ =—#=dF_ 3GtT0CAM˙jM@bsM}L XQ2 ] 5gYZ7zXZִF! @]ŗXiɟ1nhЦx"n_8N]( eOtd3"Ӿy+Ǟ) nh[L-k~NynB<3{%{`nŪ4hpndB<.TeAh0Ťf k{;0G d\#uD'E@RZFӖw ObJ)Uj lxދR 1 HOL-Imperative_HOLôZ 8SQG0b@!"R:35!\!+Nlxɫѽİ`/;q؍mk)= y3!^"ck ngYZ7zXZִF! ᧶]ŗXi%;iHO*Ό/+izOipeٲǸEuπxqҀ."wGx4ߚHSZDGʒ8*1G.[BЙ^>lvmd^mr 9sQSv\nGY;J*d>Q[}EOӣDDS ֠۹͜PMLAmkQ2ψ~IUA7elf * 7:/`2I~seivM;1ʀ(F%⻋lKi2pX6ܳt[j b0cdHD8Y<;_*oD*ώny*VOEI:1iS!CTYҪwFp"6,kR,cRKs/ ]өa0Y0RhxbA7ݘޠ|t!pWdh<*m%e& pNrh"n jEo,աDÉkԑoVvTX)]ssÒrrNm+*o@t!P"_t].a;-#9?_s&4]9:% l #;F/+2٩rLh]Ii{wܦ]=X*֢u.1RٱA&OEv13,7s%ҾyѐN+ جauf¿i{0"쩡e~19Qb wB'62d6d{\$[^S `ْL%92 EqdT#4psH!#SPuKŔ `FJppTDKأ8z_: rڢi40c=,6GL۳ Faȥ_MA-<^QY0ekʣ3ڂÅףAW)׀7-^HԞAWdw/yI# sbb^||<2#̓qwIi GDh4٩{n_/s-\g$Fof <v B<8ڼ꣡|6SnpZ+[(T߮#V;J_Ye=߶I"Շr&(]W9) %^[4_~*lz ګabH9Ɛ8CvDЏ]hl@2 oRK,rQ x;_vٻ cƉ.FСOE.}AF>QwUzTZմgzetJW'ɘnT0=|Kd8t3DȓnRz>p _ɞ1֢4nu >:Cf -XC4LgV5JipHg 8 ?CТI{G:.e!72IC'x$ʓoMKz􌎏Ac8b+ -;<ǹZOa"tۧ'"}K.Z-o=<2g# E" Bt z To\Z`[#*kQww-{'Oo{u&0Fڴ2sٰ g]O|pDɍ6ZÔJB H/1HCKE쨛;as.DFK0]Yh+[z9r %k(FV"u5su jJi>fɊL2ҥzSw9p.gFnSy儼efٳȳ-C YgVSzSx6Ovp ( ~{.%~6 _m2`st9St]+0Ԗ&BW 8t^^Kw@%D\^ǜ5`::tbg-0h[O@c| +`}0$L)ZP5mKn 7>æ,{pb}^q@]2SjelaBuܧ =sL{7Q o}ҐA4NQ؇#w)*W7TS~ӪIeW {~H#5;3`c_=ftÌf_, fo8%x&Tc3p|8̱XEhdYK:eUh1+ݶM +{Zw[o&tYQ//Q0%o I8UD!wWQ7Ն^lR"r8_YɨN绰+Wss 1h +I@!筫7S {験@5HPXj&H)Hh9['y"4z;^&cc̩S>Wb\Č^uHQٝqd]_INjQ.kը@c,@ %3A?@D)sB&%Y/Э) _;Zp͞Hq/8zl8fFnV )5ń 0Jb^}_K 9l` NTKGK&!_EաG;Il&y%I8A0KiDŪ3H'l25;֯W[ T,Q:rc+Б[)\'M[[8[s/KOуTN'+#128?A }H