SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 8# <4 ]% VectorSpace:threads=2elapsed=43.884cpu=75.556gc=7.044factor=1.727zXZִF! ',]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9nÌR%EWǣh6bvmGCy6Nn3MjjZzlUUoksGmk@ɭZue" &;o{Ez-քf(`Nge0a'xMccw}\ ΗG?2d0;l6s iFu2úu]mNE<&0ZvC20F^OCNYS9#\>[m,= p:Q<,fKǂ.^XvH^'it8S$9֘V&F ~$BXXsnGO#?%t8CYΒ\MQ(F(qNJKS"211!Q(P&0׍dɮXWZ"+:]MrA#i@Q j/0NHJUpSJWS=g؞[8ꖳKsi>`x̋w#WoA,;D]\19bzIC]iG Y^.'\Fɋͤ]T$ߟ{.[-Sςѳ!UYbŽ.ǧ)13C: 7ycHfpձ=XU(6"! :hJhg G{9~!&}orR'+4S pھ'Jѐ[Ӵ"2:<vJu0ޏN66cw8ɀo)!/E;s+ "fNcjgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({|<8[K`%6KtwNQN{fՔDJGԽL_-Kez6ZHuXÿ%4;%N[ e\r/(k̠#T}`8@c¼ĥbM}f]K&n~)gYZ7zXZִF! * ]ŗXi%>go?nl̀wܗHu8D`4<|qK!rNmeLxu|9ʐ$ArN)I,Qf_-y;KKyv\c#UA樮pۘ3?os,B xy:նtϊPt9C|"/ab$kYT\.0Θ/ԓcn9:$Bx^y]݁Js_?ffuu 0E*Da}:8 L$0@^d$rF58 +q!CϷ2>b{"-`!{Oy|ΒE=>{ NrG{׶7cvO8N|Bk-ZoF: m‰xrv@nh;QKZL ٕbt]<(ޭM@Q1s֍ň&.a;lSj?4`0ĩK=]r/3.o8dpơ\U YzF~EDE+oa˨ ':txg3w/]m |kY9m0TJ*pqz>߿638] yxL$_t;bטr!F eym^6rװ%PჵSϕ3/_3(`=ysn!rE5L8/JmRrY`bu<ЋUt%x>1x#BQ$ n1%)Ďw܇&{@/|Afk#E}raNgbNIH|M!/vgӧOΒ_ XAK!‹}(7Q{ZYzkaP Jc #қ}1XzYJ2Oog^oWMg+)Y~X𵐻)BAq }߭62vֵy-]GȰDrۚ@)B\GE|TUQ9?/?dS0&Ac?J@^~CXBuxܵ3mQƾI9sJ2{wo܃ǪΦ8#Y4% <m ,U'= ^A?8 }:@k+ȢщzjRqU f /'MTRBF5JC!PaCl0%ֲU"oF'Z22LțnFfc@Yw!.((goá9M;$C_b˜eBO`r~fm 8i ȱld &_E4ְV&׍&g8GjrM׉`a25Lzr;gHbuJkޑAPB9lKpi+=6pt-k|(/@դP,^s>Ѐh;Nlԇ:zN94 }}~.'\u /$FcYBRF7IzLFvSeb=K/[*2L+N! M;[Z.+WSPI] ~J鯂SpWo>*BձH{gyu(MOqIՆSeKF>H|q!uLšzd4ӓmp,Uu20Wƿ'/ KZyO{VdOdp) -1:d l]wՌ ,:"h!@ V7IIͅSivOEIk|yWS((t |ߘ B}[pG .˦zcY6"cR:7{gol=dIM?5wOqG}/q6Kc5_%Y*rG߾і`5oByjϾCpbWwIuu RngYZ544c6fdf4e4e5d41645cc8260fd5918d90b796a897833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 845705c5b6646e3b00d48128f2e977e04ddb5f47 b476814188309587a4a8c1e3c796eb5ef9129063