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 1$T4 ]I]Iptables_Semantics:threads=2elapsed=241.007cpu=449.840gc=33.608factor=1.877zXZִF! ]ŗXf1-/6vR[( `wYf0T8#,"mäțD9;Dz&8'w@;(}pƦͬ !pF;6…*b"xʴsB wT"N }TV5SUeAe|("d7Z!Ad |ⶦھ'xv=8I4,s9J#" eHgDu7.zٽ_qX:1h1YT\# e~VwY󳖶2`bu:IT5*Y>FO%4HdE/tΙ38Zsgj˖͠90CtjMW [ǻ+]y_Ҡ&Cө SCiNk #`aYBuhmzK1tF8]8:J |'TJ}Kqo&ѕt؝$UkbKpCMX<^MU|%.Ef M_km4jU1Ĭˤ9lDoQɬb^Ư]@0<(XUL_U+ӗ_kIt y5 @>*XDedcNҩtJ.ٙ8.F'&!+z])d/I႙`CƮ\v/OW*i ;zEkt i劥;^pCh,5< g4#uR;BNh\5Ę͜Z!@pV򜶡BaK5|(M3vGXOJ?";x̨kM[2X2D+EҤWV1tW 4qN t"eEj:ŎD(olT-;h T N[`LĆZјK./" H3f3}pY2IN=YHVu˷w!$X/BG _㪧BJsc枅xe@ { &ћ,%z 쐰జ<9A/guPpLruףR˚ ]Uhߥ/ _\ݖ7õLvD^ LL4E"w/G/0fRo*>GfpgIayI;dkrtsiTJ̢9`|Ҏ+s>,@1,"X]><+'anf"qxa7Fu; *c 1 Iptables_SemanticscM R<%;N`|0r eeSiu^CI(b}\0D w&1mBu^&AN=U]TN_DrT&mC]\؍+|)*0`dJpR%@]6c7nGOѾZIadhY,OCmCďgϯh$h6t8Zz,\ςx)+1x[8.NG[UJT&axޅC]EǼ&ywbzx֪ڽt|*)a@P AsGMokb+a=0Ѣp^]w5 ‚Qk띛)}ݥ ~~T"THʆ̡-V"L3>O3C7&\0"v E 1;sȷjEy3'FUI͹h\ARlЬTaV|s%HӈJax.J4^0:N=SE3"9#zWΨvLjiQƔl -U9~͇Iʼbhz @1ÐbyU;$_n-Et1=J= vP5MI8-Vܴ6%ds]B7Ab}/jmk\􋽝h{)6xr*¢|,59Vw0{z}7 PzؑNf, ΃-b+Q{h&ꀸsnZ!:5(r*xr" 45^n~4P+4EpQkWPbݏIQ{%IlX- 9p_2/AxѱLT7쨘:.ĶR;ݸkKX \۷Eկ J(=u^%x*Q]tIXY Aq٘f0V!d)%I_rqB|8j n\21*w2f$މC r_T+' )+__2NէTK5 5i&-q[HDp ePv膝zK@wCu*: U7D۠UtK) ;h rx$N/eOe7Yeq`nb~ Bqb/\ `a[ά 6?Fum /p吶oCMEOZ 9 w96HoȹĜ-=g!!`|[G|k^FYo!~$1o:7/3ּ,ғ0'3%hǁiSY!ZÂheցlKV4wͩnH/ {8)D+ۺEʥSz-0ScP Ɣ& <FM4 H%<;N҈zxb^\bH0%1$߱ F>ѩ 2?e7eFu2V:j%?ek넧'Q]\vORl;{;&Uj}0WD=ט0&^0`=XMbد?,2E6ztY0wkF=eFٿ~c~4kDxI5?`"}esH^B+z' $]MXG}c Ri l~tI$`Eg[S\%Fx y}4x6AAyK%V>m0of)˥Qԗ LgM[ZNYЗ>!朙0d?idAkSLRF fJ}й3!z08Fb#_hUsReE,4.-pP"Gv\ ȕ&̀0 uH+vT1~~xgw{rА7Y(Vvw̺CF-a;{L]F=kuIщ[APQY Fhlθ)֛=B6̿.ö̌ :nx}>8<E1H ;bP-j+%/y,E?onF 6:L('-! b#Q:Nb;4qa" !Ep70RZ8(bR.ͼ -'4R } EC58ZR &MQz._?a Nn~A eH=#VgYZ7zXZִF! 2]ŗXiɟ1˦r+g]3с"v|Sqh_pq|g38n);wDHKHrOC$u(_'\7EP48rJ|c\-Qp$y%w|h_5;|Wͭ]!1X0pOY|:kI\'&Vz3~aڇr`")},QV1QjcKڰ,xV5پ+S4!itB'EPȁ x4ɔew鼳R=;|1ofzV{.IavM-"h%+{PUܪ}ayzv|M)< B^ٍNudH@pI]>_jPl1u<.FTw?e%#-KF(b9/4@ źrRO7+;xQx bٰE oe拞 'L©`b笹wL"`7 hrv'l vh%PGYFs :P[p݇Yf|x8gq*G?G`O@Y}_qůry7<|"S`.]TN ?@`*:iǶW\-SumOE )E*пfڤOբYYi0-_K#HC31+[ʥUuKM6?2kNIqc ߅ r`b+*Wv̅L~J9ԁoj&Ap_vǽ.AB(qd"o'm rf% ;w 4}toz 癎YER 75kB [5' ^l;~"7)#EY X7D.}iA ]D&պźxz27rtoRul3,ډs()H7+mTOb)~3IѤƨ6̺N„}e}.w_e(#,yWܝ[;͒$ԯs]X'YDu28/C~ !c5o X{$n"Yg:S_e-l~"Zo poA[46 =G8bƼ~R="Wțn(A0_ v+ZBረ V[`#G؎@FEKGՋ+/s xNݛBۿb gWg˝5BOCޭlNw6 <57 E#׊^VQS'Y׶kg0sH+2 lT%Enl]yr# ; 87_ %ir%]Bm#=ZpQx5~P+#S5ӂ@ dfH"~!uU7ڻl'Jnxq#n}o4٪{J֝Mma5nSXAsḋnp,76Uo{,xq`l ~eӻ6g`xٿɥRÜS%EErmj[b YۈMua;)`V;Z pꕝd*ߙ\dw0w1~Rca5bmWpuΠyG|ru^陼V(}ͪ6Uwdµ!!#'U#&:ͺ֣g!e Q:L)1 j4+襏i0ҩK@)Fzp}UE=r|kVљ/wB,9Ug@i(1t 4mfjW/t*B\[$_,Q@Ģ`QsBޖ>mHtRS:͟0#ƽԴH  T,U8V+Yqب1@ n)›ZBYlclz#/nho! xEU ~ ISkz`oL3/^b<]jZ#PaǺT\%]vpt/>Raݪ?q H4'+Rxq_-79asc`WӳCʪ{sӫQMߥ[c9kwn%wTraC#cNۀQǩ6ޯ~ZgxZ>at+-OFN?´l E'Դt},Vh k$V=Ow|68oYy8sj)ǒk[,R0G()ji0,x= 969ak,-2&1E|;F7RUܭSG\OҎ5%OA gkENkLBwa}.-}˽LVi"KvPqtW{ H5Z<5yK^ "=xjs /π?^MI8!zf' Z&kSc_URj)ESGk\JG!йWh(Nq5_Lov+o Vr(SMV5mx9T Z~t sBesgڏȕ6QtdTS=:2LvU 6mtzfolh;K="fu, g-.R},B_QUrPM Mކ2+)([UwZ›JS9o&A]Z?1*?LN5iu2Q8tM'fZC_yk5laIEr(8e_x`y.gO)Trkmb^}ۂ0$JU'$;F"8kYrܡpcU--2]c xzDm`.o32q9&Sf:tS-YWcO8˷BuJ™"j4_^@z-mݶh겋8"E=.@mq>ʥ]5S9Fh[[ _:Y4|d<S`[[nT~⮘ǎ/X!4^,G XQ&[ QE'a,F1 )+ "#EMv<] wv߸ۓL.eX-[0NP`ґzk'P=@3t4Qy>j{+np}Mt ء& 7qknJnZCj.rdͲGOB`YQi;Hu6}vnI<:ɮA4 yxH/|jb" KM/eF~){24+qto~".\OA'7:I+Ɂ] ~TO7]f*9xMk t?2/S8Q`d 2W@O'*ssv1]6J<9(|nAηt }A=AUk oL E?ek Ewel)|Tl<_ NG QXS2TKƼ#p=xBw,$:,OguG}\Ȭ挑$Z-hzv;ˋVﺍWP^GߚIzk Y ӧӝ]}rp$3@㔯uֺ3Q@,&FHi,19w - B6ƾ"iNpTIg=X8\( 룛 Ƞه"r^vIF٢Q_e ]-f,2݆~̏e A#|\;gH<83 = C/#)pqj- ۥ7P}EP?L= X9eLzD~MY8ɲo$XwyPŒ)z>4YɱZX4r:ߗb?W/!tU`t:(3ԫablDE_|cPJ7g5S@Sj4v bPUUM zek> ?K,?"uvoюQ|ʖ#m޿*Qސ%=.) p Zz)Gyg7OpOjb1#&5syHéQi?AɎ'%ب"Շ@k CÃMv5k\.jP$\)1:@k'2/Y CW>^ڗ N oG$\6[E{2) YVQs0OdsdR$ . a"4WVN#ֺJO JʦE-\[({ibZz~lsьWѣ'm3HC6))GYfv-HLsFll?#7.QAb-BCh:~N6E #%b̥ybf̓Yska^ZDH.wia`[ņD{N3bvR֏.y^aȽd="W9S]# 3;e.> ٹcyZ:Ոr&R·Ij4m[.mF 遡.mj+qЖTV=[o-)mYcY.D4_mi,o5p.Bnd JnO(7q Į٥]@ o7!RICꆝF3CMG!ROc(B?WP۫l /kHR*f[lउAv>_@W 2\1}KyNO`w@X@hkMaE2=VG߇ ׵-WrHSQA~;ۈtX,ʈ>"'(=q%ROcwpkA[U:a*fOW,I/j7"e&FN`Jq-!c`S,Sty?T]aWY1[k{T$`8.}> ?:9ʚpv/tGC1HdF}Mk[7':qP "[hAqQoZ}S*i.dsT5uu,A.i뽑䦜vԕT>lI,j& ӨCbl1uYQMXz̅re*0#WၶlWaRPU ]Z\~~]tpB9NC7 O71<9v'jٷPpOi C,馌] -r6LLW TxR棛6KTUjPW*>ըS.u)05$RIzT]^).6A{ۨrSP?֯) 93ӷP| ;5BddV?쀥FNgRmZs{Xxn獩X"DeXrsioj%z4g=# Oz\.$RKMʛo_ >^UO2䣠>R:O]bb^oTF`Z($#>R6`EfjWKEg>閤0/?/dBІע">G)$r1sS ʟ<U̦`+2+`"wøGNDѴ>HN"9Oy'ܿW`VT:6+$LP;3:oFZw"Q ?o 2 Vx62q1H S G})G!`6*ZzxϐYO6`ް-O7UT`߲_ö55lkyfƜS _ _[XlL.gBhL?$}aŻ!\#,ZL DM]'y'x#̈́TGׁvm2Z2\j R.P7R6ic`)Liu,rKoh3,qN>ՊMf9g:A` 2\.&Y!> /ڬc^23Ϧծ` &]I#Lݏ?$4ɋ eyKλ#S=[y]*e=>fDRB ěI%VCYbBir)+vjGb"suYPݤhupn"A#p@.!$N{uQ.?Ot8Z^In~"^9 ,q e5<"99pF9@S\GMu^M Ǡ@ F)W9s+M|8o2iP!߉.pQn4!~uܗ5U(o}-;J˴| AK w2$ANR1Gzl]~v)('['wC JxNar@^*zŬaaE|\]27)F*NZ\s3Jj. 4bs]TFF8ɜmaO~,r*rJXFهPR'k<̑Iu8^la*'PL"a5 RҀFst ˤa$\*{H#[+rÃOA3\8 \1-=.ZW@2a뉉gaS9Ps2(P[{r%4uy$y. 嘛/ Lĕ pBVGWݠț΀4P7rA!<SֱlvI0o௔Y|]v镸[@nwš=GͿ}mUq-7C3cw 'ԥž`=ƽRĹnhr[o8!IWi:SM˜Ҫ OռRÔڊw{OHu<2J e_ߙ\ɰ0Y포o{DVPB 8B~T6&oXjٳ0kv6aA//41Bs~f̬wga'5'JFGFt$IWV&JR͍FpI7@)"],wz{=#WEӪÕfMZc|RJZf6 6 PH+n8M#o묺/aS ",A!14ggSR &G*W엋0hzqd;Cjr 婽U :O;}|@V ?>(MLGS ނq> E~Xc6z)#ŗC\A=/ے9|pDȂyv]2lF~l' []yd呅J7=mu4C]ȻTg3>yUW l #]ؙm[[RFZnY!#|JG{M**}0Ԛ NJDGG!@'3bU1~ HHVӲay%&svf!: >'[l_l":k[XTs"QQdRKVäŎI! @wiQn^@pοD៊u7 &]1e̯f>A0?z Dy/@s]0`֝!Q!)mh-vO]>#-K\ety%B)Cxߛ9NSYܻؖhǦ&-Yto q2) {(L+`~|E=R7 ͯPyGߛ'BLyf]ܚЫ lp04;<͑xE6DFBy kAzDE~#"d+o1"xO;-lx ;.A-㇉Z\GMKe[S efcLFNu !Z$l[`&h(+&e]GvC9џ lȆA"vAкۖςz%./rw7ᯚUx~W6Hb1x|! ]TY2,1q_Ql:@i P5.6i?IPvzK< wR(Ά(b*Uѽd=l[\W^XzߢYT}&Mn LV+ёUi) leRyr-VFn\Wi n4,Z,n$\߻ru`kxznU=A{"\ 8?Q6H偌YD/a)~:tiA_A8UhEIS+ÍkLKvWT jl?%)Bxfx(FQ?E yqBz G @Q OES`7Fn Ȳ%2]/7IҢ%M9̮24fƳIc-Jvq%-vb2+0Ic5ϛ<¨)0)6kyitt_Ʋ"j O_;h)]@C -}/s(i/J-\"[;x3m4ŃdDT s [wۊ>  | ^^`|:@ ( >?2 sPV=+f]l`GKP<>P6xՅBCiOcV0Y=y0/,mp=U1eBiaK[8#3< թu@P>9ߊy#~.{B{&|2꼎޲F4y&a3jrNMb %TXmAΙ}5? 3ZNrr~$Y@pt|:%&5KXQAUlr! #Gg7P_Pr$OvTrPi_ͅyn}g ̳ mtr3pɛ¤k =-l1pu(*#DL|Gvt%NqIޚF*7PkW".-^$A BVJ+'7.)ʟg8E oED BdCSGnͭL?%EorJ\#͑ySex+I6L'IKa&MN= &V>R-;l1Ϗːf"WjJ=?ҡTOk}|Pwj2-S m_n Os j,D0q>[JHBI]s}.)>qҭ2o}=$=(WqԹu}v܆?QޕC .|ӛA^ ͉byLt6$1f<%M}g1'툉a9__n9/Pq93+I-Ц:  }W;Oo@Cw1lݴFG3;f`h]G? ?q.vJQp65 w^Fz|?'emfwҹq!gkU2,0L1 ܵHz˜pKN4.ǩ4(ܱuTc6?=L `R=ɻڿ鳮8F~.^6W$E`656 ,(#8>f SE-E-됚K.ZeMjuJ;0dAKUJow  X=eo4CasVT|w:֦.00q+r"a}VEuB:(ހvL}^>c=gYZ352d9220f9fa9bc622787408a10a4e91adf4d7fe79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 3ce9ac9a9423afbb53288038c66a1b8cda2bf3ef 3778fcd958331e5c4c1ca3a0581b991689d692bf 8a226494c245468607bc801e650735f82f02c207 ca3a44c15d24eeb23d0a5a6e2ee0264bfe0c0621 8e3f0513fc98aa818a0c3ff310275c50f4b0c3372015af3d6a2a6be16572481278afe202f585568b