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 p \t ]/ BNF_CC:threads=2elapsed=23.554cpu=42.240gc=3.008factor=1.797zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA;-Ьvj0PdOzԊ-|?y|mb+]T?b`V[9>kRkoDTAsC~~O7w{}fF:i&d|U,-N=0ߤ)2O" `+lDC^nb7 H6^$wI.k2`o5؄RZ,pL*񹈢`t^ bAfxil9Q6Ts)"+;X=ZMKtoQ|MZ78igRdAѲ `JM׭Rubʱ2.d!w5&Y98&ʥ8h e)@(C\,_ srhHS k ;QZV7`B1훝ڬP察O+q#o'gYZ7zXZִF! B]ŗXiɟ74p1=MHzڰDbnheTCX+ó>`g#>6]cΚt)Utd)u 鲸BE#M w}#ׄT3Dk c)`1{I K9JYsie;])%U[ǂ_<"|qp,I@)yi*^pzpQmp[ϕ;y]grs7$jG[?{\lTMJ\X{~L :n0 Y%Dє j˹Vʨ֙ngUJ*E̝w4%1+DCL!_?w=.^@3hW)gS´=rg@(+_F" 92t ".7gYZ7zXZִF! 4]ŗXi%;C繨/ `uVI|Ka;nJ:T.q/9e|ȊcU}(9j6)ttơd2t` s_6RϿnjB'KBOpLlmGȩc8 bJ Uxݨ4Y׵zZ>flOK=ۿ Gtt. k8@S_~e r+[zk>( Zȕݤj_oDZپ 0%_$BŋI$'dDr,9}ïZ|4"1nYIϳ[>K$`EWS~*,REg-t0 (%Z6~ps8 $v{bRyVaB{P|,~~)/l%>}-8&.ч0o@C=VJHXjB+d0A7 5j8'_\$q MxΆFXqA6,"A/I(WW?A?hY;x}5'6`YE@\[qĈ#\'Fk6& 1cWک=l oQObv<Nr/]PsQ=8;cWQvYt")s11E(qſBZ~ Q- BC˸U׳(&hqXrZG:r9QRpώ7XȊT5:o#O.\vL5~$,'IeA '-A.hLS(:E&Flӧc1֞)2J1<1s6ƣ:,9z0܇0P:q^3BXy0LSb)DގdAs{$ uQШL1Bx|Hr"` <6$D҉tJTh FxZQ&4'a#&0|mfL6i٩?DAi,<vuTduK BtVW d/$y5_RAne/q!VrٙٲGW„&]fݙ|Sޞe/&WmTHZ+~g9K1aT!2UY;x.jB0}sؚTהjL@>(&rv_@22!@m"H8`xkQH(q;e ^U&N2$x <<2.nG]>j=:TG| KnJ6!7JdB~-Y2 3U,3Wtv{˂;@L7u3`LkWk@\BM(s{U\yD}akEﺌbnQSB׏e*/3i~JJ{ BnŠj5NRg ؀"/2rZAhcV;X1 2̯ȍ+8]?P $.psβ64}N2Z{` 3"CX?:8ii-_SX'] % fm\Ε9VգGfZŭʾ;B֥H"%ʩj3Y!8'^uo)%7gKh=WS Z n'63'`Kе9?"=h9;"ca#Xn'`:^P$ΰoK ]$8|˚ʕCd.(1khO‹gYZbec0b66dde2b757d4446cb312809e42fa86b6af8a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39   BNF_CC