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 **G% \  UPF_Firewall:threads=2elapsed=132.704cpu=219.864gc=10.244factor=1.667zXZִF!  ]ŗXf1-/6vR[y,/kⓙW25?t`7ȏb*_sM`Mi%\glVsMi>畅"OTej "1 P y r/z~vl{F3](B[M1t>NudxTzzD1 cҨ+@ñ=\v?گD0Wu󽪹jN gJ"4oD`EUknqܧ2\uF d$vo-İm}`GMG L wL_ch'\&x[4C"Ojr"kE?;P"+( {sM '}bۺU=Ѷ:Wq++q!#VH+4W8[&Z/K.o3~"1EUQUGE'ÖWk7Yufч14dk}~.? bp>( M߆E5RBӎkAu'^06'P … C#OX $qL%xa/͇G! Y-\58O3Y^~T#j95"Wֽ`3h"׹C%6D ~oFZ[k+m& [wD)CV'B$HsDL! <v<0rqLYV])3@ɿ.lS}(wyn溮n7oi ~.WNs m-0),’lLVq4^U`fԼ-Ǩ6ׁ ȍ8dS^̄!`I N+$%`ei@N(2+JD ][<0gPc Aa?U#h9 [3=oP+*<95F:8_ -3ҾV(6r̨F6˧$p I~!Fnn잍 UQ,dُU(~d6 $u{\O q6g%c\kv`$4DŽnc< *e—Kѕ=%|lmhbRn͚:F҈Cnb򤽎>C)#5;X[r;h+ũ3D"IPփrhbsъJ;#VAQ$06å:,M!qm9N@-~}qg1n(^޻f$O.p4n9rtي+ٯ2^, +0F GKU[[L_9މi]eƴp l=jpѶJ5],rNOɾjxAtC au XWPW-dyyF3{)h/Q>odO+Hy;*;|3)#bBA[wy-!`ʢCdRF+y8v9u9|P}WFW !1ď68\uN{ML{5mrq}u UDgM#~A*9]N{JʌC.N.L 0 Hpuce6 \ljMMeDc=(P 䬝qp*O,`C1؍9xo" 6cZ C<.׌&6 N}f ?'-%gs9GV }'J'YU)iX½0(ؙ*k/p׉K+lfmNӈK_=L@ȱηX1";8d{n{Ni=߅aaCe|AfW".oUO>8y :4NWGET eW^tP<=眽o2y0tH rp|^7<͝5eYAoʦU CryeA; 'go&'`!Y8.ְ[b`\ t🫪sr3u& d&?lv:B=v9T_u^>" -`8b˨'X Q U yjJbx=Nn7ѫ=Sð{V< N,G+=0j1 Xهn!9еEXm$us?݃ yrl (+ 4e }i,WcgX.agYZ7zXZִF! y;e]ŗXi%6uR{X bFg*VÊy$h?Vf̐5'Ajm_9gԝ @Ȩln1uD ftׅy+E>?rXUvoT(} 6c"n?!V% !3Gi\nWG}mmW꠩<,v<]M@ I47Xb`#=C-Iz\3r԰,*cg4'a0S @uF$DSb!Olr#]:H$,s*0!X/7=%{4|e𧜻5E-|MQɋ>?U~)USD 46Y w _n58#(1Uk s$M:)Z琴ͽF[xM>LJ,{_VQ΄ůC{%ŏw)%Ncs@MgZe휬-|mGe۶U IG ,;=961,No*Wűd0rGtt{/MXɪ@o{qJhߙd>'ْVE+PC<)WGFUGЈau26 *wA.(Jc hr)Pa*uT % UPF_Firewall *AQ,cچnB&S;e_-s֝~S uP(*[|G'&1Om͝]E?jmox<7;™gɣ 7g(B0: ")=w=X4,j{XZ[Qw#+;%`@.Lz#OyU92jOS0B.qI> edGĔ<$Ş؊=.U[24!ZoH㻎>D2"/3?lah9E|uvВB鮓^D +IJl㐊댂64((`3v Ӛ#3p{'ނ"Gᜌ|_ ywv7&$,)߃뒖yDje~t$+nepEDglIhL-mr6%mRypĝ;3 9}r0:&q Q UuwL|boZntJnOk<$@M'hDVV5œ)//PPԪ0Ѳ#x!c$[5?cn&[Se'q$DFLW/"1Lmѐ$VWa>rWuwȬT t>;Ll."+c C^*Nt'l8 b>U.8Ț&ƩO̖اʲnzhq&7$-z.O5qGpBKBNߩ"d>zRd^:] N,,յB |uo%x[ ڢ-b|D $~ =5Fb xT# Q@UF'9E CM<_9^]Rf|%29/]N0Srum&hd"Ӆ]Zʃ0L}HOA*f5VTEC^@ٜ{%㉑]罖Ml1N^CX"|h,UgwɓV$ZE"S|]M2C\#󠩰; \MԸ6P杯n=tRTMCg!F^@bi$Ũ7E^\<2΍$0 wLqBA [J|T"E h5?(5DȀ쁽.Jdbĥ׎4;Wϲе%[6Y%0 *,D? (jZ@ L8@ŸPVSfnO02Q0u ӟ>Q=rYo*ri($|sS5!/wUF*>[1ò?-@mZkŭ$սfa¾j+ ftRlG$d~<8>Qt |yXy$xT^PMLp}69.  ; ?rgO8}O]OΏmCa,_%^nl%a\ q %T&JԃRf>}ͬBr*oM';(Mj98ؐG˃Nh'a3jf)wCn뫱Er4:ڸ 0W߉PR DV")^.r&gGNDB n']]5#wZ􁚄y[<^F:bd} f":S`i@ny#eZuո2}uj" q/ЁIbXޚ\ pҶS.L0"èfoQze Lk{$Y@seX❻ z+?T=UTg" A M}m")ЀVzMՒ! 3ƌ%eCX=oE0;InؚsG$8_O?!2JKjx*Z9Aݸ\Q.r.]Ey PSf3JD% wOiEm-2pb+Pp4;9D1 ;G.>1{4ej/\)6B8&{Z= Rb\m0Xm`$k+HΑr>wϝ u]DUv84ެ!o7|znho+{8y!uXힳXvqlV"e׷|w㍍Oj ?(ܗQSʸQ^/@R&X%]Љ:p¹&Xx_IW:6"б9 $,ICiqiiBb'>f^L<ӥ HLYeo}oZaXQRES+/n-[|UDX4;/P|S'}W0++E-Fm;#!֙7{K0QpCtXc"SpNꅙro2Ea("` ub-mw^tpAmBU-fn]|5{t܎O(ٯNXc.FI!qL4V>4+& ɲtO0whg zWlgc2] _nG">ֿt1Q߫_"oy" oM9L\Z{0u9/ Sk=Y뭌kv>.t,yBy-.~V4^GK,/!0h%45&vE9`e{QRIFGoei)/asUVm#~9JllL)E(s|Hu; =Gd–kb+#t8/( #(yCnx{xda$d(-I3R+\i#-ASb^#yR,KZ(EȤ-`ccF R1_Ƌ` .#K{&< ٩5lY;*O~N[ !8Y*. T;V8k ׈gCW?C6VB݇؍RJ$%Cko,gL;&(Qth %H%#sZ>rm~<5|dKjR%ApnJ7f9n:Q+t gxPJeDm [r2+^PrYW# M`^'-Sgn<6֨{<'*+* )4VW-B|@̓lOHT@SEɭWnӚCI)^s׺Q_ ;>LP(J.9<$3Ʀ)sۄ.zɁuf'(\餖bq,IEAf s+(F#;Hn'*?#jE)Pp&1ߚѨGFU)LbPO6krWb~֧'n֩md{L Kڤ_)9C_,z*TC͓f7ba;>o6crEՕHnN=\Q|V8I)Otwm> He#徑/{Y w`V10!iԊ qo>>IE|%gB|qK".*x |H$n Nߙ쟤HoEFuFH#E ċA*$XY{ˊ %* ހSళ)Vbn 'Ier6&i{ `Ffg DXRYbƾt= @M|,t6Xq_z*#GqL E񬳛v Yy6wQ mtiEokzp^7E֕n9|| I:Xa`T3_D7]F. ?}$ӂ4agmxA; !1!oeң2DCP2ިq}2$' &M؎SP*Y^6CltL߮Սu,T\+2 d_߉6L(`FT܊:i$zhdzM0ٽ>0au`/9q9ڲ s9l/TpbFig*)mpjfJ̚ 7YMF}hb~<5Hx$j "֨(ߐŖ\Hc96V 5+R֧=cB:' "S߶sdZ#:{dԞZ畓ar5LM&iGVJ(/ ;"ktp|URD8bj{ Qi9OEK[fU,hU~1Zqt7}qYp-`ʕuf$$ ([1=!((9N<.5!KhU"ۋ7ʹ0 CC&6w=ɪ &%7gB3q3wx*6D+Lu'Eke~}1ſC1TXfvc1w{9uP [{ .fWkˋ6M+\>splέ-.%[A]h+["1 `oR**19p%@WOI Y G(@&LlW~Mn>vnͮk|) W!0ngˊjZ;}qR߄ XxFVBQR`𠑵Qw&)(v">ro _02B=]/-RiZ+ALMQwH^N#aoMd [UP h"B&%9]KGD>_Ԧ~ α > Fٰ'8u,QcA4$