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  #  D ]]HOL-Nominal:threads=6elapsed=6.377cpu=14.788gc=1.016factor=2.327zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i PYPmF }oPB/|H9_#_>+U>fs944)GYDi PmT}oJ,5S];Tp9G >]qvtk|/#J.*Y(W+3O Fx !AgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ́ciE^00h7LG$+$n6|`I'{J}YZ7zXZִF! $]ŗXi%Gof~rl)`[5#-cInчG*!uU4guJ+U[agKXٓxm7mkj̈~SB|dCЋ3sW.]qxuqǡ@*!;袸ULPQ SgBJEfh!: 5K d}} {W=)X;#p*ޝīܙ/|R𭋷¥'0pv+ڔt!çvr?Ax%":֣uAgK&]ڬr u/k"ZZps1h':*ޱ4yEMr$Ns؝yқ= owe{ӍP=]_MP]RCĞ2dG7YzKN!dAIL(:Z@w>_JȮ:Х.Z@񪌾? @~ǭn(daNPӠf&:ћ>G@K\h2rIfz4 h0euCr݅/Yݬq2``EԿ]O scl@ZS4Hq1mgYZb00a381e62d5b00d670fa13304ecaab53535a952c64ea230285d7909ea4e291e0600b2281f3ec163 59813e7197c2ea57d24442f5882cad1d37e3a900 d45c7088d2de1bb843aafb52938f57f7c4df90157db3b862a90af94b0457a3359049ac95bee7ced1 # HOL-Nominal