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  I I4#<T ] HOL-TLA-Inc:threads=4elapsed=1.666cpu=4.080gc=0.000factor=2.457zXZִF! A]ŗXf1-q恈&h⎾kH=Ӥ–lP&ޜN,&/G.ksw5F+!%@d炞|Žʣ(XV6١%زP=Q\e?63 By>r _"#gYZ7zXZִF! C::name=HOL-TLA-Inc.Incelapsed=0.750cpu=1.496gc=0.000LYž \D"9G}YZ7zXZִF! #]ŗXi%G̉TB?FK[G*w+E0As TD‘˕YA 2SR(xohgDWw,M!|rB9 >>#">+ XѬ śC&jhJK&8퇓wn5xHͅw<szMeX!>lsX /ogˠɚ出;i&^,;'Kb1$mu{r}Ꮹ.K Y0{6QKV}օ#Wѳ1Lyu~q`XJCK \Lǽ: jx ,V%*Qϥz\. phhtiE[WvW{G+kS$`IxfH͟/.$)uǷ T%E tߖtvld&g 6)x2gYZ923a4758656cc4894dc25659be3b8d869fc1e7ed78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 04f8c3808f9390b0054e5f7876b7e9bfbc57b8d6 # HOL-TLA-Inc