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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ST ]/ Factored_Transition_System_Bounding:threads=4elapsed=76.875cpu=156.668gc=4.584factor=2.047zXZ ִF ! JD] ŗXf[&!pFESkC1|8tQhB&;C DO)f>9ʪl$('&9i 4ãJOk!)k9wO4O$eqBEΕ(7]g >@lm}vy D;Tpl8qr_>2MbJ|kđ"i q(^irDk_*,0<4s l/ƀ3?g5ɬ^i0-"ls~.;l>wٿtD>< z}p-Q(炙C &S Factored_Transition_System_Bounding gG$9OW1sw2kF~`C 9vHs+b83d*Ԕ٠0tGSn==ZKn/Wnlr 3v78J$"IvjW?ܜ+(,>&=މU?dR.^pUSZßFr9)Fsh~fдi3y=q;⧱]m XbݝxEVOWX;sxlw< ,cDUy[>`Z:=@Zh/Mf{y\8ޘGu/ZЏWȳx9_B4?p_4jG%Ig il(xvVU"ʨ (gPVYBeGd座L2lo{;= Vn19(+C#N ^K̔ f(\,yPrqbD4HM&fi$4a7SaxA2}b8:,?^jzOF