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 w9 <, ?/ Locally-Nameless-Sigma:threads=2elapsed=34.816cpu=67.784gc=2.280factor=1.957 9 Locally-Nameless-SigmazXZִF! ]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂL]w1F1gLj ºckB$oOo>2mvJ|I$E*z~p؝ozj0N+u#1"D]p0߀..MbFu?=)Qᵦ$PnY"NӰzƿ)|$E{[)(cѽ8gpy @>H=8m=5 ~pf\vǷ`cDy d+P;B?1R#w5DPMPn9~3z4aOoNm)  ^Y6rIx\>R5?yeψUҋEixstZGN6J1q0Q3] m> HC"DHǦ寖i3 +~CG:jUVܪB#c>#3 وfQj"0vsA.q%\4+vb^ ^K5S 8[\+WrN :6ƬTCT0'Mi+fٜAh 4N n?Q_He18C,J zw7L?Upƍv!K'`RTj†m%%oQ/H .1@FkqH^?HEd<\H!BٖQB>t}5wƣ8=79[ɛm; I=_A*Z~_4Wy3ha}o{ SJja}\EL{]'6%9& %U%(CW Ҩ@|/to'V[bNV "ĈC)e&m{+{Cby˼3s׆n 8.mC %ü>M[E;iYv0QL'Of`StB<6OZ~dZpyCa[7ƸZT^:vh!`9&S1CnߤUܥ%6^ | g\$`ςc !OSA+~9;=D)JhLRt[ > %C ,jݜF*YC\虡-P&SG U8p,کOQyؾ4%VKQ8Ĵ{a# 峖|ld_] $B|QRIim܇*ft2򑞏q@ wwhB!}sv7^,M'J[Tg{y9$4%vͷ=)ā3J^yRV~kqRnRj Fp|S}_ӃcaH?Q*V4@(4 *(yڱ!V,^ f (N. qU9`.e =U:*nF8;Esz& j*mzܞe)­k3+aR5G-sW,IV_4i%'4xWw[ڹ^8 b" +0|oG <"#~"^a = ;1[9h`9 TOkZt8IGX r5}'/n(U϶Ha!fL;F-^Z8}{+, #\d)',(9Q3OϹ!ZׁݷbvFA:v`νT=@̏Z'6FWp^=^2!w 'CH4U:>v/Cc%xuOjYE,dH(5/#4xM@ȯ]{ ._PC.bex!KwՆ/~)n0^'Ȯ%_<1cZP߅[h17.jȩl>fZ7#Sԧ+2k2zAJ > 9=opTcn)#6l9"lPizF8k[fs\|Eɻt̲a7PãQq^r>h>!Ysg9W1ַ?&lK;;_l *SʱgYZ7zXZִF! O]ŗXi%<;?Vj90K|]` ԚJTCjh΅7Y*gnXOtOW:[8z[?{FoJPشj@ьc'{ ABhsL҂]ﻗI<iRH-+]VUp*q^8P @gD jqxPWWzycj oak)g}DR@[[+l\xPٞa mčb#Zr3d킳kYj Ls$Nܟu-[?,wq FvCQƝrݩS6}IdY)taB1v# C@EtM-~9T(WYF+ײݵjGdѧZR۵AHaY ύ" ?0%K+?V5Έ ]wwy%^x5Q?|GNG`0jys#.d3+3gy:_;A'vG5Sz))ƾ~~i 7'Єz[(AP.J9'$m(1}>)M.ajV@}s>R%hlUZ]vP21E^0xl4U>~X=0dd-@:QL!JD^WEPPB|v,opcYBro}i{9Ժ۬7J B!M= *[M)̸NunC0UTC-gKp 2*v|/mRukHs`N {N7bhcce+ě#Ё3sً/|AREa 5@*u:r,lsj0LV1bt sm^8h^uzv03ф.͂>Cύi_rS;}Gmc}o󽥭HzON|[Uv ;AVfU͢lpQ_;nȁ}!H=u_&QO>Z-Z0)jm)!&LsCd&?ed :Ũmn76w K}pB`cKrNH3w/ܺD@)vZD0@;kqى>6G3 /iƬLmuzlL+˾&n7_'Mg)86|ycd9Xs1Lm"ڠY㓀h fc#6aYVF"q^凥 Z`g,"uۡTA\@1Nnw[}g\lЅˇk9'5ZLPwL=U {#d V]V4Hחu"֑Zr `h!' &(~'yf'7|V$0 q,dg/ӿe  `i~FFڧKRomy7/_ nT-"'L䜷6eѠ~`mb WyVK8!WI ^U TC6\Sg, k>roD}q0z s,V RM*ҷ lxHc5(/*`E{dCjiwh(I filplev1H)"ibm747Q U *rƎ3Lǁ"b][\fZɥV#8?A_yuD&_|]IܜYDZ9l쟜;Bd%OYLR4"k,2G#؋ )2cl}6 6$wxߪ6[DgP}F*l~ ^ʣZ&YÜ~J)ĩ ||FM@EvzYϴҔ?xyhTaUpj}*H<~+~@Y_?Y^Vv]l\u%Y]J