SQLite format 3@ .;  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 41 dD, ]/ Finite_Automata_HF:threads=4elapsed=15.656cpu=46.704gc=1.572factor=2.987zXZִF! )]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ *ʥ>y%| Գ[ N%lsP*įodL[8{۽0*#+Z߰ Nl"C/UKhʹ8e+eK/})%H>n$B9*_ 3ִY@q8¦?-Yb&eK1]EH Wu4t+1p CW ߘK(\|d@չb`(V":?z2O0?AOwBφ1Ӽ5%Ab>A1թANⳗԑ=Pc /cFĤ@#E.;`E|{s)YHq6<%4Bp<Դ|I4H^D6#.]Yw`5m 5pm)h8pphdOe)1#ڨzcp:ɔu dpPsEqY[RĬaxzecIM͡.Ua?F8Jfdopm78 V{ɍUg:(,%<4` w }3SqlVq`;iGpam^aN\SsB碵"Cj h^Nuҍx_1E ¾.$_Ava#z py,K|ɅYT9S'f8W#jgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{6nĎ[}@)݇3"ޮ\+arʄ[\12bbʱpUJJǢ!l:SgYZ7zXZִF! l]ŗXi%L T5!R+R s3+kEW않e{mO\ͬ|g S@͓N!!-X8~)\;' bPԳ"~K0t?_k¸|[K7΍@6bd3/>EYH6@݇Xu%,!~V )guGX]˂Ey&<2JtGq VE2<BF"hu8@b_-7N lhp ~t%(T Yg7I|n\8Z &O8Zϐ$kE,CYt1ΆgLo粖u. jQP)+%kdLbll1۫^{62tD3 hJCl(ǵY8D~Ompfvڅ(ՆÚ]8=^'t.e0.u9Fkh)ᩤsW4^{P[fIϹj+;g`NB?"1/+z #ciǦhE^a[B ^>yPi dmq)E(xPį>fsa@|!0giB \FH9xk!eq&q7,xgT:$ŢI;CiK"@9/-J1;91߇"UCԵ(wnUϛ4z 6Fi:9.ݷ ˆc}Nխ]Cd0~5,20o|8l TP}7@|H+ט C7>•ADEʭtM^ pIp\ocʕ'%t+B\r;Mp"֞;VyBӹ牽ß0vh kfZC!z#Jsy7AХ"Țq[m"eE1+R%/'x}u-Hm/cߗp m7t&m(eť ^z &υo 3+Xb'IVQiOXhb0*R5xGʒ nC9eu+~@YRg͢dUcnHO$l P?_{ε8KI`ɢXnGmsE'xا\/g0Lsx7C:`뻘ywOџ xRnkGhw8ƕ"T_p՗SO9ªKJl`HBUܮVvAږ7n<ֆTNL74JeNLUwCG[ؼ2On?jց# :'206c8%¨u/$^HþR=$إ"@q\GC-;:ya]࿃띮'W$ר$}UGzeիʸQ><_&Y =߽ڟ@c~겊2 IO"ͳfVn,7cL=6z_PɳUT? )O,G;L'CYSV„BSR)m0 3M¸JOmj9~rKFy,p@!U%` 3.6kgYZ211715b4d2983bb558e1aea1191145f7551c6029d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 1 Finite_Automata_HF