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  b%4 ] UPF_Firewall:threads=2elapsed=112.485cpu=186.084gc=10.296factor=1.657zXZִF! |o ]ŗXf1-/6vR[y,/kⓙW2$XCsYVOڱx0)F(b'_b./rMT9SrsqƭlĚ0+&ne[ΕG uwBh!VJ钡"DlO+x"ڼOHe5P紐Er0.G>Iy'_LM`al.wj+{onv/bX zZ5N5syɃ/!tO'z3Uw#jCTaSr;S׬l-PeE ^9DN=keWY4mM{FȼV>s+wEK cݴs~$ew&k|ADJ0ԡTHJ7]|E˕g~\\Sjw\=?7ۮJ=Y*C{&9lZ=xbp 1 qWOjY!- >{xWPU*,t‡[ C6$Yu ǽGWUԆ'}y>0C1pe>闦K*T* 8J.Xu\Ы9Mo(l,MB>C?Z!NS'& V@c ЕL-[P`;efxs % UPF_FirewallbgYSFwlvVA"#*I[l9[vTx"VZ?4q sn9;z6M;oV:nTXÿo$dQvRN˟^6!Q(+6yT+!BZW_08;p,DiKc`gखxA緄3)ص*>.l<.:IIk=)!X@ʉ~)U?9,H!hMYű3(W8mg,毜(4WN:`\0L,$yb%ŇH#nGݏPIUց6{A5>\E|(:;paYaJg> CՑU5!eoƑA{jbG!Y|>jT*oiѰyy/̘raZh C L 9BHYO-VK&G's?kOՋ+ #M3#T{tMyjhv! kcUt /"0דv&XRfz bjVߕضP;%Opc/ FV+6:uXJn3mzCcS"mew/h F$#0(QqpvzISƼ uHx$@qW)+lo|E;q1p(J%"Nr7"(p;,.wy6mZdm2]ҝvR:,s$7ɦ:(s#ȎyF/ i)VJm- k;;pU6? {@ڄZ"c׎;Sr6y?}t"7΍y^q}a\m/2>2Szĸ%k!P;/xo-.*bFjתk>be:*aUMjcb53ȜN!>w\h]?7YVA+)Ll,`e4O;JqE۲ME I{(;5o& (6<*B,b]ykEBaT:`o8Ⱦipp_e:jٿEhFKoK Ƈff=טgQBa$2"v@^GZaN9#ԖihT+LzT"Dky%7+$ reeD#r*T.bv῱gYZ7zXZִF! ]ŗXi%921Ke $r8j+v~r@W~?vui;&5nkZI.BJoJ{2[ᬓo){hwϮX&Wes_'1'N++1 |[)@H>}yñ a~t=(TFgu$P[7+|aփ6{w샥'a _Xz  XD4`j &!J ̨`mp\wM(fBGJO,f) ,GaNZ+DRd!ts=׮Lz6ӈ+7 ߾*o}]#U(-5>oK;G,^1@9$eva#m.7͓bf7?G`"lSd̤INπA~NTJ$Ou `n- > T :/>i|WBO%,+pJU||z 8[b`,Wrv-hhh)5/}b8 9.^LG' %)A+\ZV2EbpGu$z)82-VƳ0TQ ;#sϡ) 'j'}/H0(}1eh?RnR/w&׾>&6ꌯ0[i_tݧj;ǰ\j8* SԒ-i=QPmHYe=_/jg Z\6Jᅉ7vykg(6i(m dP^*2=kjhVK[ )g8McEiS<Is'1clNORʑg /w@ 6a>\nIFDP_/j`۶gh+VnrA=҅FSYbՑMg0ɧx9Q2cB i% (x ojRX>/`ȤۥؑoDžxS%kQ5oܗS{]djҀX£vu/Cn5g؃'A;D"PC!*7+U!6`䎀 ^qiylkiz'-"%' 2RΧ*$;'΋xp0:r/ X`x(aLM<+,@[昗0K/җR+:,.1gNJw_g hcr70g3f" Y\wr1Hq LqEizDYTEmtP!#Y7T[W"'"S=3H7=06iSgki̊>-y!U'<F\ȜwғkR \ߩ[S~U]6Ѽ ^V>ogَ>o|4Oj/'L!##u3B\;K\neZy:PCou /_([1ҌDG,-uM %.rU02v' u2DeCc#X;c~3Bo(~l_X5O IlKD}E%-FW라!9I-x77LȤ8{l~9[LwBlA5#Jд1da D^v`ڔNc5<>wEZEdiGPfUӑ_m/q_._j,ښb{Ș8WUQK{_I/b$2g7:FTnJ:NTȏ%߯ /߆:'η+EBK!} &"`55vrWS(ciT"D;慺>עߊ``ԥ=(#yfص%cHnbm5spC<jVYP TQ46kh:yJs^@GRF~ރ kdbZ?s==d[*gn`#S)/$u6C4y{|P؂2m89F F<úגqy) X4 ^{SPI{-YL G4〪!{ Xj|\M5.tǠ~MOYWҩ&dv鬎 z|`'Ɯʹj*n+f s C$!\ {ă:jlVlbb ҹd r>,_0$e4iL|%g>>au]OD+Kλ;;}XV{W "R&奪:#6]sA`Pu)45 {0eЯ e %%ږ;d+{L1嫊Q[~!8f 0u>j&IO3Bo Sw(:0?FʯT׃*4$=r?v$@n/w\؁PI0 ]RHӓžt_`%3msTi)7,;m]zbHWK8BHd&/-jORln] H|w@4%R }F놐l;R, o{:\Lg!uLςGރZJ}'& RCx #PQRLi SX ' zxAr aAMߵe(C1,$ 06Van',݄$:w*5~6zneQF6llz dYؿP׬47aTj_lut'D`Ql4D wM#g^ i^m^S减^~]֨ԏ}Vۡ8hyZEzHW; uDÏf)}0^)K\Kt;wmݛkޏ7%ƌ"OF dMja?; ӢZzhK^\IVQ"ߏB5:QIC\sT8߬9U=[|v򶷃#7|vq0Kp| >>S>ːDV\y0JMNa!>(drWIú[T ϩw4V]=ȡCզO F$t~Dลlxs$N]7 :V́>3dy3툃BkOo;^ #36CgQ,9&w[DPh(0prƋ06Vw* I׳~ލ&NSkvY2i!WNѥ43O6N]ulz͎r+ybo2LF%RW/"O1\1)I6!̒CAl+|2Es>+*_x36%iOt3ʋ=m{#+5ɷ'L>*I#f46xM)0H8oo#tL8??l3Y!yW(zw*Iݡ?S)@0R4Q5F11Wjx軅aQǵ |t2sPrȓkl9<#?s*=Hs`9`uJ((aӺs ׂ|fA?nJc  ;G"QqI VG4Zk RmI ӻ!ӭ4:8*5,GxgJK!\M[^nhlde:v1Qq Y/&Ʊx <cS>* b"oKYW>n8'{/j GyA &qռ6O(+ ?amڒZ8X:3TRU^.Uݿ >v-XD *@ _X+0vl BCBf=-!M\L;fg4ns =Sم@/?+s9Lyp#C3?qgǪJXR'D)uI%Bϐzf%* N3& "8Cq0+ك |F$gu%$DW&emd(7ȆhDbZخd؞B('?qZt+j ȣUT3N*Snnavrk` (* Bd QTյy/8AouwihbݯJ[MU?/WYDSJdbZB| GC5P짭ʍA2^וI>bWq>ݍ.a5)]BZ4V|J% @5nĈpeKyCk͊2{iJr5pMmEu 2IR`T;}H/uE/ nzgYZd3afbb0199266fbb0191c7ab2080ed0b4d1a73bffa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a c72550e8bc73161d9cb32429ee7efe806d4993cb