SQLite format 3@ .;  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  m mpdD ]/ Sugar:threads=4elapsed=0.882cpu=0.956gc=0.0007zXZִF! ]ŗXiɟH)0%o?ƕ: ( ;Rg,}%|o uv-R haQ؟oh,Mh_栴I eA^Q%NBOr@WӏލCDλgYZ7zXZִF! k]ŗXiɟ1˦r p0+7bOa\ AT?P4?)yaLGDuzi5| nCjmC"H췣z2y,)EgYZ7zXZִF! ]ŗXi%L&X7ɅSH%]grId|z5l0׮P!-"eی- z_̵QO`å߭Y2f8\Zyh`C}sa{X {6]._~_޾lؾ^/ks}#[kpZ䊋 ANjE^E g^-FU=>x &_K n\:JH9*.qeI$1PS(Gv6`*Q1f$-KU^$>h@]p9ڛ]5|;X?>  ӒH-%bGwtP>7Wi1e;T-(^.dkxS fgYZ109d008716cd4d92084e0c759b9555de9f23add79aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535  Sugar