SQLite format 3@ . YYQ77Atableisabelle_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, "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 \!lt -S]Containers:threads=2elapsed=116.484cpu=205.440gc=10.120factor=1.767zXZִF! _ ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'xt $M鎈<5F 3pc0[V`ʅt0z{ݣI\b\,u~P`@pBQi\n8ZT9>SԻjno5Ʈl冥Z.1 e% =u恋} m9&B9$s S !Thr uC8䚼~ETc#Qci5 =_-woOe|^ g'J={jw` B'c{0 o[M`Bi Q5 [{" -^14!,3I"W>2/ u:jπJ"SՅ\97n [u],5j ]I9Q6eed% ֞1e&[rm}kbH˒ ]WîϪE--IίtbSj y ^;p]'nLhMzXˎ #ጘŝ/u׶jFFO-/%+A7>"u.rO -Z:]z[?Qmڪ^h11/P]G0 uVj1zN-Q0QnVkd~:3ei-WZsZ$-2{!3"T)hŎ#7e߶4wþHP'W諄ĚgSJ @&o"\ Seˈl ZJ$a(HCD~AՆ2&/,(nO㾚dB& ,zQ-d"8w/ ܃xZo tP6KB.g?9Ē(ЇQZf"%b-e}3 02؟&iV*!e l˹t` b7NPg,.=`_g?f6kn\5 &<[-rFl{[X/yiLPoJ&eaJWH]|&0sxZ%ؚ[t8 e`*}3iaQĚa8;/(SJnnX_vg+IR`wOKxPN\0lA}.@ZCZƐIJ"F?;Ay=O445%.9bV-u^$#<0 Fm.8c,,PaWClmC֯`m|Hׁ+PH_F&JޅڰE "v6xhVT׏:\DDWI%1Lu3A[,Wv'ܾ_j륊FPv%ڦʘʘM1,;Wm=z>UK vJlϏbqn3O01ܧH4ʳ xW )f;,;޽=NFZ0qC=x]FHdrIdP@T#Ow=YRh{o/RxvR}D (,S}=i1N)Fbp Ko]/}4?dbꖐy)teIVG?RdJL?}Е~vLT9h07ַ 7ݙ`NNAԹBq㉧ &Rnm3Osn DXW5)εrJ$(䆢f$[|IyA[$)`1}IAGTHT:(Ymr|!Ypvn{W:Tg:iI_-e}pqmR#6J;8T Mg^L) [ \ #4lfpm)0 OI͂`"++t}׿ hs>.,r@3Ȭۢ$ܴTN4 Qe.߯, ~b;~! 8i$tB~qqx SP>j9c#_)ǰST*粙:By0.k'w**c'JVv-@RL5z&i{cjyOMHS8V5L# t`s;hbZe! ~276hߢ֩:+ngʥpD_ Tm!hys8𔄷 Q*"lS81 )Zj )b*X tCzmY̕Cs켋 ण5Ap Z! OȧS+vgYZ7zXZִF! &q3]ŗXi%6yNrdL`Bl h~VӯM>@>P\CTFarA'hҟF1ӖU>4A6iCbpkM;l:G0h/H^DSb& 9Ϡ( .2!*H%> ^hTd-M  ! Containers-b&qmmD&hix?(U.^\Ћ") j.|&23$*wfZG ];U{no_ޅo?} 7<0c7 lPȩ΅(+z7BT;){ ͳ1pSW*9C)]qTtӠda*úWg+ Bst tPd`sۮR273e~M]iw`0 ?  6G9W\9?}ki;Nm0ci6f L]S: ZԔ|#|z>^{Zv"m/=^kɭ#o+4j" :x}ꦊvkW*ˉ0oQ{m0Zf>t.z}>GҍVY3ɘ$̛=ϯo&HqLLp Eml"(|8<,-2"Opޝk(ngJӱKH¦fL \7 {A™S/J FmjE@X/S 1@1dC*Lg8GO)Yğ p8*I_U:8w tHj _ ޠ#RIP.J_|\iZԏ;A)klJ\'y>W"v Mrn-XR:€2 BrDX aLSdB\ :K\JzfpJb^ \9$wYOѷwvxީTf^GeZme?wcS<8x7곉ëN*vmzW#÷\S*^n^նOE!i=*À =U53itN&I2|'pׁX=vcΖDzT8NG^`3(Sa6257mgNԔU;m$KeD\Mу)t\ ~o `|:ݱ*_qlwqqoXO÷Y7d7Č*K]4z\~H6`V)}@Je> 1@ 9#uE13'j<ךW2糼~/{ظd1hQDžr2a3#L} CK+DZ=dTT;`h1O%2TëOl=@Yh㡻GI}iL*@p;pjdPi ͪCV9lIӤdHw$"bC!^cdt[{}xʅ nv?@MM|U{u]%d3^tfnf. ^~!9c+tcLZ觼Gؒ+tˣFJeIu5XHWVjLV0x5S9+Mu#'EtAqn+gwƉlN4[D u-vEU=ZL`[uV*K1(JAk>3Z$[!8[.n2m *b@Y nvϯC iF8]S}Vn@x ;[/\ߌ&xvOlvGCLEƙ8[h&ҧWJ!H: !/ֵ38YTڡOj8R;r^4P jjjwdۺl=<+n6ίY6c3!ر89yDo]`D@,#z Ĵ1P1 {̪q`Y"z4bX5YF:RYS mpp_/Geǰ||nHD`ZP]^3꾈s(_@J[h<)vvkGԂj:yTg0):.  _Ф](/\M&|48AF~&X&p^Clp7Xrd&(0n+Ҏ]>pU1<&h1G[e4my6zkMBbNXTF[»zJ-7xa0oA,WŮ 6ΥOC_DhSW]Rj(nׇu627h FUeїD{5(a,%v?I)IN Cc]@<ʓ(CZ֦²~l6-0婰 u":\'S uQ:^Pe鶒'x'LoH`IЉ9şuijt̐i5!VAbII..%-ĘЦ-?#4_j3D=vSWZM;6pbDQC[q9 v`a{מJW,Yrv S "]<8LO|i#/_En噘g`\ Mc̨B0  ibԭ5r-^1wvJCG%x_F%W'c󬎊2(}8MQ zD<&`˞LۥnȯMہ[y^C #%!/HCMFt5݆I2,@oj4|cRJ89pS+bJVGphAwiy71L\M3Q"$3uĦ% OԳ&|U1܈ b/\Qy̛;7fOʟe&^BGC')CsOk%EՏ7!~1B3YZJ+-RΜCe UL:aHU~57rώ;꘻;X֠gc<mwe"3;20J-V1EJCqQڤt;&H(&(f9NMxJ4%p uV08}9<4z1GdU6NW(/Bm潉&yz<V8q7 Р ta~:*Oq, G`ҿJo$׮C[guۄ %~bpkncG+Xc[}CNǙ`$~&Ml8,o0Ou FVcAgE&Cjֿr;\BЩ60N1- .k]"1=䠭v0KנH'm] r v|9\jgQh5GpmI$fbIގAQ nFKTQ^nq8H<{{f \՜03VNMfUX F {_妘]Kڀ<_ڄtD80 5Q683U"מgp1_B^%Eϥm˭>]͢qA[?LavzǃQ+<?S`\B w(SW%I /S4Нb7EH%~P=N G9^=B i'Տs`LzK<ٕ(Zr] 4:v;{Qa"z{T=w7nYqbRODrM0۸9y$3RN$9Xq$&{NV쮶==_„v>HjouQ5s7o_[BL=v1ŷAI6!sé^v[]\a9caν'OU*ut CXCl;_JK t82WrPe^VҊHNM NFIAnI=HO,MQ*ma.q3/,+1qUqrԆSY,ezpjk.Z 0zI^!y)cms]>i_?Tb6~@LSvDjԁv awIZlC )ZtOg2o+^1:B-r^NHM> L!* g[3~p/