SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  + d44 ]%]Simple_Firewall:threads=4elapsed=26.350cpu=85.368gc=3.112factor=3.247zXZִF! ?)]ŗXf[&Q̪"AxO!\>T +sM3٣1&] :&!c lqqؗdkn|#ߩ?n.YVǤijxܲ\KD Kɓ[q/%EG㺊@ԫQ-Ξ~,"剄 4 THY{7r-),rZYD-,AGъX"6WZ W9Pօk]ѳR#m/Hu7h-sؾCGӊ#ʢ4q g|;oO>D؟w*-x rt7%4B# ݒUѳ5.RPVV?~=X!K¹%Q&RvV<Cm%@wTS}:E S+z %N駵q([K·ヘw662zn|1 r)}7=guDּxDZ>7d2(4RLfA.V~L*OrH$C`,lNe3G^A/;L&V3$ ?̴~YE a:yƟ{z< d&XٲB.47S#Dx,idu74S:h>ME,O6[O=R׶z(PF`6U1y\]Nm^Eo| W; %2xAɕRPhA?"“=N~Yr箃B $*~+so⁸r}zrUnTӰ~ATc˹ ӠHo0OκuoOg-  #qP"?䟢Ha?67渭!-BEE֖@-3_ūϸ+xΓ36/C{r}1qc-BxF6ـ󓜗p!ΔONlͱ7˼MyT8Qq@hwT&md@w^Z + Simple_Firewall  xL,!KcY@'"(Qf4Fy*~4+ӥ*G䫲O%ېƆǾ `>{47u_5jBTI}'e@qU,nl/H5e4;6.[{Y~I{0?m<>/)NoC SH)y׍OfXh G}=K xaŋP&jWBY.jB:F,`b'˧&2Z/_uzY@e2{ވaɦ3+m8 0'wj7+3a6h9 _ڑ ݵ~MPWih<ŎEo+hQ9UߙNP)okk+eIAm^Χ7$ EYAjV:G E*gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2x"J̭SK˜/L]zʩqV9VHrjZfSzQ)i;DK 1qiVmi[j(t&tPDrO1)1 J;fʱ ֧z :Zg}eYPCҟNH*ć JG[\)4AMyE իK+T-kP^Sֿ?Q!RAE\8"tGԑ?ɽ++C nh{u tg2-nQ&!E,B>?~Uzz<{RSg ߺԍ{5E5%jhs!F e_NȐ7lc9 rV7qf=[-<RII8 ȅ[&{!|H-"O.OQ^[w6X;@L+2e Ӛ]xUaԌ8"T"_POa;%G/24D(w#=F(~!%ndKR!`p;J[K {mO18Lf#ѢO"H5,-1^uV .!k(y_` h֓lCϘFl03h[şEJ})~*8ߒ"Rԍ%k u.R;/HWODeP{`ѝΥ_(洀wrz;[&wծR=YFwuPqY[؄=KamrB-T%g3k2نN/C73ak #\h(n#g$zz?a6?0G Ej't1UI[.';',% @2XoHਕ@[abPF=5*4>Y9!FtLMoS|LjHE8DZM ф7P"px%qȫ8G4Ήi1ٌV145B>y+LN/>WO%g6HۖÇx:ܻK]g 5*%# MR[=Ga;lԟ73snev13[aI`W*嬊Ú;_oOW}%~ʕAWbb)dSA##/IIJB$=Qꭺ M:"s$ݪ!J$n( 9 &3 *[%aŴFVb4ka,rT-?&LH.D><&&6{Z+F,h:U˚gp$蕖'lF[Irs{vQ0 求Yή@#5([u ;U&W m}qN.b'vmHṦdtZ = g*wR2bE!7 ,*8p@y!*k n0j*/ز(,;K?/- 5\q,6+ܻ Ό8'`*!v3b8~79X*ABzp$~L+qNagc۸xXu&! ?WQ 2QGJqK\.N}ߦ/LEIB,Ǝ%SB8HJ `\^,Mq<-r^a/zôR;P@D},R#裔}4f﷎^AƖT ́W@f>5[G]fF8#E$mǪzn$ܕ+ ThiMmMr(twQ>H+ ͟#$2ĝleu-m0Z~pm0UFJۡ<]HJcnӪ,otAԑٽΨ2USR_h?:HW,-\ќt젎?q>1/s`>,boal/еl6d;G[_ ]>5k̮<%)uGLŕ?$z/X g ݼ/CiUWBg'tB̔},GJ {xQ/66.kF7B'6S':]WR??b}t@J"u%J{I\]EJzzbSH5o$`Ema-~NS" Kl~o-ζs/yjuY|)Fz. [,1lƸRC`IJj>Ksj?+v3jͯc{/vlmook"!uF7 aWwGPgYZ2642ddaaf38509a27c6c64478658432e04d7704376b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 43d5ec70b1b9aae7804bf8eddfeef170699f61cc 80cd7459739ecce4a8cba6d479018bc1e0ceda07 659f0563f1c7a99c20fac0f1783bf32047126fb6c14ed76baf4d9a2a86a00693324ce95134bc7271