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 ~~_ |$ )/]HOLCF:threads=6elapsed=16.396cpu=38.700gc=2.160factor=2.367zXZִF! ൯5]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L KdC5bNʊ3(s 1iTE OX[Yf 2Y\RيL{_ǫqf?K-)[aR{ !x#)b''hV3>8 & gF׌Wz- TӉ$!(T%$tdž  HOLCF額Y0 Uc9h4n-KNq;k+&OγS\a`>]?FDue<[gEEe՗G4;wAA+2{ˋfQtA4d,Atue-- \)},rGhծdWMJ8TucD pk-^Wx\%Gin\8Otv . aAw_DZc(MC& ̈U=tU 9-(cRY&b R789.e4gNہQ>JGʡO+E'|1#HAC2fZw>؋Z3s#)"MK$p9qBwKCxdN~gv)Lܬ[yYe)̂fV+ky2Ɨ4W#7^z:PWr<,LiKMU?@- 0+'b8eMCi${( 4S7@zS ~ONEaVTӟNZSչIU&bsʲPuY_Ɵ.|B G J6_:4Y}2g_XI"@^vU*";!ߪ,̑r2qo8Lzn섩`(=#avӔӪ?/QZOr B%.v >bMP&E:*}DOcwBnPtz|yQR v@43d! *V@+i_,׳֣ϲSsW}vII p;n!a MIAEsՌjchmb<<<;v˽gvK22y-#n}0k~Q ~tG ##t*МkF¯!5M{D]j <>0@D?o R"JaB[cҐg|(3x.da O)k+lc5l@`+xF 0A,@=^7dFI\ b\$^K(@ c붭*.^6UI;uղn\J E䑛#Me;HCwȂbGomW$d†|Mb]&% i'N~`ZEA %k{@hz. +D[|<@`2r̓3B(|'g xɃ^M! 9_k9lP]5{:S~w NF@̡G @OW ZCr~ 4~\SR>a*mPc&xA@ 5dM8rYgaM8-#_NCHSQO2 ӕ^Fv[{;^J4kI3!Y1dV9 0r_ug Q{!%yvsUۛzn wPV{Ős>;_0AZlE[*W<_ohRF`N!{3~ڶMhLS+pRbSh4i& M'z)YMhV8 "xbwru=BylDy{8Kƙܷ Osq"Iƻ>NNlWWܱ*>'uԓEQmA[k9Pbm-r*<5VAnvC=sZ70{{ ..E`zLR#]G.6JF*[e*3 $>fLf⿖UH(&MP m[&f# v-]&"u׶@殻&5>(v/K#33SbEyŝEs$N]ᎷY*_$[]`"uq ;dIub^{tiah= MqwCj%R#;sy\(cE@~,}-@! /^IFmZW§KAI_/ ](0B8>e+{&ncMC='C²Bd1FR3TM 8/ _<Ϊ>AkJz+YOjZNlWk]ȶ`WY%f:m[aY"5ɖ|w(ЦFFoxPKʄ$k=G/8[*b0xAD7NxƐ oym/+b p6lKcE^ &bj=`Д]""q#/]>Չ^zh\$ W=}B>p`PRrcs@.UURWUF} L.aN٪%xo /p~fg&5Qp*xo s 8D2h_H`87j9MMCM':%X^ki6=hcfχ$;xa*(^ٵlxlW zF96qL7ZL(hLĴM3L<$}hlz5q+%k  vVL;\N\Ϥ#1dWعul"*X\}EL,9qdf ÚHמ\ m΍vJl MUܣeޅ t^$f,4>R{7ej~Ė]H;P!9&x_OV~\Ϳ "!3 [?^VF")i4V=Jl"HWZL6 (Q;P^N I79I&;dNF~<$@XVBQՂMԘ[)*&FīWE7ܖg6z=jM9ʮ1bi0NE`?8d#jQĖRA2g|r|>9i/,r%ܦBg|ۍ}M!FNN&X g9ʠq"=̀ɓ gg6 Qd_.ì0K#@3B|@K8%Kd A`hy~W~:L3$fߌF ɨP9ӰpAbOA賕|=Mń w