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 t+ $T ]%]Simple_Firewall:threads=2elapsed=34.662cpu=64.984gc=3.368factor=1.877zXZִF! 1]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gNr$ / "@6 ~S֩:4$UXG9U< ET~Aq?(D%Y4>+TXz;+*H0Nh >a۟h=Ex_q+w, XU%MJ\%v/`?*FۯLxlzn&nSvuHGP` dm2GF5Un8jg| (DƢcd6"&:.AaW + Simple_Firewalljubmnwpg*'lK gqf G_f/aQLf?[Q. \#̉xe+bA|xZ&H G~ SQ$za 7xU12`ˌ=ȋC:*JWh;'oe/>uu t@#erwa+/iA'ŇD_llv,уMRSv _tVj"9~^c<һkvtDqoLKSp6:R$ߛ#BB \Ƙa&A ws-xʸ ?%7'IGDDi~ZݔgkםGrّQԥ o)BHI'_-}@rA60AVݸӖ)OA-r>Z៎ c@4gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2sEc mƁ72)M2(~0׈GrI0}}#6W܉Baɶ-/swuG%(.y$Q Ɗ0$quL? t;Bf'Ma lrbKz*'HDlg}EQV@o*֝)U\I,̟WT̎ 9 w~ DvM0Ed fINnalzZ@KW&έoC'TtA/ ne:jѥK{pAR 5*H%,?|%'bg"Wٮnc| tO54آXi;dd غзG=4 TY>4_yb}Xj /^gYZ7zXZִF! ]ŗXi%92..wK]p/g4] %8i*mZ:`,]:?' #L {#(Ppכȴ>r{TvVchր*ҏQ25MB8jʬSS64:S vk~ L0>Λ0jN? Qᰀ˱b;r7yABM![CѾ0N`~#?OdbYȻ cK>Ҭ՗]g aYUrXcMKmHoCh_9 /eFK0G 06fl׶co۷AԀDo'tQTVS…5~S6&c&8Um4QE^C0: kóИ^WT\|,0"y{D"vWX5x}1ofdFw5a+ lt])Ej3<@#Cuv_U1vwDk!9jpopH+!81 [=ލ@) x3=7M{RJ|uܐ7'Ĵb0&|qM~9 M,luAYn;f{D q'*=~&Ls\_Gzfd^׵Ƽ[&mմE'*S+7LWط(,n`5n'$X( /C@R_*&s횓(*#*Jvc0D cwN>)+4 ,y8É]qČXC]-x\&X,ʯ;dP |N'J B}6wr"Md"$xC<ΠH0k9dksQ[צy~%}vP?'S{9`׌1۶\RA:O2^s\NJ)t6 k|C86/ص%,\6kfxPTu拏D0dO-K n%vs?6ou%rt g o2 7iعݧJ< pD@5ѨDrcAt#!aUͨ;1xEW<.ws`07ETA  noa0*,L9ku*gO)3Oޤ 「 502:^ݔ%CFmO L mD;1&K49;S/%RrMg,V8b^42.rsk5- m:}ꣅA˽7Dyt L>4 9 bIKS޼n`}̾?Hw*7٠w(K`EOxN@t=>1\7]C}hB6z7rY^%5DoV Vv%8!~[.y!.-lhVc N*9GWXclk49Q+gW.+hg:ou_ftVqԽ )ЇƳ[R+Wd"KmWĜImQն %\( }A ]g~0KRسKH@DZN)#3i}lJb}DC 3(OwA͔hvQ_@i[_B@K!ؘ$͚9б'>}M35'R1v8ȕQH46Pf~?{.~P"% ?D='}Q#dt3e^~H/ ;һ'tkZ#{[&CBID5.VD:(\Mt|{ qGv/6L2 K5yqmZ600+4^;«,|hշk}l!( Q.usoA~Wn40r!ױ7nйԒ'bM'Y7b_ 1h\\=X _lƳ*-߭PŹ?tfZ tA {Ig7 {_!QO]W}:l&׉mPFֲб"s4A.Hb+8/r`\R\Oٰqf. ق';#\VĴ+)3Z|:/]GеgYZe0aaae37c5be234cbc28641912321a2f79a1e587fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 0e18a6ef76a408091ee78011e8ee216579a93cbf f49173ad8e591cb2be56f6a06e2e9d12a241319b 8974d14a8afc9ddbb7c91b2d7bc80965ff20dbb0cca499baed9f7582c749a3b76391ac27c897ddb6