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  W WTD [/ ROBDD:threads=2elapsed=165.854cpu=276.584gc=10.732factor=1.677zXZִF! "]ŗXf1-q恈eO/O4Eh~$&} _ruVN[b֬g^wց:7obև^٦:d6 1=Ts]/t?Tgg&f2]`Ta O"^Ip@Ing  ROBDD~Q }XZgwCL6-"GuPHBF|Wo6ȭg3-/۞He=7C>{fH+w/(\P鈚5dVՔÀ\Mp^uV$ʱXqEsѤimƒyh]^ԐPUWL,rYH.#Z@y 5p Kotd̳k*0A>7ZVb}Tz7/ ?Ob Ʀ%u+dbgdSpX|{}1k%X.7i' HGZ•ΦLܥ.Ֆ,)R2#?W dy0ۙHRjWUɢ%"#=UFgAzEfVԏJ񪯈ŶOv`J廊E0/䁐ue;@K}f/W vF8mDDc Ͷ2l١nd}<_$[fE=m ~`GHQc LT)f"z/`d/c0%l`ڭ~Lxad$53eI}kF w,}qd;=n>ڣ`rŎgr:׺=MRG6u$>z;s9r.CHXY"1WM|=/ ':,(GZod8 V$C"uY],0?x" \Yy/Kdy19m|mn_Wuݦ>rKvd)h s)bz7l*g(xwv92<%o&q71~7#.-BWM<AA\1RйYfP7G{qיZdBŜ W&Hgԇ9AUvgbƹ\aoϧtmz65x1;`F)-Cmm`Oy( Qh,w;B-@0@aA}cS~#1i3&j}'-/3CE9vuܝS3fHrb;E)fp/շ7:>sqP6V' BBSHcjT0 bb/ej\>jq8wkuQ|?nXt2%ˊJ\A)6YGщKcB4X7b,'bE]2\`P}Y Kj͸=eϦ/t;Tnk .Z}d1, E'_^EȦe O)Ńk\nn\'CkA!L$Ll%hg^4fgY+]\+S fy1;Q5gD.4M Q{XPd/ޟ-K+K!-A{iyJ~̠%N[-]>nnŅDnG3DHRM}BB`?m|;d'2hU%u_ A5wayMU<3"偩[Jy0B2k%x<92^>B xic !1(Ih%a#;VРW4%£ެb>NSӹ2ALj?T}3{# O|lu,}\ljMK ÀZ2ٜD`Nso2v4πD Kz]AftgYZ7zXZִF! "]ŗXi%6˻fL352i*69R-WD2w0*JɁRh r&~Ks fLk{zcV麅ΖSfı/}/]Z¦%'Q=ȢB5p|}E*'2 'ƯTDмE:D[䠉]%D>ٺu.e3QuG:c-ÊlݱCW^7sd`bH%H?aY] ^ZVT9A徨^V."IԉI'ynIyE*WjDGc1gW+!_PO$ЩY!QnlWb5q#.,wіi?ziYl7X' KCiǕ3NYaҊcߤ`m =8$qO)} ,`  XFE0e~ZwVUk# &شU0/Sdf@'@If`e Pa?ؙo kݦu݂dmS#N TI21%D'JH04H]8:Hnr! ەS$%~s u@{a ^ LDhTd-3)aަUurEa]BW6-V xyp9avx#$bS aM;h'~`VTU+bi-m\e;0 ^#q;?XO݇4d9bIwh_Lڴˉ/J<\ Hn=; pRT/Mz:B`1+1!1%ffJ~/ƒd?Ftv_y ^%]GFi1w$+nba3c.W3CUkv~?@I*ShaUkRK%QA! VʎÕB3l°V:HI4佉 \29;9?]xwu~a.̻MdgJY(D9YG|>Ϡ\xHyR x̩SkZۍQHՙ! R2FBBᲛC?TLON7:){AfmSΙ{d(g-1?㓠}d!%JI9GD7%D07$$ڕ r)@sVelpm|D;$]`l`޲ų_P[ "F3RŃ,>_/u<+28 lhZlc+uZ;3̥`XmN }=r8L 9'$=Rp K]m8iv;-tͰ]i I٧c4J {07ψ"ฌtq"b>(`i.Ԁ@P Gk81U?B Z"m$@$brW]E2(*>y2 3(֠]q,nZ9 ay 7T-Ӈ;׏#:^_!PBW,s]eXOIگ?z0v/ofgr ^RsDqDҮvԯ h`cK@IV_|&113Qt{<پ/mi,X('$J6$œqC{|@j*yk"Z%C 98Ze*/7fpAmL/o,Pa:$˒OV͛m\Xfa&԰Ta#q&5TF %b{Q31]&+D\Q'tjU:[=?!٣уD 4f0?(7&=ћFM(i[eb ФI ۆ2e?wrZ1 TһHg܆L 4ηG )Tg6RSt%E !&Pi~AaAU_m•xAlv-zֶj`0OfUg{t-`\}mPP%s.c{*{vJ8Sy]}UisUJk瑉LahL&FN۵ %:l֣RyKƏYPj f:ɡmM.;|P[Pcm康驌l1G[#WevҮ{@ԧa!KD3-F1<*)5pPz}d&v`62f\ U( & oYS3uBGB[ +zmNB@I((f~;JeEC9pŪi|v\!I,sʢr[i$'4s)M ]Gf&^tԍ?{*Ч9,}׬5 ֎PGn^v~KwKL\q(Kd.r.Z)Ud4tDT09ycvgrҋ N͙Vɰ4f7gy~H;fFv?( .0mŏ$<}%ENo{#\-m1ðhjh^eXuLU~S&.PvlL Mh鮦H[~ßz,E&o3!}~[MTqqE+ 5$WǪTh Vߤ %NDr<ɴ]?E}/B|]td쨍@!`œ>%ORÏR+#b ?p'b(XT#:݅a|b ͟RjyX7C%r x5`vg-We;ES _uBGz8ħ W!!qR֌-*4P*7%/w}#y\ƺCHԺjWާ I::ŧP2!'x҄wQpd,e(# -afcFzX-$׻PzvzW=g|lWђ:8=]db2]f3s3y29@;^.~zAJaØ/Z9X OUF%JlA +HN2Xԟ4Y#vly^el!mJ MP4lnF Oyy7fiY],'Km|Bw 39!_ƕ>I:;i5jajg(P !ʓ([a^ ]wI9}H O] 4Td.P?iCq'v~Ǩw$Zv 5K?GSMJBruYŚkDszA[MT!= 3=Iot RgETH8`cy!Z)wBb4ĢA~.bZCQYZ&w J |e$`H ,NnM@b帼GJCTO?b/a@brC?g'"4Y9nIaƖ˛ze iy?͛rɡ˲;,T]8-aWˆ]4"HO';G#HG%p|b1}*-2aL0IfD ;GSZ9p]Ds$K(@r!n؟8}mypX BDz"Bylg-w##TncZz&"*\3xv%kd)o6L"AOy /+)Yt\)7hZHn;a{j{y~'Cډ1e.[7Ѳ۱<%vK}^h#DWD3k\ d?]A_lL"ZwWn){/qi4qN'<čybpa}ۋru;Hr7-Ke3k(u#||Ͱ۞$ zϫH@Pω!aH J@څ;7~u lHo pt& 06{;Cxj6IS>S 3D{/ZK#5w\fT2ǎP ǿ!W_+3cϯ_sf u`g+1?0gFel!@B;rF7s# H>x'}Q6ȼ̥tp7cQdt]ZPCa=~H{w_sጙ\4{t PSo9z1+ *vbk=Tnu|*\p"V760>:[] RjYnS*{J%w#yUzTH}3Yw ZI91f<ǝ51^y-ž؏׵֕WgSOҶAf@? ~ܓtI^ճc:\8D4PR~֜l0HUZS5!yOԾJAOslQ~ @sMl"Z'wO f y]/i #,=}^' T&ipOP4D ,D#EسT@=ƪџeٞ-wOsJ I@` TIPO /T1~O礷C_BɌ$0bmCCT|&+pf\ailƒGB彥-I0HF ,Y1*7+ٿi0 u-+>)VpodB7yis {_P"8אͳ!ՁwHa D w# .;ls=Mi HK>H0.F5!_2u ~3k9Ңs-\X6 r+F%y\Li;uk[aQ򜮨\Igii(~Eْvr=5zNo[b`nd\E$W` `ѕ/0FPeu[Ȧ14J򯦘N@Y>f{OFOp Kœ.hNYlmmxYvfznZJs%1w9 YNύr7"4iÈQK֬:pyU%›訇.B -4!qƴWT-I6Ó6:(VO 31UNZZbD&뙹,Njؒ_ !y(il%[kq9ӧ{b_gv/6˙p]RΨ QFaM-E?xe` '&!zF7' -)ts5 EtaPG~D;Z*JNɧtP, @mb'g+E.,~̃0jbm[;t 8 4% cߎ\ dwpt[jH8%NVuO̓;܀=CDv}'pħFYDh/_+FLtUSΟ_s>VfuMv4gK7sEvB$Y|PF4z!P=Ѥ?(x,"&Z߫%<]C53J(8!7*W$8bпzy}%-'Kb5^U 2`!y9)4"p-Ė&X yJ񲓉u8\ AԳ4޵[ABv.lY)}.O$2,,hlwn^2p;;IWSG@GH͝ef pFFYml8-8o NI.0i (#X'ڵ5j*"췠5Ӹe@З]߀Usxc][QZk7} {Ȥ1)JE"zc6ۖp;Зb5aʒ үJ(|bfkzҪ}pjqL*lUH.f-تv%( BU_}[/:5;ӭ79&׮P˳j]HoVĄt*Q'Ga]"u3PmahJ v"0u Ddc:\v~|82g만vC@#a:1pӹ BҶ;9פC-gw%ϝE~$I]o3"4f`e Jxl@Fd[:|Ƃ%dxz2I$,wD[XF@ՎATH$w &N"1'Y~R+G S~0M҈\,=㛈aAV@V*F+$8cAEzʚe,h~{8"ކt|A)un$b%|0$0S;'"v 9,#"'Zo5d?``.#gLggY^ Ht8O%ti" sx Jrݖ$<-mc-?K[+D5wqzEJkbؓ)=dSվN2C`Տp~S(O Y!4ܶwKl*;=L 86 x ,6 è)RJYױ nl7ZҬ2:j0DLf_a ף0#m>+#i=@y_g/^g_pA$#M"SЙRWhv-ޜ ۅ$H%~wD TtWSOe/_㍼(˿ q.}gdƮR\h?db