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 \ , S/ PropResPI:threads=2elapsed=16.504cpu=26.936gc=0.884factor=1.637zXZִF!   PropResPI LP]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^O):_D+Q,yxq`*"',fWմ/Va_(lD:tz1l٪#}y7%3E@ = RS@ Vژ{'ШY(]q{WbRIG ?ʂ5%LH{&@kX[p^^qTvhT<+|j4[H:*|l%Q3[L}Ѓ[Ñ:>ۯtc&*0M:c/ȹ ׌'X⼋">T/Z37Y"UؽʥCEҠu?cl @`'1}- msWULw sBA3A$:iwfJ= b<&_A ^g7;m 3dtOcM|,pO-ݽrb2yxNᛄ)$ckұ!,[F)84w %Ժ)l lv@PuCbPcN,e8Z0XahHGF({=gz\4L?71\ZhJ4{@ۣ.s6KǖtVC$s;T#h~:Y}V-OUW u0hWTrh˭=<4ù\Hj Fge{/-l<͏,m;UHXgCA(7xoY]<bX/xh,JW8n+m"wYm7a`f(nJ>m,x? {}Ge]j=q-PVw$c6> V3>];oҗ7ҐS25f.Y>U[vXOJ$@m&dl (6:,Pr%h*J"]Nˇy_f[ +tÉRݝDTA(̈"gTΝ#݋ңY*Vh::0]"oD;g{dڒ{k\M=WQI0{F0L1u=lB$pb [;'^ iӛ6BZk"Vf,Y\L/U*_@Sh[ TDcфر/arϔPX7حߔiɋpG>-`26#|8,gDjtL{$%~~'Pп{%̊kV"pSӞ Pd\gYZ7zXZִF! [>]ŗXi%DQIǹ~LIEQkLqƏjs9{i.]@  3 Zxgisp!7JE=0>%*Ƚ9E(~|Ar)}nr} |ͨMx6 偢K}:$> &QJ{_yW.՗NL4~Ca+D7㮨Y .i@͓?9>S}{ۓm'ps{Cߚ]\/Kk<"Lw 싣R7ոI7h|o:]GNw[; +Z:sh?"A.g^{U߸sZ4ZIyz@^B+a?Xi莅<}~((?X闓A5*]u^9+ q_&U9 @Bi5=Bs; A~ǭl*d C 60$ּfRoC{)e]7l=Hk)je6, Zi ">3 "rw[{F dLQYj̡ͩ=&`W}bǡXp/p`+KB<@WTRPy_K_^_q jܒJ/4h,èvnHRnNx5E1@!GS:Ot$|F`4KŴ1!(| ׼D9]]MZ!?XMX3G-?}yjCE໒y}ejˁBz=eChJt_cXqI=mݒZI*rފ6'B4V"lh׳vdP[D  gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56