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 = ?-m1\HDZZ'u!ZS'` tM~4J27HFfRmLm)q-{f۪0kt$hhM)nX#zIE[߿'& 5^Dg |gk)cKecJk_C8ARͰ]rR)rQ%v<=-erw#|I_E ^iAt`m0瞁 !_m^6Fϡ%C;ܟV/ "WxgYZ7zXZִF! b]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>b"-:OFHtɲ/B㊞%xafOrZ!ΐSO=]تzwj!|wZ ~ ԰0L%cv)jĈC1:H!tDbex 8z'H(p͂YO/dut@}'ȥR-[[t~|L/x* wjS/ ICnqC^WA.I;{XRC{D(}|:ij2N$09 1EL!`n&ޭK'4H<&s)e8m=C J gYZ7zXZִF! &h]ŗXi%GŃU 6ԮiEapD?l'/-qZp +]'.aT2>pNَXGŊ% J|̍/,̫XѴ}S(NZI2h5H;F9r+ǤhE#F%A^^G H:Z̼n>W@CM,LsW,}~\ݜ \{?$]!ׇDzuN,MS^\(.QЧ҃f5TqYCvߓF @'g}a<`fgsJGJSR: *@禅 w2f?G m%RsSyY}I`t`A$;<-KQ̪sV;ʣi/\^U%oWqߤ'ut6ǑWD`nY—+=꽢6|K嗾LSt^VȽ0sh06Z* N2C(DT1u %@v;Q7"| F+BM0)~ 97٬|SU|5~s[!BG" 7/ZV2f!675sL8@m]ρ o ]}#}'~zxԒ%̴e4g'X&#T_ ˰!'v=G_ګZeS=,a@le,g=roF:LXVp!vZl]B`((NS=: DYF&q! KEP9u,쳾B9zH(5>xU^{;9JOђz(.Y9o֞pD6ƑV0)X.ʓJMQ'YR HQ=$0+b87u`78cmE(e `aD"\U