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 gOp]@GYvꜤVT [fW< ǻO|MLo>Rp =ԃ &fPTnLx0 n@j\,"8uM2Oe x3pCDz⦨p)V4q')=WWsL2 iEkjqpV"mSi";̿(⎴ )sSi}cC/WDCO׶VlnyF ظK<<EB _-ÓZ2b;6I-)o[y+>;4f.۹uܭ=WŎzQX=rRzU]L_zujIUjCJYZSɀXQt]+YNޏ&NJn SxQJ!kL$D^Q C7u0P$=0c~q G&`aЍ[E` XzN8m.I&V"Oʙ%gFle"hꪝ3N/5DF/n[;$ R~;BgĂ$ch1B+_RE]lL(DF#M7d&'Lט2N*@Oi RGF݌{myb ?ȶURl|+j6P5u@}Hf-1KglvWW(>~! ;3Ltҹ$ ?Se`ٳ':d[K\=BX1JfӖRI6]~֓n/ 6`iP]x_U]Fڕ oEV N bxKݑOg:) i3Aj1ٛ#\Seٶ6ҟzwл2k 8Q &,mUdY?!Y) &<9Nh0۱`;h F}C#bS]W@m$d{s귯[ (fQO77ljXo.#^}n'f bUYB&J}3xsjiC {V=7̕YK jّ[6Hr0Hd{TpI*Ńp.)Ӱy\pV0U[wV9#8%Ze|bUS OtOe'ذK<.Z9t$wW`߸Оzr(TR:X7[L mAKQʎYQk(|1w0#;}p٠h:=IwdG8[_1ŤS2;} ɒ\Ekq I[ p/|s`N徣Dt=ȉ/i\}W6:V]j|QiɌ_:>ypg&ԟYݢW7h"Auk +Nq\4 :K*4NS_֩5?ZM4>k_Rd~FFkk - 4Y'4{m OL2