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  x xy!d!*t srѸ{41z'=b9Xlvd(fAfuːE#~pe:?Т QұD.K: ",@b@`ҫAW²hɗ8X/ ݘiG7)M=o;,V, d;0zD8H#jՕE+,C[ "gl#2RKۑl0ΠEDDWwx Zxb$!݀ZvC ,l6§cY=fّuT}ih ؛@WZ^r^LCOՓZYx85R[ 8 5xUx9ukh3x\+m^h2^m OV%V`Ǯ~b>Dw,`\T`}tW?bRfWmGnK\#>ֱ]B#4()+@rEx^E)5Fg%Q(7=ccyYUdiOj&!Z{p58%=' C'bw)20AC٬#A$ L"L"<['NuLpc^F|X,( YYdXbI=uGP Nx<$24)#c2ɡ!.%)_o2x،hgo7$l39)sD =zUb!E Db,Ov卐V'ɲ]-\Q<0kvɳ GCCrպt<d2^kU߯ZN'w͔w|*ьYŎ7>߃Cr韊5V"Zly^`BAJ԰u 3EGK^ÄKktZY`f3šaƊxM (FTv*e:0i 9JC6MQ AL/VM;m2uܣ_BXͱc9iBg;\_/n <^q垡Uw!W|]fƠk d)if/n['Uҋk#{LFk9rؓXxW_a* vEժo~<mh*2l!HYph~ .j>"lbD@ DV8*ó;ݤA5{qHnD^diSFI&4{lP7Q#8c.^gdG2ZCr?WiB ]Ic.i{CPV5l|"̴PZE uv]ހ2MKj^h8 dd/,Nj6|FYQ0t\o~RQvn"Ȗ [m'*Ił}0&͗)@MzV%'#lL|}eENKih Svm>kSdT;ٓ68݌,Iq`۶gYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~.\|E 2 9FzqFG/ ?OZVmޙ8&tlÃ\ŗ1u=8uF x)W}˲&4 Ѱd( @vOΡs_J07|>@G=-~uq~]E9CN;$|N2ОuDZ ϯI=} ~қz[ٵ]'&ӷۜ7 UVnw1S8pjk1B8(!:Ȕ'ٞظIi55vܯ !f}uuM?aL}8P#?PHؤ3 wSXBeyP:'n V$Y,bT PQ9:9 pv'<8n%)M50Ҷm\v׻}Ōxe'50{-*l s4z?SjGL=3O 4}r| &M HS_`7iMDm>90W ?=vvC0hC;l Sxf[Cс U,108Zkhc*S)HgYZ7zXZִF! ,]ŗXi%6Sr.@YA><<|&V_J:"7 \\}2jkBf9JELOw†aוDk*][<3lX`FT=Q H$Q~60<r WMK%qsx,)gdn}xW<-' VnTYp5kvԺD1P_󙮹2ylt9jR>z5n@? ,qE2UH[o5euns,=u:)=[XLf#;>?LezjFv5}iᒄ[{.= L۱4y_/PҡL' tϳ5ͭ߭iIДs o0^Rt!+R'\lEy@dA j]Wt5Yk.|hZH*dmюUv_xT 2R WK%Y͐]Xϙ;$3Z;=z@'D мz␘BlNkTFXjV>jTC9kmHyE8?v'[6c梏4U+C m{ "HOƟdΡY Gf&!*%0oKTD=u^3`1(u n؉[B\8JAmɅehHŰ?G-@YEms  [3`BYYlέJ(#ZӇNx GTRB6zB\ZA!q*nֻu]qYY,S rGEEk['G>/pɻ>ohnePެ'u[t^$_ŗ{ p.-?@p28`BxK|`\ !nׄܝ+M)^̞9 .o P M(4u^$С}z8P9kpɕ͂jW.y. |Ss"vݎ%IH`HL 0ZZ*I&p|fN'_d=ah8άEA}=IT&'WǢƂ5H]*luIZO--Rd,}N &g Pw#'FwCթ& mz>fH:DZixlUc-|' /HqZ@;* ˻ kyݓ@_kBNj5="ٺ>y/P*g_*z :4O۾V[j"bSN+p 7ƏwjA#1 ? LU:ND`,U]Mв@D_φ oå_CYRq)  /K2BxHjtniQUU8lHߠhmԀƆRC&l+< ] 5D< |8/Č$`Hl\rꈀоU^+7 pvs >077N~aJB~VꚀvWsb=F e-H07=)<8v[W )W)kT+WEŧL-t@WќDl\!pgB0F>vvDt,8БtBcE6a= Z6CqFr~¾Nj4JTDb?#ѽ;|2V6-Z_4 i`B֗ϯDVNg5wVn"~ zFcD"l3JHm1?7v"g >TEP],r~pp–F {F;-uT S@8 =Yb$5_Pe6QXmlq9 HY?*GK%`T(k|5qDc rES҂ءX aPCn#砩c?'(]NשX5v/c[3?Yii{#eu7OJh緱}m^1wTe&J'ϺrgٖO^?tś[@2;8s$؈K:ٲ+׃!TwTxfBNe8>KhDnLtC&q!Uo\_x˶ fNI,](Y^/'>p⨡cT{YbjʱNzf]a2uL "MHgnm&倚<)!$z2b]YjKNN.>:Ū*ўXzˠD Ioo4P6Cdt< ^E_r̢.F)CB~ްł 3.mo.`v ܼWgHppVf{ΜzQRZ_Z)AѬZ<=W.eIZgBu\Z"dTPgP>5tȟgC8ט^ p w;݈¤GI_4b ֟R%է e} ^nKq>W':4}}lς6vaEri5><&:%i=Aif7gwtj70g,(d$b>/4MUre$#U.*H9ªᲽ2\3b"!zd@AƕP+Idž5JEJAꀀl&|EFjGOg#& 1ξ]p'u˼:WktҖ3*njjxBI&z{>0T} kNc-d]SB>J.| ja~ا(E _GxBz˹/`&I]Fݬ!6N<~{>)rrYϟ5hk-_Tbh?Ktإ%4@S/@<5R]ۘD r}ky`N{nor-C_9Ԥ)K<*$yTe#YG1H7d CtճwTX pq)l՟2y8XY:JRO rKfOJ&djv욶\n[{< µG@<JH X 3 _ ܃MxdYjs ݺ.Kg\QPfU·hOFu!hz.exw )q:Y\9=`ghTh2$Ň6D&:S19zrF{J,KG -BII]ii{ϘH% Q^P(6%#x شŐM/n|4 6e9#UF_F]<)i %Nz\X( ;W^ǀA qxW5}4#),ڎL>7Wmk$]mgD t/)3 ~nBzcA֊V-Pc!`ʧ2[GfD$/bf!,t@A4"X.8th]Jyttp ()9-‰`O֮Eۉj8 uU[6"][Q'2a<4C(lݚQ3C3/_܁BM^Cp~zn)ջ*,vj?& 9K.^LBe&oXW1g0?HG2or=B ovB4a,uB2M@E,:8' SS>ZV& $waT8H:_Ҟi)}Q VOz^pEe˥wȷ44gMjrƐ$oޯT >2B>66庫xB7)X 0䲔+zL"{ E? >tҴoɛ:OBYۼ{׹0 :Vr¥W;'gaP}luM> =B폼bG־Z16{IB_?Ui|{؋B7lyn\0y> ;m`C"aJ;B裃[!)(ΞO-J+@)B#m>|lqd,tJ?7ak/