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  ~ ~w; 4l ]]Stone_Relation_Algebras:threads=8elapsed=45.165cpu=113.007gc=5.337factor=2.507zXZִF! KV]ŗXf[&RT[8wm-9chu=Ou*?1]OkFlq[$[r ΄JlFZܗ*Lc曇XdDISi|uBn,Ok kb᫦=e5='%:_d|ƿ=6-I8\'`@דrpn{q\|w~F% >$;XQ"T#W1 ggyyObGG+3x eACQ42կq1d⏿9S@YLqF^gOXhc&-zmH%>ԟca/UPi4EVzI޴%ps VdC>dRLK0o$Z "qux6bl~P}1 0Y@4||@YM iwIl sBmH-qX{ma]Lh$rouۀ`qh^`WiQD@dWSTnߊ|h4Et$ \Ţݭз <][¦Ǔedu ^֒bz+tentV J6}l^l4烊y7ɨGߕ I 9nh4WZ!gҸ\ўl_ G>g]w,_'P =rbk9 *y޶, +떽h}`D(b(P-89$N xaetyh@8x0i)t8Y~EɾMx86W<X7jLbfCң–f hMqۻ}0ΆddqҬҍumSiq|5Ou{$c<'ihf1ӿ_1LЯ\{⏲eS2AE>oNX"J;n.{ إ xWssҭqO0`D_|?Aȕ(g/4穙 `ŗrl_J՛Ki N>z)E%)B*j0 ,R岄.9` X''9ާy隻 \>Ѷ'worSpg LulU6!~uO2 kDe[Jzc;/]ʊZ74q D'pͣ)z6 X'a5q뷄|7Նހ12 j]W2GC-S(Bcz@bx@&Xq"3T$nDƙ%z ; Stone_Relation_Algebras  SP.ZKù1 זǛ7gYZ7zXZִF! 5]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z)xɠ4KX&̰ZKKB aklEbRbHmeY %8盖iZgK)w"CzB6wgFBlK)gmqMIxǿ S"DNzLʹiS o7&gYZ7zXZִF! * ]ŗXi%>tyr10hڕy'W c a1fÝ |UT At\huHv?.6 [dVewLF@Br:~╕OGB%7x~nĘU"*Wus2m?o7[;bKk*#mϔR͑%8&EIoylQH9 s Q5?`}0anɢ,61bsn e W5BͰzͺ:(5h P{$C&I8@i'JЬ4S)$Q9)%kPQ^Z3Ũ)Ni򉃼Yx~CISV5&3zl‡mߢS +n8 Zmtfe5ZOxz$L? dU#DC 4`ZEwkKiܫ >暶0~X^h^ Ɯ8BC=DC1Tq|ע(&$Q^*C8GZIqVL(+ $*+mkL)xp)}YIo kaX >cm:eEIO$H޻923SZ#UR1UiXli`QͲ-D]%.䔪-N3vrѧL[E*XSg4a-iC"3Ŭf@H_f9ImP| BW5tcMsFN4-EZ?1p΁&B2UsĆi^4Ҝ NE l `m=Ԗ^ܝZ+vEb}PS>_>0Yb d'8:"Z}~k cHmuv5$R\7`G(Q^Dc֧&@'GwREYŭs.K`~tG1S/4)󅦡IrN1p-S- rJB'"lacɄٕ' |$𜎉rD3pѻ4#nߨy4P&*rCk,׊,5dͻ/Y;_8ZS 7;BI5 3Hmb9,Ÿ$K1ٿ1S"@A5Q 2ƋK?GR, 3OGff ʌbЅLH=9!W"gZhYiV}jS`Ԋi@5Kt~ea5`i<ؙ,DF2sh1$qR\9[Ǒ3E\zG@~Yܺ"ͺAuݒ2*tR0@/7@%@|2&sYcW*G E'OĝKݜG0@PǬMQ| z"odcӗ]D6ea,y'@ǫ|2 E1{ ҷ|%i6B<.JCh8a+Md-Դh! m6\e% lߝaka(er dnj&Μw:#a^)G#@4:w)'5 ww$R28Fڌ&Cz G [wh<.M'B~qX^ 鞫~'/H$ 0;Γĥct :d݁+$.3l-()S%uZzB̌A|#z鴚ZMxv;НOA-.]*SD9ƥ}] t=ܯlp(:4ӗ WQifis{*40^9M;e_G;Rjd1Y[̛TqVJg!/ 6 a^גV&=ʼnh)$4:t _6tU)jSCg 0[3ہ f)t\p63]M `Pӭ zu6bo}[ɻ@Y$RܹJyanB?v𲰫k2vW+ ,Y>7qIWw5GaQ9x۪O8zq]jSh~]奈889 *tj;AFN :D7X.YI 9eY_Cc]]^AbLᠰ) Qaq5٪n5fɔ}ye/. 1c&ܝU;~_fD[\N0 !wT+,GկU0H^S4*k,e 8B19ZCY,ADDVLz909ۀo.򃡵e2!$h{«z+iї2