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 %%X1 LD ]/ Finite_Automata_HF:threads=4elapsed=13.700cpu=40.928gc=1.436factor=2.997zXZִF! ]ŗXf[&pC⽆ԠJC:9| PnA︔yDP9.Cc"3U?  Net"WKq[.tD@_ߎ rra0,lt];ԇݗOH"(K8+|r_Lq{# C@8KJ-d<rE)xwBRSکΪ|[dþ@vsQ\4xsIuFDY2, 58"##oSY/teʎ̢96hKbKP9T$wAcOH(7WlZ/qtbl]/d(gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{KKɉTɱ¾]w(;ƺ>xex&0hJ:V ϒz4fmMօhey^"$ɌzpT{Ú <6/q]+-uf.y0ehlڹ ٶS'm"J, --FOrAU:qA%15M{yEzX@G'$!%MUbڕ9f-ݚRt`k$p`7q 4oHՄv^Lqɂ&.D Ts!83ab;ىc k0~mĻ; N2.׭W<Ր=P\)ecVٙj]2*Ĩ9D3vDxNb|.tW(E|r _/HA_IPMWS/C  vr>iŕ45YSF ɽ)e9?P}^J!>$ld\Brז4mBՉȴu,^CrZfǑAy#2/+ cPޱ2䱚JuEV).a''s%wTMϏLwy{HOʖP zd~ATTm@c! zV]ƇۦN~]i}`&Dnj[.{ a98KC%\̉^yuZ0vc@&gѮ?3-ОQϛ qLХuFpnq[ThC1Gl?dj)v_ԵLFF5b|2G>s,CbVd{LLN(w[A8|]o4vAؓHD[$^!۫ʕNbMz. $FJ'&)@Z :FB2(2FƂFF SLikh1\ '*qnY<xLg+-ƹ;z!ն?5^Wi͇t&w`'-Ȫ(3t3-(?_$h:rMWs&[e#d ےFx- ]|'U!Z.6.;8]tC!٩^}ԤJdŰ]uv+Ƃi9lH" Y`#cJ78lCo8;A"}X%icɶO< :=y#>U`!&7Ⱥ{Y79"ʟ2:׬ڮp䅫M& tA--YݼPMx[  gYZ8ccc0baa667e42abbc2098d695b932c6601b525ceb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 1 Finite_Automata_HF