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  } }x+ LL ]%]Simple_Firewall:threads=8elapsed=15.893cpu=64.542gc=3.414factor=4.067zXZִF! 69]ŗXf1-/6vR[]~~;S0ɞt {N$z`9GjJT2=:_`F g v)YyZ#r욇-s 3 pYLkGLT>w_A܉b~Kw7u<Zs%biz xgm)@ mZX-/3.m(dDR6l@5+~OmE 5%XzsiIE=# )c;cTNl\ջȗe= L7;HvNMKr;(g_6K稿G nod僺yM4[_)_?Zpa7\~#l%&oSeز;4玻kQ5E `%g eqQK?ps*0]=tB6Jr߇ d́a1j +{adxՉ]O?R$o$QDAـY G#ݠ$=K mұgYZ7zXZִF! ]ŗXiɟoFwՋz86K( C&Eح-+0C6b8z0[U|,Ru@#;PDJ[4Zpl xCPg;J(VaĨҒɳ ~"ǵ;3hj^o(&DHV ]y[ nKQd-vMߨ*qJ|&V"w\5Rhqh[Nʼn ()WU:5++*J}Ζl0fIftxbG2p?k=?>B,#Q`\pCğ٧eNj,ƺO%HN$$'E(嗧TمɕuƤ r  gu|Ceo<I9eXk8}NrѸs^2 (DgYZ7zXZִF! wD ]ŗXi%Ed~zbx$߁ۙ2m̏Z@pؠ43l$M iuoc})ܻ ;Ũ.ę|)} @vT3h#HqOꕴE]:q:/L͔  XǧT>㥦/wQD-)}@z˺BTKBZ,euB[~ $Ʀ03ÐA3UzAuYƝG(g?Q@SD7 1 YC hG5e8mV(1\؟*Y(H-^d-Xk! O(L<[{Ŗ9)Ӑh~w5A i ks>:{rg3#`cy-4Prb[׵n lYX_Ldۥq<+LIF (,S:GzN;RYŹ[Q;zE8E/ f1-b|Zﱾ_<+'>bfB7m| %@7I(}?~-B.}[[Dc!UXhA q(z#=Om!|JW4mF1>y0Zk).]I@#Yjd "+iyĿ V/oeܦfJꇀ=a<.:,ݛxy 2|ț(~CJ3 '=;-{} xhi g ]M+V!b\Z֕[1LԻnwP`?{dk1 !/7SW8z9u f:ni!#.ws2z3cO7F}&U7*uX';J([1F#xk;PYekȪx.u #bOn&UVˢN"ډ޾]lqnjUz{M5ͭfiJ}Ae?tVDkΩqM'D])$be#w;‚Ed5S|3`ZLLg {kJƳ88}d5?rHhj„Svt_e:o VqeO .SA%O6JiQ j=韫i -?Zy'%v.(.qa\W*KNAd;'󅭼"7{ [`b]F6za?A+x݁}ҳa7 eT F?=Ӏה,LL$mM"R_c:.~w#pN i e糵Z8:r\Po/*`3#J=;B=2N2sRF-DTP{k9?Knfʔ#Dx{XOXKkMŀY8b`ՑRV|k 8Eϐ׈2ަͯMLc^*W8׻v?6c;Xg>lhEQ,X$U&uY=L/:[j"mϖ?oQT@R>0hio 7※pfC^W.\XPUε|n}e8爗u$pK+Bd[١w^IF+ZaLjpt7▏ XW}v-7gwm~կ/.þi!`r0?2ҭ q7IԁjilpbYǯZO[iu#ȦQ*Bl)-6Q;{Է{'pujjl3oh&H cyZ&Ԧ4G˶m›@-I tc@p4׻Lʣ p$fR|/_c^l| œ"d,l;YϏ}y}EqT<ե)m=#^ΡT #u'Ȝl$@Czو{k%O!2EЧ2/fBmJgNhM gj)S} ꍦK%L9 (y{IZ6Š`m)I30fnoY̆V!RgYZ96e2630ef80f61cbb61c4c12050698583f7b8fecd2ef5c31b6b3dc4759222e80e0e7908f5583284d 0f37cc81934b398fa192c563f955fea88fb533f5 9bb40e9e64d29336494204c973699c384ecb3d8d aa38f92879f2d1d60be2d25e2aa34c1474005016 91989eb276f6057992038fafb957e0196f6f21cfee4ac2dea1703cc399cca50ef8ebf08c4f997974