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  (+ $D ]%]Simple_Firewall:threads=2elapsed=37.458cpu=68.552gc=3.404factor=1.837zXZִF! 9f]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6g 7 eCB-[7$ԡ}-/S&L}P"#wp(YmLI%jfZz?Cp5ԓ_m_w>t=eWPɑ 5إ&^::Z+#3 *κ .N2*& }H(fd/qi۳G3 K,nkF,iJ${B>@4}d_iu$8<ό+^lpd0E\m5@G >M?N(DD#&.s I'ٽ,״X-WOWy|0+I{9[GB]T~jy|C7-C*bB?j2w$9Q}LT)XDl&f]KL@zYq~_AZ:+Lb + Simple_Firewallx`3U/Iĭ ݉dLD$xM { eߵ#5 ϋYO nN ":b>C8vOKl+LB4ᴡKCEk&YXص:̌qv{>sмH g6 ,uWP<PC6,ۺwfUsAk}G|7-|ufNWxϲ> Y{F&YԘ7,`>.Xw~/'9Nv:0+`9Qdwb*"%9d0?Hz6|aU70'6Yъ\Q *SԹ'XfӢ)m D )(74eݡGM }HXgz[EX S5τ莤_ Bq$z950K^P"ͮ_ & qVL 'sɏK*6<g-kn*s"1-jE~Z:#e8IUD%뻭q<#&Pm*`V:)LXm?v>r`Tlo3E=l!y|m Oy2KvqfR栍Rzqg%7 NJoz0a쒱s5tHAQPצkB5^bVpS˒ r]gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2xAOze!"+Â"jeG$U ,+ 3H-mߝ{8zRSA`Y@ozGҼFeG љ&SXGL WkYxWyٚy]_+6pдzOp":\e *E< _uWmS0QJ/lli\6v#R^UgXm‚N f&{9kJ[m3.X)q%'w+.7 JFxYJBrVv}6HF+W7#5Ho~16}6JϡJ=&%CCvړ1w|Zյc w)[&#T&k_iU̜QSN,u778m HOؼmXmfO_vy"Eʿ_-r-KLo/,i 3kg|,&.,I w-6i~0>m<_R_fq#KfAs3w!?< ^ȴquRFž3AW0eȥ64Sz׃XpFd0UگsƍpRa(JEȨ#b#ߋ ՇmL7ٯo7OGOYo-Hjvcq՚ M&A۔ʬ|0(WЫbɟY]vSm!ԿoA3ģSSPԳ'9Z12}s,rʮ{:BdT{HM%K`Kjpv>8+u  2{)PYm|a"Y4? vJ9  V@B?uK5bda Zc?K,`IIQwм_xX4u% 5R aC i20Sцn''T}7)X^)H_ .aBBh=EĢ0 Qs7_n2ŋ,WUU|bG ̵E:FL(`!3F|Z'mgr[G+x^P8Kql dž/c=t7廐 hZX/22 _,lc >D 5sT#yPTDFKfZwK- ;$!leԃR<6襁VxWE =G< h1!tu×4\I!U['ZػFlڨð.8E'Q`.*ŏvHڙӣ D3\΍>Aj {JdvJ?Bfym%r,>d@Aƭ/\kDׂvzv|ι܊5&Fsh+Ȕhe;X !e@Bڧ/*DwAnB z||?pE%_:X؊g&5=mdTF߯YzvW7۰K43X (׽^M߮,\M3>z -lV]vml'}M'4eێ*%l\h'RjUڕiecS_=IV>H]mngDŃ34;gTU;d+j6ZF,\`QƆ9\G#*e"4JH]Y$rꃨNhvo<㾾F.ڗLCUkcO(A~* B, eqaS18;iҖeNƿJPگ4 ڼVcXӞr1@whe/I45WD>5FqJ({:*P\ys0[Gg=Fp\aH C;Ń(k