SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  + t !%]Simple_Firewall:threads=2elapsed=36.868cpu=71.328gc=3.796factor=1.937zXZִF! ]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*3^+gԟ-~|@~k0 :n4Q^sg;<4bza+.qappz1>Qʔo+4_Mך4Ke} f@bX pdN~XDL&3N8߸䉑:;KA7_/֫ yG ROG{u/?!%$҉Cxߵ,B糚t) -p^5nIka79NnI"1=1,ᶭ'ݡ¤eJ|?K= +Z3k,4cuB kٜη=7yԶiZKv_(@]Tit9W9evW2Bt]*+BL{gL;by5EǶiM~0s)qq餐=X]z0gy5CG[۝NAUlQgp15 I41dN~=K$6f%qi|yNv.j*8]פu_[̟V0IQۿ@=_0JmqZL2n~ͨ g"^0['~H`;[^rLRNmODT$)&'{hp(HVY&ݪS,ph%-zv[U62 9oFXL)`fz̔VSJ<O`:0H6jC=92~L3a=*@եy>S-x_I8S r|%POU~r'Yita74VN)?zY@^pUP7,<2jZq!yTR ӂm˜f "c\[֤M JD'f)2%h[B)XVyd@76r~ڿ:+=1s9W` +8I6V_s#)-8ܯ6E%mxV6s?S#?Jaf]0ane7eh G 䨯Zʿr]7y8]>C G#کQd=#"K~zKr7v=q*J3qV!|ѽRNpjt d%Y/ȗS |R7>HMm%da\%Aշu$[?iqF v+br-u85į UWSh^3kM̻5UFӌ*OׁXQjϿ tYwPuX PIVH3APG yVB718:\3Z3#E- l礇 -(y+  ZJ<E_GzxR-_eTCUr*|gs%7ٴӖPiىQeTD㻷 4|YEBwXGO Hu9a>eY6f1Iv\8ݓ&֋$#pnFΧ"b7h ' ["S"5-Sp)`BߦRH8bM:Iɉ! z<"}: i٘x4wK8s~驮=1Oh)N#^gIqKdTWRi BǺTZJR7B%Nd^Hif=<RYGx>)Q 7 o{Oa ~V.Ϋ-*XoXIyܺE(@7?2l%} TE9/x>C'I=19t?LֺN5Ӷh9VlQ59Nb!f_5w <^f>ӘIG6]l&BGor{[X8+0Ӎg +&v1&=6S|0knPԥl݂P8 `sL6?u)vu7wԟFleVХvUU ,\V]ɓ]6;ޖ+-5,b6pH- [}f{qch&P3c%8/cte4t鍘DJyC_yG#fxiťfBXpPg1n*[礩lDMXcy,r+L?il.Esװt`ƑՒh͔N;el !&a*,vSAV'8a)A ٌruYucy2ZF7vԁpҙEaq! ?b^@M GicqÃ7٫zTf.eWB{y wO׿L&Y(xUxt95%.o<ż;2~)),7G e7Ux d{鄤,:\z$|]R33t׈nGXC V>`v>4M˩HQb֪; )&)iL<5i@UfH!S_$Ͼ2r;UV`rLfhh@'28Tq~H el!H)#J *gE#RS Dž%[\!0aà Oʌ(le9vF_ƹ>hfV^ćr3)Dsjh"11=)p4C9V p3ʓ)7Tr#WAG&EOG5RiFowRX D5EtjU8M5_t_fOK4.B ikC">d >u<"}B雊a)X5rp\K`Kc]C>僢!/Bqo-˲ȥc”_>x ;y on1v. m)5IV6Ve&Pȟ>XYi)Jged<̧#F ;/($00+Xұ~s{H9Xu)T3&_hB>bLt4fb?Q ]?Hܑ.$Ca ZtAQ: $n5&kbj"/DI,TH4W✘ǖGzڷl~o˥ iw\ \V:mXƁ)xos87pdj <%֟(y2r͘Ir 1h5J?g~McL==CĔ_~߽z`t~P:Xvz!GIV$ yqOr H!1-s(mFPQuXe<cQC,n(9!tIQK^2/UG䵅/ b; ²p*F湶Y{/0 | Jd}L3c;J%{QVB|r]k[lǵr+N5)'iZD'29cs'8[ b { v6c\ uIDw㧛=s>;c-Ž{҆V'CMN]`ދJxlC=0(?պ*](&q'㿅J-_ 5yALxkmbJ.BTxR;>πM:v3gLdo~Kp~2߼9'P/]#q _ă^bp P_hs B.7B|+i3槥>6w菜{Дgmļ$:XѲ~p}2|'ƒ WcFL(d7'9͙x9?@:eaF) hOId)%׮FW =@*PP*&8WΦЕ~AVܝ~:ɂ U)1dY`mgbh8]ˋUh4ڈpyP+M ui` ܘ'3Jd[C C X>:~͕+mL~Dգ^&o{<9eOheSOī? δ7m2U@`ZK.85KϘJRVZD jH{S1\羰~wkV*wzp@4ݑ2/qO -!o4143a,'1(s!s/pvPr]lG,TO!X4v/hؓa"(Uӡ,}arsK@2yMO7J@pL&y00c@rQ kh{jD&9a{_ҭDse/]8ƬO)-|9W ^A=z1ȩȽ{}GAѰ `ޘ#lH? [Gk_-(Vs4P-h68"$JXu=!U M7\k\*鬰X0e{ ^C(j>nP3TB_Ee䞒Rw;MEvh R% {5ҡ74kRvT;t4! #|" c3'%(Y9ZP,*%~@yj䨳o<=J)2 Ly5AKhS/j&lX  Em *HVRXC e4veW؞p L(4<΢gO\c*&OL|E򩣯W8ِelp5#&R׏T$FKw(8LǛi+X5&uUhGW^U4F%^`]Q<Poy~ߦTY(w lZw~Ε&,MI}H01rق[ To}j *?0d:=4@_ *$$yyn;nGǨ0]><;dVs$mzZ i7Ԡ()&Lǚ&¯' @U Sζ3&{D~LVC14rx'3o QƯQ =dewc$[깚t"/t|5KtҰz"qt>ENGY9kTWҐ3I{F ˉ:J_ fe$\u>_K']6xi !kw  RQs/x^avg\C /E\|%X}ԣ\L`} Pta1eo4\ _ z[π0@KIW`hoy%DaFONBLԨQBkvgYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 1d358c05c770029d5ef42fa607b9b903240fe539 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 50b6c2ee01a7340e6703cdac667b291dafbb903d 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 8423f71a626c72553c9a74d758e57793b96776dd 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d b6158350ed0881811cfd48a176b9d6b3fce7a387 bbe92b6f64abf66bf6cbdc4713ca5854710a39fa cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df133b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 421e6a40d89ce75749fb05e58340105309d27eba 5cdd9121237561597bacac2678b24a1da0cea399 433400c0185788afe58bed5b9ec07f3fcd85131606c42b494c5845e84a675ff0077539aa83d76ce6