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 0+ |l$ ]w Randomised_BSTs:threads=4elapsed=8.870cpu=30.068gc=0.628factor=3.397zXZִF! =5]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 2WEl#Bcx9e Qjl#࿛-/oN)< V}k36E(0Ci-Ãɬ,e]-]1JGx7d㝾]@lNj1ʽ45lvm)LsMo;`Cv֒)[+ej~׃yDKj(䠍k%ʉdxХhMr1prt˸L4%9Φ/_,FyXX~Y0pGzrxCV>Ko;@!YO)(HQrԧk?a``ۂw0mSlMOx132ZN.gYZ7zXZִF! EK]ŗXi%GV.$b9Q (&`.R%_Y'*_~20 ^-DZ,(1vb[L ǥ IoL=@vqFX]qؐOqO_ԣGI37P-{R4x^WڲUmkJHMڡi M5?& k=|ej'+,&PNx'$E!z3C_SSǞT$QhjyJҚKfBG(0%E{m+;NzQ8