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 . Tt$ ]]]ZF:threads=6elapsed=12.257cpu=45.464gc=2.872factor=3.717zXZִF! d]ŗXf1-) enȈA XR„u(x3uyj$n#r+%6|8*@W|>]q`D˸:%EݼN`]rZy79ckPt iK4L-/]!z_U= ڢw,S x=2,4VKC$6`MeUՉl0rá.Q6=kyځ1 S0vW^>y(rַ~=L&vX"0dx,τ"y~>(ܐT]Dѭ[؆?`}gYZ7zXZִF! C; ]ŗXi%G|X5>҈*}B^-S=?/7vlh:_޽}1p M\ #GЀ[V گD6cC$ewÍjmEF&m6ũ/@E4ޥ ;"K[:Ѳ5ăCQJJbc7)e7,W]F z*ŕW?įaPK ڠˍu7i|75&ʜ92!|3ٹ%:6 ]ޙd!h]q <~/ԥ$f72SGXڍJ9q9tNX͑4Q КvB\X6ŌRB]7ۭen_EЇ92]h-/| t]®ט _ T#;rgd$D4kK}EDJͼ],igY.VyG/_^Œ0w8ZXE̘23sl'J!xUA#zn-"FZG/@@( dc"MuT)Kp;} A\j* ȰI{#RAYn-^eAN`OTWzVOk5HuDD~޶RcZC99n6-v[yrɬ}gA59-ĤMe~F>Ҿ͵@Tzhp-@'n_rBE3/[-<>(y|uS:GbuĂY~<"f13NKq0S dȺ@j?TW5M?VҟOSrPdRiTVzf]aLr(!tg֥Yn<̥PQ|_a"X󊼙B2$FfU9B>ڊ{_* js⇈Kɧ"f4V .vO=U'i߲(Jcz$oXDЗpȻ"\`a@ \jرa7}5u!Artkϋtje@