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  /)t Yw MFMC_Countable:threads=2elapsed=100.532cpu=179.212gc=6.592factor=1.787zXZִF! mp]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0>E&87Γ^ 5M&\"\qr7ʤv]4Tցsq5Tˇ/^Mn0{=b20^WF3b`#- 薲ea5FOw1t3}1NbU':2>5/֊~n8(R}JVՌ;D_} Rx Ou_a{هLF# c5GIDs`.hqɄ~F!^Si,lYv8E ~{NY`-K%vnrv>| fvX^gL:v2U\Z.Ia1q# h~:q[&A&I27Ɨv8З¦i`&j"f#䄼 >p\+wrO/+lkl$8&ʁu(EһO* ËOVqu "YY9l|"úI6wSXTBt,%6k6 0Ud&-aoY΂V׽4EP(?idvȅs2ZptؕDs=8O8шeϢB ) MFMC_Countable- mpOF2Sk #ig2@ϵy{j-C%h^9ંrb<=z-TpOx8i]A<4=6r!}{8eМui !+@e2 hӜ#P5f;KE9&#|H!Ν4j)(8mFv[~*sBJ/~w~T_+niAON$SaG۵L}0ufFwfj| !s܋jAJ^f0|$|"Q; [@OI kJ&i:;@̇AH0ve塽W _44*p_V/ynkCoڛ>`#Ld`k'xarxM # Z#փXѕJI,]m c4N k#Q_ny*0>Nmi h@l,o"ʼwI T-u e$F-rIpr0vg؈ɔʯúyh߹L; 6GYMR+[@E{l&s3RM5.0\Z:FU+F˒Ңa\c+i7DWZ3F&cH Q@skMlZdq [nz[p\ r2K+Дs o5_3c ur4 P)m}TH,ۘ ܵ>%RC!zQ q [pK-Ɏmkk2ԤK:QL"bΡ``ij ԉ֑|uU #Z=0݄J`2f]cD\W"xOE!PTYZA@kX`7Vء?T'At(TbaNȜЦ1ekĪ-_L}[1.xS'ERYCܰL\ 0ړȱϳEZc =Unǀ6+^wܖ镪Xa'۷(ݠے_9cGη r[gx-<3J*ǂ [YWM'wRz̽B/}1)Nʼn<03ըum#S-[ M /QNYaH?a J4.mFr__/zUtz聋WFLgYZ7zXZִF! ]ŗXi%6pK|~fCP& 38P^,]ٌ^g  g߶MWAjJ~ZǧV;9jw)5ɑSLxo9So!w\0.JT_6i ©Ecɧ+O9 `Լ༲n8\ #@JA<:vul&fS8 a!#N0 tjyA: 05KW4*|pyB㞵m˵%vnWw93g1y(h :;AZxADL(y͚3lsգR #z_lݹ)>@D{6f;DXfĸupDYW Uʁ)wq_wUХ#nkŞ'p$49`#Ó;4[Ы<Ї5@*6%t x v!_OK[ʹ`ɝ.r,6y)*șźBEJRh;.%2BC.2l`ɝy%;K=xQ_IG)de`c `ΩCsSy[ CC?b\\7sؐd;Σ2 j %[ i"3%W+f"܋`)C*څv X̑ۇ4;W \h|>1^9φ-c|ճz7uP[3A0"_29O-L8";|gOj.nŬ?ӫ>o h>y>GLTԼ_CekStpJ~%B; X? nX 鋶]9/n 5>'o4=%& %^Q#o_1/\̻O4Or 2rF3Y`cm, ߈a@ǩ.T.M؁ohĔe;jTš{K5-Su{RW)ϛJHA_cͧ&aQF(\ġIKGwi.Ƒ _?Gey]6H}&_d>%w-J3̈́ "ipCG *#X>97oHZyzgv+4 ;48٪B̅-ğ]Bë-'<߅ҹGڍ8YL` (!=%^GEӟ ݈Q)ZɢԲrh Ghugw~Z( 3M#1͍ 10cOqGVR!yw3@ҴO< ZtAm—y5c!xPO\ec6W@;wMоK? a'NVҪpUb|'S \4CX9S!.]G~|qCUOe2Mx]Ԝղhz. T~O}[] 8Wn}?^ i g;L|NrSbCޖ0Uy_Ԓ#(.#ՏLϦL~3B\xiGwMENx_xq(x=⼽ [ M)_pa-4d)Uþ|$4,8(lcU\Y"bpԢ}-c"2\xUyhW>n?@ G(Nuњ̽0mx f#L#G2-7lCd,Di'dЙ!ӔOyZ6̥= 19+J@G,GBcf 3giG UAިZ!s~ogmbd *1$u$vl\ >g.^bi[=XhVe9xЬ- d Z; D{jsQըΗױ!")ݥ v`!-ko BTW',ˁ@/g6Dh8F?!MXF:0Yxa ,5R?9$N's Z84"\xZR$o@5KK1;DͫA[Wk)J"O@/(MXmk+0X6MdcSSGZ]i 0]3o\lu{M> 5Ui4TJJ~<&8wA*l!i9ēn}x0 Ÿ[1e/>)&a6&PƊz'Lf[8> mpT{@Rr&#ߙvA>Tw2z}>ގyqm6gr<%t;x!RDdm -Dީ(Pkd| p4U-3e~c ɚDu š H$K?ِtc ^l*'= 4eǠ`CXeGojeO} A6/a{b+ :1(cC x`';L~aQP\eBvߡE #6|1ry۽"O9&WhqlۄoM_nTXNc}f&YHTY!ݜDX_ =ʄmdU#͠sR]U _Xnx%{]!H^ 5⬥& Yg3^afan2Yi$QOk-@ebo Ԉ9jv'6phKTBz_po+D [9(AD} cY4BNFAlFӃӸF՚;f ^{])gF-ن7zPͻ-A#*|"y QT%Ӓ/&H!C&*s-IhJ28iI'*\j8(B둀>8;yc̳J%5>N}rv|ʨo#bq^ /+*bqF,HKC^ǂA,E#[eb XLUځIދ_O|$˙P4֘KgP2 cIU!4HUxi%-*béGHP .9}< ) U_iemY3x{K:{?Ehh<7}"T;>,DG)u shH&?$M5dk(@g:USsۏyċ.e N^͏V}7lxrs>"1M(p'CHrƩVeɠS5oYi@s/qnU1xV0o8>8Ք̓] 44-"sn^yViyo;Ev| e |K'5obur̽H\NZa`1^Hyr ~ 0%fL^jd_L;0HJ<f ~D X">R5yZk|z?/PdĪzQ{JN.֡V[U>0|ҕV bVNg{x>9bK9{`l ȱZ$L̆})kR }{ Xi9vn$l$kT`8E+j{krY '5C-~"hw.5R靸tJ!l\t 9 Z," u-[Y[@ǿgRլ>7_k8cTfH۞$fAOT3 w,OxF#/J/%o,z1$0{vet=)2GXߥE[ Snm5?b!/va zR*!nʅwUi`,8$*:!YSd/V03A!2! 5Of)㰽v< +S!g! UjS%?Utt]b++-jҷ5Uv&ԼMN|e :xl3̖t̩%xCL05ξryoNk KGߠg[ԝO0yFlvKXL^7]I3dhL"a}K& (;yL};9"+Hnw6?#S{YV~bBO;eUd!^&& LԎT8P\:1YΏUuWɘC_h$D c