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  ? ?6|D ]]Word_Lib:threads=2elapsed=67.584cpu=126.944gc=2.904factor=1.887zXZִF! 7]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-=h`W۹mtR%!{Ȧ"i镴)SB_^{%~V _WK^-+qDX 5HRwagH9o(H!Py2XѪ9iڣ"[zBfzEIh'zq Lɳ8p!<,"WR +5/c9|(_rIWS8pGodz=2+Hx"(ǐجNW,*w MJzU5!ߺc:Y"UPy|4xu=gH^ &T}X:YB2$v@.f4/"Vvvߚ6A3ttY#0B]h4|*f䥣 }EXڡJi+8+t6:~FhNLĔJoIREzo1~0oN8h|/C(L^&Td]]ܽD8\կ'2[8&g^u(ͧP` ֗Lf OqD 0 cWmiYm@&-Rc?gș, DU5|H2q wR3Tfq@Of.ز#T0~>$,pX b$"I!YdW l>_d'㤴Z m68   Word_Lib5پgYZ7zXZִF! H]ŗXi%6.8%Bd~?%ZTe=V %dN$iT@b~[!0B8[HS;έh"rb%Zr+l}T-X|8]*$*F>nV{ۿ =7&N,uX8?c*`W8PО6|?s>h=a5?P۹k9BwmB-'njGJa3ge6i)9~&'aw7§?gQQÛ$2O-F6ϻrUp^Vkb0Aq L ZQ yc^C"Ų7lev6虇RzaWbgpYVN'whr,G^MԪ")SX'9lUS&1 \.J?s3S"Ñ/+N!zX^6`%WBeL(`;V1Rh^IGK +=w҂H{TVCk 2;⾶uI4^ l%}`?qTbԴR |} 꽍zG x<`ӶOQS q+) as"9A '`.IM.3ꀯ :F ={\q p)p\b\Ai3$G \aYU(}lj:f.RFv"E@_(D87̛SIz7Z ;9Է_bV}.YsP%;9-sVŪ 8 5 n&=]nw^u@R;~~n A)PK`JJQ,+ _a~ -<[XNC{fэhkCqu?LG_23NLYLR(;j-dATj@ N|7(X. [k͊HB_x~Y z.tv1+i?OGW62n8ە;5a'Y!j wkRowŇ~l[q9olcfB~2?sJh?QϕuyDXDi>㏆0,>Oc@ 5T_R  v,0ccz>$dڢ)ͺ6x42JѤP(\aY+1&81#jB2(ٶN-Гpx18v䣜Pk iKYӋ&ҹQD\[L;L>M1]=(G`>/}زO]#YB҇h1*PO!UEC{xў;>-HE3<痐v?òttFz?5gyRѣ+ (dLn՗e5(H\&eD;̈|h;ϣ=#i$ubiPA~4~l ̻ZnT`#j@c/f_e  /.]d8Cn- q$~>)i*DĜrmYaf(/#GlʠءsFT9T~ gRQU9gM*+C_4I7,Qv$UC:¤؆UUMQ ln(_~Hcz}aFaׅY|4Z5QX!M!|p 3@ICcC*@x#EYoIįgT~t !J~DbRSASpа@84HpTM,SlNO1 q-qa}kǁ3+=3[u[x:Pt<$K] SVVt7=bѪy'ȔU3 ]^0ң=+ Ya ~+9iF;Y^t[^E׏1,5*j[0Վ+OH􌆼 ڞC#*P:uŒ:2ХZ?ᐏbBSēZq Ok>g8HHJj<$i;KL,g r,ʻ8їA[fw#쾷֦*TIcfA4z?)ŏX(CwoKZ6V3_5-ƱwJȸklw夬YQiVz¤u)Ļ*$'A΅%, {ytbPj5#n9w'ݿhgYZ19656e2a40206218d648ccd601f43c551caa58d20a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 86c62a8d8ac123fce4a0ee6d182b7e268d49ebac11a246fffd9c657ee000184900c4b699c46c89c0