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 \1 $t ]/ Finite_Automata_HF:threads=2elapsed=19.420cpu=31.120gc=1.232factor=1.607zXZִF! W]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'=@<<凕Fom͖'uilJv;s_'*m='|x"D96 R,YemFmc'jy.z;]w У+NE8Q,We5WVGo'gt1Ć5\tk^HꥊPa[7*`r,_N>kn3S?Ϗģ 3O}V\rG&EG4@^*&ݣZ 8m\g,Xb;(s 9Rap"*J5YIHU3g!&Ep{=NIU|Oʃi(ڽ\$r`c}RP\M{IwmW(x jZnz%@ӦoNNAWq_ӻ ;%޲-y6:Mz-M.nq 1uɚ禳,?1HYƦkRj.mf7J`cʠV]DU֩Lo%\@ ׃"V퓥˙і+Q؎(&jS G~gk#bwHύOOceAE(f>kug;{+A ' # f殏*V^W}tMIi :W~Zx]u8?loU( 8 (g\ :=J})wTnnp 9bǚW. 2T7 *%/Z@vhd}Jf'8ҭJ.|fe&I*d7{ @wiҺ|O vYo -` n9hMн 3Eߙ新EakHGXC}S-`˲]Tŝ6PNٮ~;`i,MVjvG| +萓]LBM2}'} ܈{kcTNeᛛ/@!kzo:Q&<]O C\Kwk7plp| #HY#U,F!ΌSh~s]n8\5f@g;To45(âA K~3bSmU*)*Dp%\w&"G,_[&iՙ>U%CLL"bYc3u'{|Gp8hK2 co:yewp|or/KkWm[ۆzT[MMR<ΞR/cIġΠm2ũB j(*-a"tK=0]R| =pFd^G)dvօ؜9L눑Uxcn<8.uCO/_.{ܖT:KLLzf^MB/%%y<(3c@ 30-0r!#uMiv)dvj2f(%4xU˗W{G4KihDn9nPn"%i@K?s!Lïo`(K_~ !gYZ43ba25fd4d81b761e5bc3121e282797067cf4679a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 1 Finite_Automata_HF