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 44I/ 4$ ]S Old_Datatype_Show:threads=4elapsed=10.113cpu=11.948gc=0.280factor=1.187zXZִF! ]ŗXf[&QͫnaʵP$xE@E={Y@/kwOpx"I,.R2BxCYZ .uZaA_z|*vuIe4ՉLPS0#Kpk l=o(gyQˡwvVmJLuti7o33B S6`&W1&T0=ၻmS/Y|I?]$o[orBȀfY%S9˭#CR$ob8r:fUjyh_'1ज़nZ-򌇬pxM,Ѱ^1]E=- o`:Ad$#ܮo. J"^;{Rk:]z&zCJaͱ Ff6w`~ YBeQ,Π'Dr ҿ+y&m\t' DžkH W{H6hcQ3eL  C\9* .h<@@o6`X)/$|d^؛ۆѿ(+:A8v Tj\gQxEsl7{ v[:ӨX)_h,7{]_mSEcD-,Jo r{-}}iME%RtBfH̙.9\#YNbIcV-V6sAq_L hMP*;0@=4IMC`\2bǪJ*L!@}yAK"(OjÖ vM9ٖn1<*X%i=Wm p1׉_#% yQ:gYZ18fd58a733608ccce61b09305ce55aeefe00100376b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 1d2f1d7ac7bfbdc5de822403831cf7f94b531e08 / Old_Datatype_Show