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 D L ; pGCL:threads=2elapsed=36.326cpu=71.768gc=2.024factor=1.987zXZִF! |={@R ❓U|8ߍז ?f a4%GgE5s>^NC}d閡03l]%ЮwܬizF8~ν}ꖆD}Ɋt%w/ƏJPDXXZ:0z`f_T|R^</(w]+H6f c41QOA1Lr|=CWi^JޞbEufborcJʗ:w>4 e5qqV)cEUc")5'vhqR8Sg$D9vD PU숯;(vk鬸~2- A4LX1n[̪:pn j\Ɯ( umZT?Q(:ߏJJY^ôNXhf=r/^_c0/C{W&V m8_)BXC\Cın!"4DCZRobn^o)H*}p,?F.8.VEt~#+BHD>O>D)[z)&Ϟ_dqˌl/ZGrn0(LBiXIBWzr@ 'ȋ,_6mS7gR|Q_<꾊0(H~WxeQp78QAY%~9?e;> eF\"RzHi6+C" +*/'d4V3W (}K7S0" Os "e)jD!>+*đ4g@c{rZy*:T uQ=`W#.q>Թ(yfRdAdn,%v7qq~z)GD&׵ªۛ#LJLS֘% P`[Cf=OgR:#ۄ^%iU5՗zf56'QR&t,θ&hrٟrӤjtD"ѸXoK&l35`mKELiO΋&OP:HYc`CybA[ B/@U{%qPxA<0 bbk1+zqe3OGPiuk\mA/瞄g Zd5]F3ڦCD 22}V5x";(JǮq*7!^`z j YL?%T+:P&Yio[Hm@+umGtz:WHR<1KS,S$:T8rv@[/k02{3pxMzMfW@0+UIʄ_GmK>}:iɥ`X{6E,M%jbHr[,{V ŰϯzmZIGO=6NO|F`4Jil蘷vh~i_(i5'[d(@1|V.>+@=$`?u#փr=iM*1G)Z /Gҷ5*i95З^Zżf'K85=h՜.jh{DV }9suZV$$1k 1`s R$74eeQ_KCضjms 8 XCpDr$#aDm[pYCˆiӅ#yΓǞ):wIRH~xbkZ drS8VY.|sshʁY!3,A §թhˁ$ŀԅju8]quSѐQrHus}n }fE95 b-DMNJ.Ͻ;k_"x^`x{wh*pU\ЩhP N,m^5rM ~hj[b|<'T_Z`+`bΘ828 L7(`gX/~,d!X9¬<lth<)P/TP jP $z%Y'0q `I$ȼLC e~׌;j}]0 [<ګD?4"{wEµG!ҪMQ'kت'R/ZuA|ڷ^c0u3ɣ(.pV-7=^5X/uS:en(V-h8_HIE*37nei]փWrm\Svؓ|.+{%IID_"+SP&,#80A@_,OKc6T?}7 P䊰 dэ_M|Eo\ʅQ~=3 "-eC|X-3T VbC9J@X{-KW%8qCjne]4t]8bYtbת}LC WQsP#\~?S gJy"PZBW[2/'24N -,{9SMc+V>_W>=~'aR&à7֢!q LN=݌mɣ(j-J ckpc7>l,mRNH{HJ?Ʋe~.=OrG " S~5܋n kr[)jF%)Lռ~ YX~:%nн nGp%r/@_.C_ p lps.o'nC.\;AR,#2̶pBٲOjc\ȡ-\apM? _ej' K# | 8؎Һz9%z5 9T!"b҇{l6[o氓͈ˎ{Vbfc4Af;\9q ,>T곔L3ֵO^! SAeItUfztjÕ^莠GEu+lRUT_V|Vo \8B@K6Fp.+k0YOzx$_/굨b7Sz_1*{|W'NtPɔמ W ^(vͳ2c7yQK fOY|JNC(ڸԫ:xz Z)#`n<'W[$;(OLEg %D/TޥBgEGݙxV9tIi5*wn'/n^, !ocŰ:홬 uߑT5 it sgkٙa~p}0d; +`>*('M($ ɋJMĂ\z)va'u*aYTL* ڇvyR- ""XZS[p+O;k52n׺`-AM3z'P*YU~ER+/Vݡ$UTzl9M5,=P./#7$zQ9}J(k 4~[e[*#3.-l;--7XIT6x#evHąOzX.)X 1DgYZ7zXZִF! `]ŗXi%m]j5HZz tEڥX2vzꅶ~"N[_89KJ%ȱO'c8JUB+'-(oΑaPDCP9u\}UVLw( JՓp|gcV'dk[':I"Q*~C qxK,Qq2+1M{9n|zRH?0[$6NʵZHdRAps(b6_e${<| Џ'1\K߫GaޘA>]{MTP5'MS^W9/k\R4_Zzro9b.,-JǧbHH|òTp-6T7Q&Y],> ke`Q#Z"Bb20WŬ2S/(ɠL5>i&CC $jz<Ncl;3{VJNoVjd}dpȼ2M~l紿_+vZti/ȇCdBr,*'ν^H &$jcܢJQWqJed:@ʕs2D@E@ ,]{p |ǙK^]FVjYaY΃ D-`pL+$P{:67] #*@`.! c2M_)7t&>n\7 w_a9Bx*b>Co3rh!_x l"^*: /+7䘐un~icc,<LU3=1-7~ъ,"UiI01e>4y8M3` ~c­t-&-8DBYj}n?ahz:]tJ'ŋKSaC![pZS06.x4YS0LfE:a_NtH>g Ӟ̇%HgYZ0bdddfb20b3e3545c9b9441084db519302d94dfb 0e5baa370de4782e7af932295a9f002a78bcdc31 1540a81f7dd4147898b3d2926c4bd447083d59af 1ad9c9bccc1dc66316f0d6b7060bd6fa4b533654 3c36293dab18bf03b4ca22ca44d3e0c753f0e80a 4daf2a7a78cf5c04b805eb7f5c19170f6ce6cda9 4f42905dc9d119c8efe281696faa219e5e7bdc5e 55cd8b098cb2e43e139e34758634a4fece59f9c8 612de86945a5fff11b91d2418cc5649efa8f80d5 7ebbb5d99f9439d08784f3c772701380f386264a 87c5e7d9d46fbc73922940f697d0c2e5c1391215 9197b24aec0efe7dc1ab5442b83bf440168f02e3 936759caceaa7552551ea4b16845bcad8ea573fd 9e869554e6081060ef6246443e69d02c6633d786 a6186a2314fc46373e5cab6b4dd381c33d7058dd aad4331357ee3ed9012623b48b7446cf62914eaf b088dd1299948c721a3e08c32107212c584b7e13 b27b2f2e38941acd77b9495a025b3ad00505da07 ba408a9023544d2f9d88eaf7f446ef69a174bc9e c1e117b004c05bf9eeabd583364d41446986dfed c9d8cd08bc7e07e07c8b0d7141ec97e252b5edbd d0d78c9e37455a89d3ce23e30332d3762cfaca8d e29ac340a2bed9e08eddc7fa678d855b97d3af86 fb02b943c1b40262ee5d451f33fc693a449db4e1b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 689e42f6a537aa228ba8dcbc2d5fefa5d25464e9