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  < <9O t$ ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=46.152cpu=86.676gc=5.204factor=1.887zXZִF! (3]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S_ ,xe:[!R0d-eQ NZv\ppRgc톬erՇ5k{,y Gb\}lLԼ}ͽ3 2zd_B`/t}jؓTW|$́ftCGt!.ܤ+I=\R/H̺!T0V*X}oW>CpP 4wYIK7ɑY:@a#d!5Ԇ]GlρYҝ+OPATBB6Q?Nٱ YpO!-ʼn|>P5&d`G y̔'YomȜZ(YefY 7Z+ fG#t% /?{8_TY{Q:#A])Llm&G!Bdl$J"G [zFe!ߤ01 n t?vܯ1W)K O~;k p@Yx ?BXÓ@" pAؔ]rhh$[s!j]ȷ-lM7Aq| ́Äj}b$1-r5_O:W3uFq<ĹSd4OR DNz:Ex:h{"LRdq@IΉ"BRt˖^蜻VD[ GxDtx" M&< gBQ@l;vc%e[we9q!~2Z;Q*c`gGe557=j~ ;nXkGǮ-Q/ +F20[}ʂ+HG6%ưBGC\< 2s`A#IRbiM)=pnZjIRƱM>GFvәd񚡬♓ r4'B,7KTږ5eJkg :ݷO*F08KAg "c-M#ӕ @5Y׺)STEn20C'mIiiCJ]&bX6~\5|禹eH5!+Rezw#+Ҏ5vb#|ץ{8޽I!"S]X_cr^ e Y2D4t؁M/]çoC)F,%,  ]'KuQ\hߞOM(~` BBh)i`L"ȴQ/#kni=ؐf;q\B EgJ}Q zy܅5RR&mf[.^+|& z"`G1b(]BUZZHʵX:g*X$yR3<<(K}~"gR_(-D)Y+@r<ճ`VXcBPda2udpȵd aÃX<%jOOޕ F}2;ȝb%Y|jOR,gL2;2"K0[ F1Bg, MZbȮMKz5^1H{@@UZngﺨ#WQrT^SHZ!ھp; zTI2;7³t4gOQ lc?ϘȨ$0= K@>?6c|=*mΘGDB*(0NDuiy,DHN{cQz6aԒz!2Ee\y~iAAO,g3M<$Y~1H9.p3#;!_.tV}7)OW.*ϫ6nBa$}QM(Â+0Ac0 wlʴU-v̋e ON%ľkמWUhr8U]⧤ز5pI.6E`GURdN,u_pZ+>pVW?2PA2!fU6gk\bU>-ck8SaW8yϮ-IƯuTaB< fX<⢔\1QHmKJNR~PUi@CAU*"6{+ y8%$amP,~ %WSC+m Jk+kl3pv]tzL"s 3!`0WN%D3#RmԷG9^yLZ#\IO14ì mnG 8 ~ RO-P;};1])V-3(z*"Cŏ#'A5:9Ӎ4l@@uit>/kiaK@WGExC_Z?;–1LXW +arƲ`KI8k-.J)x>@K iC@.PY/[Ⱥ=6ڏ>k"_`Χ ~+́7mrj%?c8K%k8TO`^m9UTQq\dq*`zݾO*[.XlcFU7V>&qpT¼lkO2Ggce ?[/ sC6 %m4㔯Xƀtܱ2\. 5іݞ'o9TLI!L:T~%;YM.+nYgYZ9610f31aabc60422fd875cfb949e4f9b84838f89a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e 87b98f26c9a02b8fd0c62d8e116fb8c5742fe166