SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  j%\ ] UPF_Firewall:threads=2elapsed=111.877cpu=187.536gc=10.136factor=1.687zXZִF! ']ŗXf1-/6vR[y,/kⓙW25?t`7ȏb*_sM`Mi%s_xwhZ!2CHh[.{YMk DSH&o٪=!NE5?Aq+#ճb (=ϞX~Q P9LO1Ā;,@~=l"ow]&16Hk4j *c=ݡKG  xh\^S!r f4|/% L< }s  % UPF_FirewallI+%Ϣy{ @o2SK]ƶgt]xk"Lq Yb@|ѿϛSE;fb1ssyj K@Ȩ4i˱ʬ4eLt t~2%[Fg>˯ٍLzπ5r| ĉW>tk7і6V C0]Õ6Z1|^wԄq+V}PfƷQ i邼V~q$W(%xo/ WPb=Qtg 64,kϰվ ؚ+O ,!@[bYZ'Հ/WlAʛU1~ϴ!O"[K\w 7'gCc8(M%y<Q'alqċdr(5$\2VU++;1VFBܚG&S1Ñ:1Jni 2V7݉C>\hLAq Hy2$1btm@th0ta^1՚:Z UW, .bR`푴zg%^uQtdyKAI6A׊՟9ŘV?]FQzΓ~!7c/Ҏw;(yK~>"gI*3] Q_{ kB׿ ֕P-g8ܘT>1 .p]0q+\B 9("L*GD@޸2́YgYZ7zXZִF! H]ŗXiɟܤ#ʁ<'\=4x1@Nz]AB#rRŒFW (BwMv*ya}VF@5_$SM(oDTFƶ7(-&gʝ7KlT*lۥ,M={3Kg EcJp {F=0L &h?ztc]lw[Wڪ/y3Jv˃ VUNGDeǨOj视mNLaP QuLIb}t=_L9 n&-eF!qR> ^:Oo)6RDajŤnyVйq \U窈uKvcV 56>JLB?&Udϖښ*p)4y#A+T7Gj> N݌"?S7 1]rϘC6H")<2xe^K2LQEUGYOϕzVLd aM9qfCIAңy6Բ \l/?lR{u\|=r~ot'V6ZH?7!ȩJ[UIQJ4j.sC3AՉ}-KP80-'2Iv῱gYZ7zXZִF! .]ŗXi%ή+'fUS@? ;%ijvꉧli /޶gߨ1B@a>H\4zVԹ%fq!IRfp=4~js3+^ _/(byi RVa%vS,M˓C̜;up .l@,VF"|l-NkAʦ "cW uI覍e !&G- rP)4ݲg<-,ͬ`bGy-#϶-"e0_$_SoeaC%4N=$|Fuz5"#xxLq}αl挕;v^慐UU4PzKMiLZuF:خ_"fvNCr2XihjZT݁՛C0\U$WGp]9_sa'EwS(J4ևnnֺ7]ew M9;n 8'z7+?ԣcD*v^S@/d}z||*,x8PT6O {$I)o%]FXQGDO1,-6rFNUj{NΟWuH/{}CMR?ٟ\[8$b#C|$U%Gos}}ȗ\zҗ)Ι#\ʔWIFXЛFYX<r@r`glM q "eN'6j36̐!gbjd$,)o\􀫄J/_M3Qufat"ט~Ԣdv\4c0fbcQѴnJt$,NZ Ì>G;Hdʧ[:u1VCu 4L͘>Gy,)L/Mr |O0tuHc7@7r#k\0 A{Y|羾Oعؾi,eyRg{"`2a"c&d7F1S; Tr5`z}/4:Y2<55 kamj$rÇ 8̳hD|BP,p-ރ+9L60Jb@ t=jeA|5ޯMOՕlƼ7ڲ5[tlj/cXoٶYUoA~繁 *"^Sr.U.mm p P!Xl#n\MY?L49qbuG L :|%'VmWHD'h4Zs\V>*cZ͠NP&%(~ =)/[ԷbO#*~"><^ۚ]-։LιNdvz-0 ա߳#ԧm x)> fCGQStf{6헝K㡙zqWf f=+I(ٵչ ')6"i)𳺫8*"B*7{A'+M M\#į!: We4փ4dD|'B#u> HL8 px}R<B[!xv!wJmцoZC 0mDrPVUK^ϩsQdm&@CR,)"}YMreQc_$#وx"Aﵺ vxznت3"aq\X"$&2? v6|nn=a7+]=2aiB.^%ʋ2+I'~@U`~)>j^}Fb1V՞7)7D~AbJ,}ΫbºU$f &R&SL|@}Z͚%/+LՠZv@٣GĘXGsE18@ZR4/&*O>TkR#r |w^U ou˜Nܧ gONd"hӹS2۸ &jYr{jNQ"L]-JԸ_tQ' WZxzE7&Se(r3)s$ź=uA  ?@ub›eEul[vr~BGnO 9~UmߩD+l)J5``%tQ}wa x o>Ya#@}[1(/{ɓ#8cwl${-aw}wwM?=o[\n+Z;{8Q-TGD%0Ϧ0O^O"'g%t%=UN[>R?[q>N)5g֌Ih| e:栏R[4}b,sk.C֞ juNIjF-Lھ5Jg*IHМZm]}[g2*L*byD}'`fݱ{ /z 6ȓp Aq;NJiQ8,w$Gw-Th[kzi=|pQt̐4sРr宩 ube]pϘwW}T+B;ad&B:4H-n]H{D6~&Xrkz$]mxFNmX5~[ #* [FI1/ kϑ.&YIbφK\rW*>"BQsߦTMPA$JD r\5dֲs̭Cve ^Ȕ _Yym i+@BygB]^GQ[8QVLegu3eMџGl1v{8kmg>VJHW=zI adK@C.X0)GܟL| k;'^./lXVJ sVڋKx'i;ծ]E֖=0;\:A9M+P/_E34<)/лL`D) R iꑵ|m Umnn+y4c\E_JC2K :(   K!Ҳt+mB9 #D8&s{FjFl/` E!o"rhaqR镙hf VՏZ?Ё|~Rɇ7pD02aDXِBq 7bمƴ<=՗5 %3_Ъn@ujx = oc"93٠׌klW!Q|XЬW$ΟRi/n+| Y֒"upCPOt6sd-ΘfڿyĨLHd{xy(9Wʓ%w H"#WYuw {;t:C@B9k66j18CmS3>ZV]P]pS PkW{= HL/"~K١^6:!wzqEIZH@daO$$BႽ-#M[(% 'C/'#q]ԞK1K9[V!e 3ɹs2z[n( ;9{I8Y&p ZN;|`GEWN芵 a4NM&/`-SXo4Is\:kP "]fv҄vMܺꃉ]*-jzpo1LXt7C@$e0t>@Yz)G5\o ։N2>0ǒxu¬EiƃO%aP2'k{@KH>89m?Q3_;T ]Ze=t? v!aR~96mgr#(Xx `;m:]_'L+ .(؅DkUXb'm3*!0J]i[XACdzyjEHzC0 CqZ{Ig+ @%ti'uZZgS 4fI(fQ\Om\CQi +.c^WCRx!j澬g":;S?BWȣH%ˆ:W+>OOpb Tp w&3#$9LHYO"75MAk\] g}fgrr(7ꭅ.*-y>Yz-*Xd/ԳE40yd)5n>*gYZ}4pژ, *{Y /jgYZc1b1e1af4d5c1e39b402139677ad15b30efd767100b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5a93e73138f5c3bb61444dc4747a5e4eb6a9b6d2