SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 P1 <,$ ]/ Finite_Automata_HF:threads=2elapsed=19.307cpu=32.852gc=1.516factor=1.707zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj' %j:L!&ׄXKkqQqqD^\Oekctc8J)%P.l !Fx $R5HS0Xgȡ< :_mXXոBTꂊJCMЀnbb{ߞqM8 9JF#f({\8utM*aVh{Khp#R 9hY CF2Xu9M"BjR˲}uWoG2,mЫɞwP AS' Q!D~ܠ R?j:I._^oA^]r!_AC N`Io dT\>sǚecDks\\&6'Kц AzF.f!NE/7xX~tmNF{NٳH5Z[DZ~OI) ,as\knFFoGhfc˘ Ҟ,5b)W@Q&|ǐpx!qd`:R rr\zb] 6ȗS@0;c[-`욱gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{ ʿ0+i52Nk3 4Ի\FN+V)LjP8kݜ 6#'Zog3!/qJKe>y"7B_YI7*mpeeNC&s XT<މ 0\1~/8 7mg>$yO̎=ZI7?5z-SH)12k&|qn[,܀vү Kx`(8uQь]0-3/jt O/C^B'Dp,{J;PtS9C;y9&Ȟ.Nb~Qu'g ک߸ŏy.* o=n))z^sh 8mUB„[g/UOA;t68HG7bK@shlI \?թA0+HpTLyL\2Ȏ7A&xJ;E7fۥ hqө姑hK.;R| MD n1BZWΟՀ=I&d5M}22T0mst, f3 E7T{#EĞбObvPk妵dfXqcREDW_/Zm)g Qp,8v u D\-GpNLݍd@=!Z͓Kb`Qfؓ]j:g Fw*+H/at>_?RL%R'aキV }᳸с uK͍֘Gp{UmQȤڻ'knJ&/0꒪#?^Q#´<$ZP0`k{v\szb{?^ }\@eKjh=1G "wQ!׬]'ʷ77KU I5W^$QjsrkO{˔9iH0VZ1~ܯJ52gB/ XqJv.&x-1faO{p,m/3OA܇k `}Y_,i5R--T|)iZo\-{Ƴd;;w xQl#oo3,;nkGWlN^D#f5kGnbP'#י^gWȑ) =~ !gYZ14e480587d2e682ffbf7668bc1dc544a845aeba9767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 1 Finite_Automata_HF