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 LL)+ t< !%]Simple_Firewall:threads=2elapsed=37.943cpu=71.152gc=3.336factor=1.887zXZִF! 4]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*3^MOnPzy2rsaXq tcq9-m'P / ۚW` izٻUV__L{r|s~3U)F "O41^򺲚F B׿}%(4]8tTVGiEsl~Çִ~}w}aɖ)k 4K*@G3X7Nޠ-Ie͸5lo% $ DvK|.85Eyמ'0?zm tcieR1í/?E$VA (>jvhG> fCN!T.Cj⏧b y)#MAy,x dn8L/gB!#IPwFw(6Y A> q(ZE7/ ,L1!\n\g2#ZD5۰`lkw‘~8zkh1mc%eT,lxr^66cľ뢘,h6ot(rfWacfI(N!/vdq)B>Måpai/j.د/P{L%9T`(nvF[4}ϽTyǟ&$jQu8 h؟'9ܞ #t:y0UرAIsv75LcϚh8?,:. m% 79|lN{/ !Zq]5+vMAա MV4f0n9,d%E%~w\X)Gђ 2 -ܣ !&$D[`NO7v:ĠJv8-yiSiI=]! ?^v9벚Qxkw}x!piKn 7g.='NXG('l'b2,vH?8ܴ>wnxN!珍((/}}yUh*mj}J3cy+q$ Kt/P%P- Uz448fVߚE P*M-ث p{Q*.|̿zFi۝8Q3C󶣯uX;ϓ$id($y9A%wMR2ExNPLFq40o!]Z@M@Ѕ*N-!9b#[(ɾ>:wsH]E&y¦Y̱rڏT{h|b̫i6fUz?Დjdz &E䅊^ d3]l=>=8#H6_`T￸)W4t8RV{ؿL')t]O<5nלnTK*+}QI`77쥴YW5zD=d|O KX~0b怖4hi2M^@3e"d Cr5M$ <бM)N+ч~9vǭzu KȴXKclݏL꫆W+ndQ)E`S|'|vxH"-Uc耛ڢ./tp]-* $472M CxDoVA7@$XRgǂn4 ڍ22{13|Ϩè"6K % kb5*(S˄?աsW4COVt<F!V魓E'K9lDŽɴ\,1qkߕyOY~z̗RF Z-|e?@ũAVP&P<,l`Ojń+>s̤9+h2( ܍c vHY<(&ʏ].3=q2ֈ5 xI,+{~dO ;5vk2b[NYf4nOhwg{Oɜfᆲ+Nu pGN"el_ [\%C&L@HC#>fj? T?kn]ʦ 3:;v`W~'~P D9% t X6&(p9go^ uX)`@%g剃>[$%9DI?tmU(l h+/[$Y(gqRxO1}_f7|qkcQ\/ǰv9_aiqb߉[s^)<$r4UK51WQ3Kt)5X']XxW .O6}ΞڼD 2q_պCq#,jS؇Pψ*nNA'1W@fhJmYT{']܆&paxJ,7/chM@0wJ17k%ҋJ7 JvVBWAQݤ <Հצc.jdO BVG$bT_& 0;%.FpNEB uW ?U$j!䢤[ITǩzzFW~=gwNHdGH0F _*/1z. uͳ[1Rs&2Ms>!~)OEDɼqxD-ޗ"q}|봱;Ԗ,d+'bD>0 *&| &DZ!Fy\6~A3 + Simple_Firewallz3Fp[[H595eDKI8 ʰrKڌ5nmb)󯜬]q^~`~zKs9ګu}dI#G1RgFN+7zX@ .P&ŀFbts[70l!6[aMNB$O y㌮[B(5{Mr>+s]xP9cydloh[X؅y⠛(L= Ja 9?I4E)@6>ZX1ʆ3K!M6"LxkXDx` /Y ׄe:{NE.4lds^V(0y4[YTwb颫*7}"rD=Ḑx/lgWz[waln . nw^O0Kr\87Mv`PX(Oh ԷZgYZ7zXZִF! 2 ]ŗXi%szGΎvbЙ'S ~܎O[~^ Uc9R{`وxbJX29zTem+4UT}qf "W*ܦû,klnХ%O+ю%!5}DGZ_}TiG 5/:^1~bҗ'+W}< p=Yyh9$_'!' j޵ayw.PƩU6IՂ iLg1g yZ7ewW c®xI}&$~(KZոf#S2 2+cK̿퐬N´\:#QBϳF*gO7.ҴWPz!mk-hlpj3/ߐҔС$i'Mr۞dI&|5ꘞ܀&x~@߫@r9';?rJFw U IDMf7s K7ڥ GQW}W2lG>&)h<#fB_nKrjQWDMl/UOzϞ:D[՝tۢ~! ~‘_<8d VBڞXБ(~Cg0IaV!&JC)1">c_P5((W9מnANpI2-KlL]nAOQ"Z>kjNE y*yrVoa&cZP:ԱRЃ*Yg[sG@|BҒ|& q3)a}:9 F7߬-N`dMӹ3Z%1? YFڢv6"'AF&-lMh ({KW[@buj6(8nG5af ?sV0 R֍1_@w4|}?R,s޲(^dbzi[zӓ綦 \Bc/ O[PxW&T:SC7G-d'.پ[C{S'S"@ſ0xё98D2 PcLmpBw04r^:ŐU\VݵTܺ"Xya`c@a,0vWڝ( M)ys~ ~b=!ۨؐSУT 4di Roя¶붠{J*'C.`"=$uW+\2i$:jX鮦ضԓo]ehu0^3K>nZ@JuYk"e"EKBVD*{bIAGBhZC 40WOnW0 A{:p&#ꈇlLUvwG1y5(i=Zlg6N* >m=6i3Q#BV48ѾH jN4J\OEQI}Q =7`m趣tVo5@6,~rf|=epJFpOJ݄s~HHP1NL DOgq3a V6 vX|r =r"^@ mr@>&:{=G%n.w7O /XRIFA "&O-Xd1}$@0ޅ.EK{햆4CF"|!E8~g` 0Zk=}loQ.w9N6>Ex0z1.sCqR$'h?HaC$ -w|W%nçU2E'Ç}۲#$Xoc yH$|0LNU[+>4;D0ZLugYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 15866781d7ba0481c3b83d429cf910dd15b551e9 20555cef9603d417c85ae774aeabfa7f164c6b86 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 55393470785bf37d121b295174f201e1b9a66a39 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df139711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 4e7092fa6a337d6b30870a576437a4dfc826a357 929b4ae9218b5f8a3aa6118e92157232fd3c854a 08d4f4e3d0d02234be88dbc4b20a929a690fa8ad1a890f8f8f69c5e98138ad738a7cdada332a499e