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  8+ 4,< ]%]Simple_Firewall:threads=2elapsed=38.261cpu=71.340gc=3.568factor=1.867zXZִF! ;<]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gw'?!i7[&fpߣ"{R7mY \:ĤU>m k!4i)Ibچ`iLq^6НDվ Qۣ-HW;Zb[O2U9JZMu Ut'&ǭG93ܸhQ551Ch` K-"@:1DI0vlTyA֗F'.X2<yS!mvu[3!DJK'\7c;/pCUi?1 Yo8h=7aph;q4b/flR|"IrXp%xN34@u)HNjPATiH _/|a~Ɂ= c䒉UKܳx(kHʬu1>ɪqaKRÂG\_0.!U=ZʕOGk͗FOQGҺk×RZ:uˀ+Lv(t;絩NE s.oS.AcU-}B OQsiHQGk݁<=Lׯ;- + Simple_Firewallti <92&+#]ͤG;ELь%p{O t9>U}|gnCq! }>9۰Am{  tbŠH8'9G[136ۨ΂ES& {`\s2F+;̋E4$V>nDfDЗt4>N~D~[H)6"eVw43h2an=Ci㓨<|XqY "js?M]RjgU#pT\hNFLbU9sW 37{޻mgR̸vV=D`{%PL+7aCfg=*A*Y<^@RI]o70;"=–{>L> 7M$eN B./#486meT*^c_]n揳&Zt{?y=mx|y37oeQry.rTP/0XDkzp7i6Qmizs9@G/HA2E .ITqMVdzǭ`_,o*urș5W7%B<$N@N都ʖMW:|BrHZJ DxU7,n_`W{ΖEmrޯ^2)"TǴꐗgw:[qe<:o vRīgYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2"NQφ!-Td"r!D7.,*Xۉcʃ}.ߝ{_2}#eޔ?Fn~A Zթ;T7w AjGIAGj_ʊC>I_EK+9'`jqP:}tV'il=mGC:Q_Xy-;$дZ >@+o}઱T2``wFӠwJ RNrt*z7~l+GJq":6v<AX" p064U/~sJF|e 2?J-N >| @]R@#5Y¹<4{>=os&`5wU;c$(a)!ɷq5G?\ $gYZ7zXZִF! ȱ ]ŗXi%ύvnf%t#[U'| Ie6Zb C3(%Nu籌$4҉I`KneYȫWZ0+e>[߹9du! Td`Jgދ@ֶB)Dyʸ$Q3W4' x,Œm)]:`?ŭdA)tFmۆ4/F;0./WVlqbHjjB[Xxs 8u'0eꎹ5dQ6Z:v:X?7V#`Z~@6Z´PGgOr@FxЃCDn6P~rYaU8onRhI]nAhb"iAsC_YU0q'<L#hV֚&=d*%jSEgBX-/~0/I&BƲ7vQu'`c1 %zә6_˄ yB#MAoĦ}q..KʝSqƈ&,@/nYf6'C~n1$&#O&qA*nyFq"Xvq??#1k.=/(0**&1ce׌ûP"9c|S9oauV%yBv\[27dMz^}[yss5u-F?ŋ H„tC/sH>|9I=I伣9sf~llUgo@pEl|[~ủ .LsBp)TtL[f^bT2 h78?4)҃Vh$Ind{ mO|!)jIש 9))+;áۙѨM3|ۆ8u7(ʹKcO8(QpC9%:ޢ_L =?LA`p,&&. rLgwgVsq {w{|(y?2tv&e.vR<[<<'K.lW2^sF^]fwsNɜs[9;{*PvT-U%o&N.X JkN& :/;j^`wL #j#C[[Bp k/sojR2[9xw}Y]ؔ >*밢h"8W%v(]0y2:Aym2kEc>n`pO$|mPs/24B0./U!`I{>6lt`C:o6ō2J! g!Mʾ]uYȯ:ȟyrx]vwNyw(*jXNf'@2 D*T~ƕ s*7~9LuX%Pʼ(-!OKS$ )/^%Eyn W#{Z$O܀k4[ /@~J񓅊la 6v@ 1lV!v<jc?#43h+ՙB ~G ߔ?+9\]AD!`py?H7ٰ*ɭF0 [& w--P+;BݭΈ-G]g+X+Id-ԦĝyptޑNt-qwE&OC)&N'JQ]%*|W37 4Gf3n$Klp&k-yr4uEr^,D6IO2*Exe1݃#1A[Ұ=l HtQ_tS0g(0[tTa040Z j&`4!RN̜VM6xNmR'A}KfmyyGKl.0L1BVw Mw;zP:›H#.pmꝢA҅SN|Ppam<о8BM͍Z׫&T?ѷ@jh`4<ܩI^o>c٣^ݮ4  XNhҰ}-SmXȊ0.p\fS9zizjU]KMiĻB9C쾴Ty99@,w95PgB-wpIL5dkj/ĩ8Ѹl3Ӫ