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 M1DL ]I]Iptables_Semantics:threads=2elapsed=240.155cpu=445.628gc=32.948factor=1.867zXZִF! ٨]ŗXf1-/6vR[( `wYf0T8#,"mä&e,C=v#B 4OI|Bm>ol[CK_@"3ɑeĝ '̗B Uev6WzZݵ ?4li- ڣD}Iů@DR(j GfHiO(MlTP^jG ُW{awlhpR@ܑu \G}̜#z&\Jj\~]0{)&[I*-~ha=Gw*T1LNZe3x(0~ls<︫ɎYA)2E+w5ZzƅɄ4C?%:wQ:/3Ssޞv̥KI8ǂfqC<|h@/FF(v@ ߢN3[J V%htz?:fY33.u}nC3EG/B#OLH ##l!}O;k^<j K@GD a"?Y6;:-;z$ 0W =cq`Pm@!"q>2Fd*FQ>Q@K$U"t_"l|{p'quDax+"+Hu[9r!st5B@ zuE`_CsQ! e%IJ7i%Jp`F!P Wò:Xi8u͊F_\ 1 Iptables_SemanticsWtP 6Uh;QPtyj5Cs礢!N Ѫz9Bg4%ɐ)T7M*/NExU.BR`_p9;Ku(6yf)$iAǶ,.hBb 6f_Oʑy)G^[B~yl\y0S0PWh!OP<0R/q85$\4 cIolRB:jqUօ\I9QݷZ%閎LQ[<EsmRLdiqlZϣT#k''6 p=}aEޘc `ݾ";7Y/Fq嘁#=5m $[ڃjrUC-#O#g8dd ϞU9Io*4iMRt!SШhO}4bvf)n 5 \m|K ̔յ _WA=HcQY"B6 p]䲜u [6P-!€eZ {Q˧:T*.V7VlX/\%_Ӓ;ٗ/uDӣN>ӚS^;vtMb1)ւc}CL']u=e0 y?i$=9CJ)*|N*jyOm!]L hAnE%vlh1{͔-)P2ޯ tI`V|ۗNRWo":_;ˁ oh›v;Tj}YjsaU ai߃~@<_;eZxhɎ}Ya_}Kt+֫$?DB*dʣޫ!k]u$Xس Ezj|?vṲC1"ĜfK۔׀a"kn'?߁/2Q\+ʭk]S#srY7l'2cQNK,c$ aU1Ԝfʈ3'"C|hF;澀wmsUn0XgAYKM|J:R*Y `4)[\A\9EGyPВ+Uv(7~)|<?bFifmà >Xmw9e.& Ť }h5 c_p-lAsDZAMCcC#gYZ7zXZִF! 3]ŗXiɟ1˦r+g]3с"v|SqFgUڢm1X'OoL(jPPCov26W덨_39J1(?6ta7`HMb:5bE  oTR4ԍ 4&\_4iTӐ5RǼ )6˜䃑FoRc*lC/D,V*2_xYQ-jJZӂSYá0SdɶoiK@_į 7*uU&.8eW}hZCާנ:Q߻61~Z_[;_7inޏ"Yκ{|f+?;@ r{ʩv~s0칖?f4l^D)$p 32SsU)-g-SQBW:Sܤ8<FQePk)'6c'F-=Zf4}vǓ"f 0\mN.a@Iv%- \=us6eɘ2[()@utEt {iop3Tng]?MpEL-%j{aV™ Mjg]4~ jVax @Hgֵ8QQ.`6cq1?7Ӽs srmı;E,PA@J27TĵCzGPeL͡;wL68x9ܐ)X @VZ+AK) {X= ma#7l=СA}c:m l3MvQ(JRi H"udl X흳X#7M…VAV9l~HT;3yA69@'E$5Qb{I@n|)=^XNml=P/x[=fk艁"ವT%iR|lbw2[+i@/4O~SMT7;(2Y=JMBo= kW.$$ J*{\&y K=YuXw#콲@(_{IXrKެ:o5ƿsPlڐ ֻ 9bf"S^KA nr87W:=귑2PV3+U/"vJ#Ip="u3gH[0S4h2v_AU#Х{+`nt4*HN:uB.M7޽T^Hw#耆XB /dB$xڥ.¦qEz{fT]Ť/i]TN A^V_sRKNNX!*(,|(uUм. y>cdM=ec*LS@^lS;h Y}S/,_'wZ:{ƔIÉ2~~N5gyqOǎ h7~<O<9uM;Qz_[}i697%Oh;e89dU&=^MXC]p|M AΛYG_P(M--)Š2 tL7Y80ʯ*e(lC|F7,1FO|@ѠGjZbz}@vTl+t6]2 #1oX䣳jH&= >d(ˣ~ hLΨAᆬnk5ZtNhȎ+߮~*9Jdj򛱉g9wHYd5"pje 3d< Ļ0֢T*/RxԋW(l]Meք1}ݼФ͒gZCOSm\c-0ݕa"irbI ƀ؆r==*+sR6=PBCF7UEQKJ䉕B}mHG[͠F$wlBj}Ԓfi+՞ˢӡedݾZDGԌXF MUd?H 3 ZKxZSH{q=Yl*71) Uނ"Zm#te&KP4T#._k|e~=gg σp5嗒 3^11NPmIY+wSdGnMS[ss - 4"k!] Wgў|`N$'/Be=7`QfOet#H2jjy{'Oob#Du-Df%wzP*4bKkim۬m۴?a>(@5$ԙO%uN&dVY tY`M5 npkp/'xЀXs=i&Y_@9ʱKYcU~mνEJ#I),m ,{CX지:K3z. Ei Dm_;)xzFlr =-%'[iu 7GŷI RZ )J[o(n4]V|=J7HҕPYIG.tG$3nAywRݛAya*akjϣwAsrwdrK'#Xp3=KLy=}-& ] ԰ͤy0"T<3nC-:!as<s.ry&tԗ xF(>sH\0,' v=To0,ĐU.0,sT ff0nC` 6l.^0J05KVH^r]k-$ku uRhN=5sI -AMfE/ׇ4 K;8k\*x_SslKO4iᚑOE4N5RV, s+z x+~OƒݤQ56 auԱu[#l4-Y'w>L[|97#_r&b:趍'<aF$2I@epPڼ8 U<5GmИ#O6EZIС[s"$n|!πGR `+ "KpH,6pnDLk/2?3DŤXȕ۠sQ򒒓gWЉ6hq筲,d^{$ԓJ:k?|w4L"2| sW{Pʿ7?Qߑ~u Um\djM{qܨ}҉{cхORyouy,{lt&}XJ9-wvaX(&Hed SgMdUcLi̟ \E1Y/=V<zu Zϛ `I rTsz9@#% ԝ?KZ+X4QCwj}Pn11Y< ^76/w&n[ WzKSd&X'_B1)4:>RV٢k/Bueğw@+~kmZ7cfd@ |nV`952 b kb|]+6ѽUn-Qz9ǰ&Ѡ!IΧ:KkO[oJl PQ[J*jMpzU(7=aC8n.:/.AGѫ4_uC"4=BlcfxڒPӎ~=j_,9 F1pג  69  y>4DW 1ϻEca[۲ws U\RB9A$M˦El>3b.?Io[O>1n\%#TEU׉a`6(`2a"$[{xo Il,cT=/1 <)-2eKP+ݕK_Z]ԛoA$[J~XؼZvcoVϭ² 9"7sTXsu1mzex_:ՔBkR^WSP6g.S&b_xh7i2`,oa$Kc-FH 8BMMYb{atnd (Jӈ@B="Jx6H**ưP'!;@QtՕ?P̷ui~tF SfS׹NћÃُð̸m!!vI-ZoLOZT%ٶ\Q콞ヹBF3}HxJ)5۝yflG9% ,lW\⸔ٸ B`IP=y_@XFȩ^ h[ט@T)s=۶ү}ҼK~*9V0ܤt7l$|bqpfSXKՙswkc`EfG3C'9+3ЛMD}FZDltAUhI՚i,xHG0ERϺQ8=>Պ&oeRٜޓN* M-9W ]GNKX8Qyzs{\~VG}n5`TDD!xh/uZZD'zCWT沖o`91q)Cv'C`F^G2Wi@UB IA]oc 5~ZK.E*g՜-:6dA.ONeģ' (30,nn /Aih;܋sI#sCr?ySPY4)"ٓI6s}S@Z+wěKbaW}1k&1L9? X!ǚmLp Op̎( o[MfODmvʚmYb?U5F>3J2Qa(tOM ܍N2^-"LȞ<[ʴtm"E?~IJ@Tau|}@jQ8v(AHoS۠)h5>@bHwd"ffIԪbY;7'@}4=vn.!M?n1l?KkwlݠX Ԯ iN8b,dz s$%$OGݙZS8%/?. 1?jȯDaXڠMC xOm¤ 8:=:LߛH5͉]Uv_ i, VʠZUV[h?-4P$5;nm|H>{s,Y5"z%mNl>;=ZHBC^볌RN J憭46PFX&'ƘY߾̻iG[:Z)<_5 qX+F>3*~?] Onv3j)&ξ5b$Z\.CL.ȊJ)Ö%oc Y)hά!—J"@(_0ht-5lYqī[,y2ИP)9E/ܡeNrL;HNȨ1,"bF N:k۟zO*QU"j(gU+yo1Vq |dĆlC˂1 5"TpMM5I='9y11h t+*X bەE`OեTdA&~xUEC!=qYh(ò!a,P57t,,B8@GF7Ee:wo֖=AcDl-^ .l@rc9[\!/A|eC4%E C\mtRWSa4Sȶ0[?]U:~i!>idA2㸃ԢfΐZ4 PQM}bD]̌~r{ >q݅[g ۊƱIi {e KXIv%p5w{ 5g`:aul!.J<` ]F>ICةkm# H4Lg=;[GgYTOyvï?OwnI3U{$b مbƜ `~δυsǽ\Hql737`lZh6:ޥ#ɉ1I[tt3_l1U_Uf{$5%+'g}K`,cVlHK7D$q|G^(9%D|"W{X{fn}j;*LQKA~-`1 0&tvʌA*|W#Hۥ2 Ejjtok"uC/vRXP. VRcEƾilh. ^XaTՅ L$#{D [SgmJ7JDF)>/Z@U F~`nt\6f=>ģ%4#פ >b~0z= g|S!\3Fs3ZRp%3$,9dA6xvlw]`_Brl승i_Ɏ > 1rd#DsByңUilc8\S:sp_Y [!ga08STLqS\EJQYV89ˡU+k&ۓz 7mԩu$v#~Xl[p;.B,dhqvJ2yĜ-Omsj]c? [a@Zvw1wE\b_f#T [aQuix<:)_3a0~tA*@45B*3c8N{m|]d>Vd6&_mYt*Y!0 g. T%a d$Ɵ0 6=jR*2° R&w%. ~FSKr ! .kjr..֞] P[rZ s!{hL)o:Fjlυ L4i3}P1ƕ3 ՞=Yc]'ss;F8e=FM1YP+8ju8{}`c>㦢kw8gdNfK$u/ Q7)%6ࢊ83A')BS][63@8Ӏl/S/2{wOlq}O6JZ@QBˢS0,!'1,~U)`Wi8ϑ_B[}CbZ8V\O(=Vmȋ;58{Rb9sfM Der7{q*ƉsZ^4>I+$z=v$:`U:f5E 5jxTJdcKVopH2fKc2hVSefS:YmIΊ6U~Z`Z}BgjqA%a:noXށiWmFZo_xW_hk1 \4g)iQ:•*e4H"Y >Hr*-v^:?LKJb*R}Tx[*_q%mkGhavtˊjO≯NjnA0Q`1=pԷ\|D2j4D!%z!QwCk8+X*1!i͹,|)}*GȊd4*W:aRܸ Ii/ ƕ8r%ۍedldD=IohյU9}z4PCd2f}.:)u!ygϲxNE怸oONf{n+30RR%pk$&(=/ ,-ÉMFr1x%6_E9pAzs,Q/w 2?.I46 Dkko7LϊYdSᘈۄ/|o?'Yt>PLoJrrTݹ°m)I;](m';ȥT Y` }.@ 3É?p;OՃ.DI3lÌ,AVK@)?: Ie)-*B65waF"DZHg13|Yw=Q~]*Tl׋H X.bYPTWRO[ zwt `,(~O!ƉjCf]mhN)`[.vn)$p9pGU+jϠR6@hZ(/sk?˿Yr!͖bת6l{,hCTJ3/;txo2^ׯKU 7D ]l"P;rF{QOڭ 5b}Jj`${ mbdersT _ .YkB<5GE&"#;EpUJ 8nPA=TDomfH>ѻG M;cP)ы|1I|0\/4`gK`BfSK I!= @t 顩f 9bGrɴQtxC/i>9)zBcG蕰y]'#b3uZe&jk,9 4qAy~|՚d%Inwm  M