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 1,< ]% Transitive-Closure:threads=4elapsed=2.799cpu=8.776gc=0.208factor=3.147zXZִF! ]ŗXf[&L_7Ae6^@ 3_9#;(:)L |޻oAC[dSx+UnSRY=Ky]jgf49v^yr:i!7GL=Fr| 1EQvh@qW&P[x&TcI|:D`CggXϕUL檆ѐ{ltw㨌ݩ{"B6  OEgYZ7zXZִF! /]ŗXiɟReDH$ 3gE= -!!ьвkkӢ8('q+8oXS" _SPlcfK< :LjqD;srqt^:4nʃU,VOvLMJ/Mw@Em2 :_f24 WAЯ/U!R3:X V9gYZ7zXZִF! $]ŗXi%B۾2U:۩c6ӬnT,C@w/H?s'⢬moA$E;/ WzS=jwCNBU + y(V5\x'%NɝH_ץ\29cwQFh(\ rPN.uW*gt*C%W@]Wj70Z t><BU6c!+ʛ!1y&-$,vޠ3 }+`襧P+~>9k.w"Zdž=4)b;GW 1h뢂Vk?"y_>CV1Ⱦ)2\$^Zm"+gV.\ ᅝC֖{J@ٜ\xB'pc$ 7Dy͜Y|J̚PKf]A\7=bdU R|']3J2!>FM# }UhŇGJ[S/ѹ&|\5]<_~+_ e:0uk|x*m$KƪtnBWO 9z}X.&,0o< UC 91@.U^n*)3% !pebzӢBXjϋyTOd?tcOA_`4ȫM&XOy~_%%=IEYVX8)%+S2O HU6ֱgYZ28e5b64655009334b937389d8a326059528a6ce876b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 71e5beeb8f5af9f9767829e5e97a177e2fb327d6 cc02c8e5740488ca29ef97a9c679aa176647b950 75b79d24f01f8d7c497f083ef664c5768760a36a 1 Transitive-Closure