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  Q Q$+ L ]%]Simple_Firewall:threads=4elapsed=24.559cpu=83.272gc=3.356factor=3.397zXZִF! =I]ŗXf[&Q̪"AxO!\>T +sM3٣1&] :&!c  4߂te: w|*|Y@a d4\.[1WLnZo& mCUNt,`ۙRuvB~jSzݕyTKѻ2-x`i ~IE+%RȎPl8+wꚅ~9lPmgu(X'jFS }ŰƷCYOx= d 5؅p5I/? zʫS|)ֲ_@]piNc}vo{V[邎2t,u'GIZ P1^VVE7=x ;n"?dKlÐ>DlWMğbٚv3a5ڋ^PtNx8 =w GB{ fە~5K"0՛4fʏfk<,R$Z9{Z@H: wghg%x`0?LxThKrFkRAIvT\SK~1 %Ly+䵛+{4Qrj^U2 Bj@<񸮋Mߐt\ܴEĀŊR_蔘WlEp;hETNIych}]R`eb0*ߪވDFpXf1A~$_Od+^.v0@l@xB9?Oq &&<޴WPw@dšOa~%#a;Fc^]W LŚOYq?Tt$A7tRFe]ͿjTx:(' 3F' JMzn+M ),&M4u$S 9BeUe6rOH kKb5cHPsn3]q_̧u׈6?`Z;u50J7Zf\ͪtVD83;TcP UzI;+=ooKT'DI[>9E+1 FʳSx1=Js~uAADyY`9‰ *m?أ8:%@4 QxgYZ7zXZִF! }]ŗXi%B:b(dQʩ{tMG:L->vvucІ+I, ۳bLȍ}#z}~K!ЁTDͱ3HZBfk:bS% (e7Q22`o1LnQ Zr̒ۑ{N!@FBm[ݶ`64nWm:GQ3إQ9CD$V0fxHdP55gI` 1 V:ǵB:lCUK#wI@6^$Y SiAZdc{?ޱzZurp2>ڵFF ']ձ3>r= ] kle 3ݗӷղ% *k|z 8n-U~fd(ݠs`_obfHEnzv7DZ6n9w|Xݮ{M¨v{NY}QN":'߻UxdR]Lo/IjߔaOs-ᄒ5:Z_)Xh\*oNBw̉5|h⨞}.TpEȫ-? Ay*C-p6,>gI/3,c9ԲHt8J8Ep[\!9cpGpMY8@hgZ  g*ˀ dyd;(Q>vXKq,J+K(J憦:*17qP2kM-c J2dKTA<6#bKcsOsI\2P+Mʴ wϢ՚Spdv~'IG0'jT2evs"~> aOs* vo{.6:{K1;l!0vS[ly9iX_LC!)t}!4:He=>n kTK3ja:g1Uw C[̦/YD^{7=D$JG$@tҗ[CΆj@M| ۫v0mİ鱙Pֻ |;. !2a75EZSҠвYkwQV&峟 V]TKق06}!xR9 l0klsL?puGWFrF:]-+NQIwQ뻐s CF#Q,ӓ8u7^Fobf*m*T(]JBr-ַZ(fݓl4dFR~}ύt_?gЎXj14 QV1]x'`^aKFkǫ#jPSM8`Ei8ӨY+\vM][] .^;[.J gcPlWw0t3F,CbHgY׬- xbRC$@uHjdq4y3׳wULbƎ&J;Z K+[9D^~ D[=-x,:rP@O5^1ppYg,o077bc ~&C:MF'o.pWޗ/z\6[;vgYZdd744b5be92be2ecce945cf074831934bac97c4a13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 32278d70cfbeac9283aa94b7cc4f87ef5ab4effb 21ff74bd338fbd565b5198fff79e94cc7b5f1ccc 0a04091e82b2b51c83b9dcb8ba3fe1bd575c625725925a6ae68f8aed2489f2d3e90c6ee4e53242a3