SQLite format 3 @ J J .K
B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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
- - Prl| ]
IOA:threads=6elapsed=8.686cpu=36.750gc=1.2297zXZ ִF ! D.] ŗXiɟLe5u%\
6+4+(3n}2h (:ˍ;6m9ڙh^0"T/lxGrk(r9dTQw>5[ml(9YE,MFUL3 &Zb5_IY0~KA8Χ<3=ELՑGyZs</oԄZ)~Ok%h+1tL_Vn5uaE_Ja}fn
l#I%)GiY(A
!3ؑ$gN
>@0tv⍺D^r83]Ԇ],j8V̇L[QU `A[T u^$ " ug YZ7zXZ ִF ! `x] ŗXiɟdN)ִmtN$ru$WY6-A<-XO?8E(Cɐ@bIL&36xSr
Y0Pr¬rTm:Lt
G3\X' *RvtEqu!Kˍk&M"dRSh*xX댤rƏ2=*AY?BYoaxX^B͕qxy SW$Xv媲7<+M,h0
b
墦ep)$s<