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 pp/DDl ]/ HOL-Proofs-Lambda:threads=6elapsed=113.361cpu=147.552gc=6.560factor=1.307zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}Nur#2bVX{B0(4܉f2́%VGp~NsBR:Tj-%zTN^3\gޔ;&i0R75*1 ]T`LYNÔ4`H 0H^{8pOSs!1!̈́ubù^rg khT"s_ꠅ"|* 1T:w'FɟTa{bNi.jO׃*$!ȡ^=r9H&/+\.Wj@NcxW(2I(qMN C~Iᾈ'N~ʦSL7&hnսܖlkTΔgYZ7zXZִF! jY]ŗXiɟ11bu)]>_ws[Ɋ br:`=a9tTnC*u|GٻO49'0p-P!'w%PTj A :Dw LZ:I#w{"ܵQZ/n,Sڶ g-D3 1fe\83 <9qL "=f,XSq|ڠ5} sXԆ/ T^:ΞGv%ZR).ySװi%$``s^wp`lh_vȒQM<^T&0>k(>vsSt*@gYZ7zXZִF! #]ŗXi%@`jBz\+Xzvy dіZ/Y@[qh ~s,I{%GG{^JC ǧkWf9qKZ^rZ-'"QȂ¿=8T@\eYkΧhq'GZz`O&O^#VOiڏd%xAҬ6\tx"gijH]qF+uBi9Iճ8>1lNup1DʡNWJ-M^Y}\JKa묜Z~7{w"V!A<3' EkM83 q<-(2!,'H1m]Qy~ʌw<DۺQNXʳ`MN`.HY2^OGH9l7cKk(a֯6Z}(n|:uwYB#62E@;.i S,n/A`Yi ]Csxi=cX8 XzTșus7XOpQ?Re=bU(*[T_ÏGI^#؁oW vq\:-Jґ >_m#T |Qx$H XݐLLW;! R/l\d ca%B\ ^U-+.@_>{1m︂7!& g4"waz;~wMq|m`}"Uت33<5%U&s U?ybEXd] Ћ ǭ%)<9?m߀lITw|@smtc\d]ۍ1v'>~uQ ЬuKXYCJaY8 /'B b6mdV.߭,Jt\/?"W[?n˫)kYQd2Bzgx4aFb!ŠPr44Hu8`v3_fY8)[|j~$.|=mjN;n[Xa^l?1oWˠD6D:ߑWK]ADO`EN?7q47=*H\IFHbn҅VGdE\ckwR jfo:sxmv!ҵI^^<)q3Lf>?+Hص PvI"M$Lɺy^C<}F`h*1U]BꆿY]zX '<}k~G9fΔ;[(+ 4 ^zF0deMW ?߂-ޢhd$, h3V)X,7AUep+*^a\zB󒧶 -'?8wd,jqtJp8pFz PRF6^ߘ?]#/1Q*Aª^TZ# 7r'pm`Dp de PnUJ/L/S4o)Ux!`#VhI坅9[ R!KĶ2eI}c7?c+.ViK . *Qq4W8+*Ok &;"cJ||z}ݰ 6|2 ]Gډ}:tx%Txv{VI% vKzJIo4Y+,smX?n`TQbҭIЙ wBeR\9^LH7+PsQ|LrDrȓm+o{n2j~%֎[Fby2Zo"\Z(4A']dW32Zh(juUi˸h~Jŗ""i ]UDGԃ|\݁ LAy`+=/\>{{u~"r+![ e-rFHR!wUw?]''IFn˥XqKBfN3q̕y X?9z*eȏ>4Qa/FA0UrCUl'"}YVwϜDYˡ]<}jFT2"R"WȚ~nZa@4~ X VKxTZ609D^cAf6ĿU2aV}L6)ֿHst0Z]_ld1:񲓥[/<B66ȸWMO 2(&]MS: Eo?OD#ǽSd1zο;F)?zzπxǟn$χF2uO}9ۣSڽ2;9>DU0m*a]h-p쀸gxI]>XaG +ռ(h%/W2;0lɵYTU-?!&1Y fUP5fb; G-<=Isv%XYgYZ9cd17c468c82ce2aca52606e37ffa2723cfa49020a23064c34709125a075cd68ce8f561e647f6953 07bc32b76d6c29d4315257f6f6c6fd341ebe44b6