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 l1 L4D ]/ Finite_Automata_HF:threads=4elapsed=13.941cpu=39.488gc=1.096factor=2.837zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{nP˅^sTy渟oc=h Q9p'z ~hX纾.yc"K!UjSyJTKA .x#J&wmPf11C֚!(\%)]d-ʵb3맖;dvRUi(8YZ Bރ$v!ɞ,nzos)Srf7Y qcCJX @ 3?]AT_HL/J1htE:y1~7%f,[1'͗Q|d y)<[L9zja1+3~L{t8<X\D FCNՌ}wjO''F >nt̚f3 Hj(Ue`B-D]?5{ [Ɯ]F͝vw|u.= @H$Ր0+wq*8059"`CIP1~R S3`"m -x [2QウtLSKlJɵ3yh6Zp/חA?4+*vzLA.xTy܏ys[0=" yV.Ǘ q NjsV1PU#9әY+z~n26gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{ ]m*tJ|8-654#C<} ?ϫ$r=rfs| 4[ꋦDBf'Qmm]Q+sWR%/{۷)5(ӗ7`<³< v 鋸3_8up Xrg/Kp_j/y1jRGkj]'/"zυJ*Zf^3]խzMx^Syep\om|jCFQhϬ;g^ *Ά %M.]BsBIgNhfoQ2{F0dE3iUY=sxtUqJBF{1Pdz8D0rQ8dH0ٱ);ӌNns qٻ'qJ3 8jՒ͈hD /@cb.W,5TU"-mA^; !BMnÕG(6w㣞==[[.]&Hpʹ lo0+~qru9I%e1oy@Tbp7˜e\^r.Ռ745#v{|{E\vdJvf Z+@@]!5/u0 =YCx#CA=zߞ7$7+ZT"}!hy@H$%PYeAE*XɣY $KD3LK ~MT0&jr̰Z%b?* n?cDCY hKvAL;M==ABYRg$bD5s+#F >0 Rx13ӔcXabw,U{=sU~)i@SO.GZ3[e [39 {8^6oi,띥QaP9ʎ,}vrO:gXxɚgo%T/_FO p=猞Ogh~8mwK:}T@4 9&K館zj?$ (k}ҏW1.MkΡnAmFh+>I8$;&UnJ{dq!5:g5P$J !JkAI25" cHYeFF e-y{Zt9*/]9_"y_wH U>egPLK#1bqm \ vǕBsy9N(1Ba%$tK!XYX8.H)N J$.L69FyM&`/ Cl iL*Lị 0<ñ[os3K(Cn1i^M&~˾~8gFA\2$᪠c7d^(kD3"rm*=Pcn/\bŞ3uUWwЎ!ҽf/s8Byu+PƵ1O@ē*v)VGAiOk:3F#ƙ$fzo\U f)`=1D,h(p - ޔak7x&rtY [ɍXMlPYלe,aOWgYZ0216b604d8d6c0725b652427bcd45cc59a7cd9c876b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 1 Finite_Automata_HF