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 b+ ,< ]%]Simple_Firewall:threads=2elapsed=36.786cpu=69.052gc=3.344factor=1.887zXZִF! 4:]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gNr$ / "@6 ~S֩:4$UXG9jEW+#aOݓ qυl9's=`L A2=XUxѿ5p˜Rq@T:b,z3kJ֒r?unJ9q6baH׼?KL\g4QwilhTs@a|0=LW{ԅ1<@ެgfGNRʙPV۾X/~ß +wUj;܏" + Simple_Firewall+4=jWe@\|ޜUvqvnpAYCw(ڵB5g :TvE$)edC55=YܝH*GK ?*;˖ ñv\q>lPmL``Pf ) )btY[Oـ-*:+.GgD@z7C5]jYR rCosHF]c1a XKPڬh8Hdsѷ;{0@917vL|ڂX_wmXUnmZteAE/ zҁk?|Fy|)mAp+4MJ#RtLf1S}Y8"`Y3ko@}T|T3 -Y6j1:HwMS'Jw:icFybr>07RHcܸm)-Enk{d+>ww V1"Ct^ l쒩Խ_܀Mޑp G$/hґɤe ]v2MNHEҌmU2 M@THcKsVq`L$g~~S7 ~*Hso*z۬8{0qQ4frz,\G dRPk_n, + 5 ba!*609YiSD;>Z\ORri4lM䶔A6'  B:)/N&:fS۸df1nb:Cȸ׬nP5IoFÓNG35[B;0CO=֠ɈH}\GhMW =I|Y_JϦEUx hսgYZ7zXZִF! ༶ W]ŗXi%6?11GӺ`&H&Zi[B&ojA9 S1Q+~YO|&JC `YP4[sHp; 6 1T;"5UmKשi*XWn}PD)icYA0Q^LF) !@Q1M{)zf_ĉ-*%<[c1!KbK"܈C =Uʙ+i9$d@.8f{ҧ)0:T6[|}J}mb8n&~?2_&xhg4&~MX~k竅t.{CQAh;-Ӟ>#T2YwLuUo ܩo]K^EƐN 'To< $тTWF.&c]CR{`t\Qe~ fǹ+x!'*QYp$MZp_i+$"kQVjLwFG=d){:Py xҾYʹÍ-Dπ)NcsU3͆7>5mɫPq^OV,;>SUq~K*q @"rרh1`1#[q~AG 2hy%"'gaA *"#+S‘ LdzHc] ϸ08!q(A`H`YtY+&oIҴ<YZq=l6ip>xljOGlBuuzņm3pJ\3Y}aOZ(1/cCp.8Ff!oޑbCp|[{^QV)#h~rcf?w8[3avKW'w;qTbp_KH,02lXy6oQK8} jƲl5Wª%x!uykPm\uqvū_\Yx}!Z"l$Gt[5>oo W4FJU٥ "h Z-/1'Ü "xG ^cri^y; EBh@/NdI _#2YYnK`QP4ړq$ s%Bݫow&&7$z`/߮ᗬ0_לU;ͿlR>߭jl(DÍ.F`^ԅT6[rx{ Be:#2")m6ߖҖ16a*%Y p qS5PEpPiy/trVyV$ARm8~@|` [_BQX&}l8y︃w.1V)2Z4 xLԭ v< ݓzVnR gB ehW5Pa-ӽy 2`/ZҀJfVaINuN6*O" A|ZfA{{WT`] !=Pgdujt#[|taوE6.WIs[PYh ZPIa GdhB& cm55^-8UHP$}N6Zv!)RT|0߸ >~:^lz| cYeHdvA`D'_P^0V,αpNblOr.-B;Ʃ\ %\Ns;`!  c&OE)Y b<@`o{j)>ͤ@!Uv'BgYZ622147579f4fb6f06b6ad0c64a2e2886427cf5e8e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e a642933183b53fca718dc59a0bff9e3d87623969 7d5b367e0c308fa61f1fd0db5239f07026b1d92c 5d77e98f2dfd84b3c99b0a2b7523e11cdf0ebe393820cc96d35af0ea2f14a66f01da8fe203196783