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 ff tL$ ]/]HOLCF:threads=6elapsed=12.219cpu=38.480gc=2.416factor=3.157zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAUI0Dfu cV{"`yv&欷hu24Kc9E+a '8¤@%E::_HN?.ubBh4>sm@j~4+1/ ?SEekJff(҇'@#ԧv(EJE&?|c|AZ}'>M%>\G_uxT[X EP ;s 4sr٩\Ľ|ϓ]-.h)8COo7Fabn\u!#ÂJy(֮_oк8Ԉgźh_΢pBςK5]BoC8:Ǘ |BX04mNsS^:,01%5Ӈɇ9S2]k1{ai_==iWWX|Y.K"-a%Kh,d% %GlYn]_:BݾEtYv ȄX)dsۉB$=9N e7VCuҞ.2*[`N96Ō13L.}h3zSfF WguM(NQڇҮ..D(H߸pI< P]^S~!eZy}<*N.FV](Cꨩpj@oShk\\
+#~p|k |ܶ+{LƓyZu/6cnd)YA" $fLb-`@pjP*AKunT_5xᣎH6rYH^%hṅHe(/s7nOi*M*Փ;9O: T>0n+Zj9w3WuWE =s XN -Cf]s>Sb?qL*p_(]4b4߷^8Ʀ ߷Ф gYZ7zXZִF! <|]ŗXi%>Lǹ`M+M.%Oq:@R#qFwt0 C{}H^dBj9)I+lO :V[šP8l^A)<ʀdX !̟].cfFɓ}7=7^u{9 k U!i){cv}&-!< 4<БG st2.Xޗ6+ i\܊ž{1i?tr:}zCW$I*5/dVSr|ibXcFU*SQJ'\gf),JpxdS&*̕iB3⺃[Q~@%ƛ$Qbơ `;]OKʘ<ԇ,R+^ϧeNXf(#|=;_Okh?pI`=9tj!u^#؞V`8i' L98?~b@~$Ce% !\XI;fkn۪.Dp6G^om&1!wp4fzFTi `|RCyqk#wPtvҞIiS.-Ao)`,1&GώhG.5MUqq9n\,bD]O?\#{̍pKQ_QfL; k˛\yC]|ڮ;EQ9 q6݋+1\bUpDѓhCr5 a xͳ/gYZae162298ab513d6b9bd6c96cbedcd69d3dd5eeb607237e2b3ade8f359663183ef1c4fdf52bd9e545 2b4ca8350fd83b5b43b9dadb5f9e51dc7c3598b3834ec66b15f44056642c8841a683f1488b8e2f3f  HOLCF