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 ||y+ < !%]Simple_Firewall:threads=2elapsed=38.400cpu=73.784gc=3.492factor=1.927zXZִF! Y]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*$c!v3s ٲ*@i`'_]AiNoY}K~߶&Ce#!ey/>8tf/σO>uwf:#bwD'pGKNNb5{g?T &RZmПJ[aΈ7L{"Xj,t>^ =L0sа<Ow>GN IF1|JA }f:4й0Ni8sieW1s<+>Ms1KEvhu.)=88J *ٰkV !d ZintϨۺ\{R;Kܿ`9n΋O ( A2759Gwgw0E@t1yDF`A[zKv7%9:_Ghp 4 Xty{doq|g+Kmt>2qlIVn) ,]Ā1/+dFޅr"wwfZ zǨlQKcL1xJ,1x tIl(nq{l͍2f3>v}aLQPM(.+DnL3pПIZByݿO)LDB Ņ>'v` Wf҈闚C@ 5'GzyJ@09|b-C?tS(gXw 6fs'/7 8rwSPs!z?~1*dj.팹R@' `@F-1U7,kt/?q! %HP) itaTK3*μ!.C~,qp[Rȟq\)/B{x|X2 Vp}<*wi0pOҾS\Ni/^^y]dhW3d/Ʈ}Kgcʾ$pxh!I%BX{aim݋ゑ<)0;oG()9xmGvTN]KPBN{mm8&x٠Qϵʓ\+yW'7t ^$`(=Ds&Dw8"aG&LLWGA\z•ofqd~V)_ft: EK*q}nڠ/}OНeZ G" 'e24.cAft(Spd\Qq?'1lY)ļ ң0^7dFFm |e>C{>*+q{$j}8V6!<-%qg&ιIϳf :|dnӿ6\jl$ˤYݚDP먔 VVO^뢕|VXTV^8 xD{ϸOY#hյ[ޖgy)'ObCZ .>X 2?y #TSa9Dهݶv痩/)pP +(ă,\[T2%_Vɽ#mbᇂ>I7 0Bh'3jx ]ܓj!FD#Mm_ 跒ʷۼi-T˟jLVDCOA}ɱ/aZ+b\7v0u}[NX+褟>cz0īZIXt[2RH\]Xnq2 5ڳCȭJ$룆?5Hl'L!l>3OWZ*NBJiT98m= j]sUw+ys"E:D6mF'j—^UR\#T`RBqHT6Ùi+D8QoƮdǑP/#B>샰aE*p׍ӆݱ_mq썇H{$ݝb'p5" t?vkxfC'V˨)"m +z v#&1#ARc_5)k||7.ץe ]" h}#3z" d>;x57AW~f Yۇ`pZ=_FA/U4'䩈3Ҧ"brpvzX]6pN!JFa[y uJP|xPRDD \oHh´|.y`\wVDx.W$ÌX-KbSd7? w !134] # -+!?ݭlБ"l xozWL/L,(k m` TkCe9ub b T8u>;LYo 2J80㳱"Qg-!? 7n|Řl"$`F; _E٤p~pnM Yx4 ד K]]U5֔hCyJSHf&~WEm [RRvTii_#dk܄gqJ% k/gGRgS?\x(j^ ns&J2 @9{Ν'&~B*}&̶@l{m9>ɐYZ%yӹ]ړE.K/DW0i^ZpV1Ōk(Q&qo+-qiv &k\mLM&(0Ro7- G+glpr8px=#[A" I {zZR\lIG5A&C#<ԢNS/c dX'ɝG;M{#~uݗ`*з< + Simple_FirewalloHk63-dZhJ%A %wy-SZ+$R9CtT@>y-Ǒh0RU9Z R^5%-z}[|sƭimYQ)|02QyOI'eic7$Җͨ(YRc&~T )T_U2@uA"̕E3Lc@.J 栔޻h YUqziEl@Z@ _cN&1EJ2ir`<4h(UɹN %ngYZ7zXZִF! ï ]ŗXi%sQO;?%Y%M8X̱i4+3e/=2=$}GInZ6=^k0or3!_c92gAkᜐ$`ݚM dpA;]PFDw(d_ZA]p=n AO.@M͡EuCT\/P$0Vd8d3ۿ)t>SGn@@ vۖ|4e_"!ygCpTBKI{gf9s_Jmfު y7|:ի1ю3Θ` Jpb5l毬$%T̘M=*ߚ)`VK 8D4xj ,a ! oW]h80 Sof!I ǤBUh$GP+񄠰b猋S?؜t,2"%K 07P184sڙ`PA3_@cp`3K7&RgP4ƃ}"/nfd\pY@OlW}%! sgGN։ϑDrxsɍ bBf=~fUjaUo|V Y$p!a:?73=ņW#Bl@4`ů䍃7Zr}R[Wb7SH3 :LcVct2_\6~Ґh9j89I3F-V ]H~,ӻPY^Ět67-cKy"~u\VGk"fѢ"U;R[ H* i4ZŒ;p]6E=P~rV\- M{ԇ?GoNdoRo, v~+[ =J p>UKZ%Z#}>IJ3;܍ toۍhBǥ}xG:SL~?i|&ug5bw%rS{䍧9hev9Jd^|ʤeU??=>B8y]=#HUh;)ć{.9zZgay|]F~E)[dHwp P!Aሕ%%oA?gtr "BJ!^\ OgOr=%ZȄ/Eƺ H Af-yr,dZf꘵,)ltAJs/r БY}f} Km%d >NQx1z0R,޶Iф-'|OW-6-jYڠM YTE\bzptI֋ov(9ÉsJ-[xua6[fJ Dfi8GnA ?tԍ==dQ p״Iw*AA73ĸ~)NPl4kF<=JodP8>25Н>M)e⒧>x%⍑XS6N^\=%]$HJ7J6vblt8B F6 @_vw2I5KɰdG8 ovGr.zp+PǙthvWa͒[J+}{J2!|7b27k66CJ+ۇ*D[\ =o_ öa5.kmap jjϫG+5 [ie@#e*K:xdxM8hLxGUSvJp`/Ej(N[4QLRe lVT%OM#<D,~}]o~zK;X5 (V@u3y ]$nlv֪aQN|OVe^mZEڱgYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 15866781d7ba0481c3b83d429cf910dd15b551e9 20555cef9603d417c85ae774aeabfa7f164c6b86 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 55393470785bf37d121b295174f201e1b9a66a39 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df139711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 7f9ea2cd7bb7be132b52334531098cdd85d231a5 664bf71e0ebb6d66b3dfd16d5fcd83b2da8549fd 2acc583704f81008c47d8cae8f7fd50f4150d712689f926d01d8eb6566d16a1f9f6aff078abb5dfb