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 \+ ,l !%]Simple_Firewall:threads=2elapsed=37.827cpu=73.800gc=4.048factor=1.957zXZִF! ~ ]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0!8*; !urPh!u{yV.0#2)yٌ EV$^i2N.t']@Zu&Yq>0Zra{|Q^-UF8˂b )thZjK\WB (M7v $5vD# NbtdlPY4sU97h̵tM\TG $ -W*!/Hkv>TS4R6"NIrysWmg'}-dFD%X<7X8 i%[ BH|]G&>eggj5D`[U |V9~۶-"/}WU]\Sz7ӎ-$ $H (؉S }0݊e(<ϱޚ8:e.̸IF+C| + Simple_Firewallhs޳$=Yn)ܸ2(ob_QYghp }OSA=ȱqyϧ+gʜՎL\@ORGځLf/R*ANW 94 fw<m];|} 9Ng\RJX@({:kؑ?>+CwpH2Cb!֐fR>uO2x142} d=6y-"`84$}UKzv(ӭ0K&Qc)77p ډ`ZJ^e}r4;/}l ?~ӁFQ 9p,y?!2=,aVbXf&'Nv/J+uA˰߶{h~־wiFe\[WIR#8ખ ޖi=Q:3WUY =(fGswKeܔ8F~NI or鐽%2x,.co10d\ɨv*R:щZyDf\ϣtjj>[@ [t. 7o\E\؞nN(yj&KA) ʒæSv(ܠf,f57A7_w]Q ^w aLuQԆmb D"Q6\>&RLˇs'j!j(WXO=-}nvҞpw)i!r-}w4f֏Ev{?zY6(tkfX6*j[/*nS_69ES5Q l4U3p]EINf 'EN{p3 4w=Ed^fzGk o]k9CW>6bK:߽Ek6U^b8v`z<*BuϢՒEФZ(E3853yX \bZze"2Hދ>d~`4[eWa+d8ntt!<݇pga}aZ\$A$ALl {]H8.N׋Դ@ρfZUd`cRs%? ێI݌#2 YLC-Oϴt,ʖQpwb=MpQb! *K\,+\-SZ()A t*XH9j:bqH5>usRI5k@'uYYT.+Կ<*_5 y$"h42&̧DZ)510{Jdx]"k^P^X5n K8Dv{֖n{JC-\ ARJ@.G2]64 ju`vG],sѹD]wDK%U"ٞ5oBڶp6)C >BmI. 7" u6wD鑟>-H23a7qMy$>6IikzxlPdo:y_ը`}_3=#3׬{A{es!~w# ԧUY q;bzrTB nS=<( vt[quę? ؓ_ap m%&FǼyͱG=>N:aD,QKx.^) 9bdJ֟nQ_ƙ!AUzdTM|4ltFditPO±3Yr`tNdD1 y@dw2 LVk*Y#ǀo P«Ь|lNPE#>L6C]_d˳5xF䞶 ꖶTTyp WfuŒ/m|Cj6Gš3?0-3\IBjeJ^q`o>erD٘W6$%7f#dV8ƪk~Sg$R5uA.-q>8 hT~#- Ule*!}jTpGq\G oQ&@7=BODGNf_w<~HDwe0H͚|Тr D1rۃۢc5l2["1blt2&eI{4lLTxw&3.ٴ'k1PVu5Zi @5'11\t,H֜#_ȚܐޣZsմK_P KB"EfgniM@NkPLSWb\=º%LhNyf|lSK`$kg]IJwM Yikaد7+lO!&$62TIN T"Hոe^Z{!v{RXv`)ɗ¼6(5֟y)^R3-֔tP_DM@jJ|Jqyq[ $:7XYC)}-ӫXѺ}@RXLOfdw.ۭE_i+0XuN 3gKÍ6yW-!Bֺ\-N1QTmcIQNt3zjU"ЌFظ h`9-UYD 864?R-T: 8ȸͪp?ѥT|t8=G1&җgv7/y|e'^^ w傄D\.KQ!*s\gbKSΌx+ D*`?3)eɷkLnp =ogYZ7zXZִF! ༗ n]ŗXi%:o 7QXXK{4TP@a ir5(jw!WFJC9؞婐$%n8iQUpRe#0ᘀmv!aԏH\s'-2 |ɹ鐉 3Sc#h ,wͣoMT F[= Nk o|.-f "\ 9Um4g%d=H2vEЖV.Rg(H.,b&N i2 SzWtл$njb=QhSSk>;[_꬟ɖNF"4#5; YE6Rf'mɠ[9AHn W ya>QRXY[|Y"{4zLrp8U}qHhCKY"K2f<7[$D)K&ž_5H2J&~k!;i p 8‰!'-6{׮}xbf."kFIi/oYvGmdVQM_EUi}euEТ@a{ۺYS8R AWϰ Ep e6Po,2b{C=85qym9(=QhH_쮭&]0KV r jaF)6GWu̪"_чbw~JB!T*sdpp#,|Z8mX΢8+rtV#XHVlߙˇv9yB14)VͯRd/|i2/LFhﱼ&YoɎ gq Wu10h ߔ8ʞR}ٽ+84q`>{} osbP^ zێ`Xea =M .,U|RZ{i( 7H4@(lzD;3tjM-ܕ!=ײ4 ؃5]wcc0yU/Y׆ʀ -Mi#"S45&&z:OoW5v# $}jX2_\0e\uqٛ6|$}ȫt96Ϫ.:Tjȫ\uљm+uD Z1MJF*.?yǓ˙ěx>&gLJWebZ1{;nQna4p~u\+N=qsMYw{nn'2^I?עOLoZs5k&jD;pB{!{K;>CXA5Tİ*tZT=(opW#@*c/7R(C6heaZ-B㬠 "UIsm5Ә=D 6p)'_ FU![X/YE2~٫g3.םwЏעMx|q)6M "?wcDIZa)pQ03-kZdg Y֎K!̱3["Y9{XJ-G%[+;Ɯ Uп63Z}Q3qͭn壉C7f4tLA{3kh'g  pzaSoN !A?Z-U]P2)$Uzx"SW,^CmTͬ + XX´ٖ "^DuI(LC?{Cr2~bbCNjcS9o nK"EBf-LlfҡN̤%<6(φ-1 UHc 矀}q n*̋<&w`1V2G0Q[<M^N_V++]lgb!g ^滫"Qm}.(.+<̒M' *;C(bmk=핮#cn`0v;QxEyਜr!Go׷x '/&髱gYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 1d358c05c770029d5ef42fa607b9b903240fe539 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 8423f71a626c72553c9a74d758e57793b96776dd 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d b6158350ed0881811cfd48a176b9d6b3fce7a387 bbe92b6f64abf66bf6cbdc4713ca5854710a39fa cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d0baa454860072d7259a9572ce3247b610854656 d2148a089fd494348229bd08d9ed72e7b2b1df13878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 8e8c3514e2bac7ec00f1b025bc573ee5fa1233c9 72449b52f0a555685fb6864a0af42874a60778ac 1cdf2293b6f099ff07dd8a38621926acc7c61137b4744ddec426a8c4f6d0e9c57df16b856feebc45