SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 f' TL$ ]/ HOL-Cardinals:threads=6elapsed=6.946cpu=39.076gc=1.296factor=5.637zXZִF! a]ŗXf1-q恈<-¡$johkX2I)']8PIxerbMµno|_,F02Ɵ9Ee0Ӽh_g]/%oEy)fh‡K[ٔm"oB=R<6{@v~fg-,RV [ƻ=?#` (<%lW?I q},k ZZb&:ǹBzw{K# CK|IԵLt?x^ . F did2|JYF׀5Z}Ϯ GEkpCN"ݨ{ޯq~z)m305;kWDN죌Z ii) CLd~Ѓ:'s쏻E8{qbȩH~1}؏1PoId{N\e"t6^}p6|cfkՎTțS82WMՔi= >&O ;m7oi)?G0 yЫ3nKs}SSƆzE)/K7gYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zV^ρr V:ȁS~-4ԁdҿbd2]!LI(ҙ`)P,/4$>1 EUe&x=P!3ta}Sʀ`ՉN,U£S4sJ)'*&?#)au9жP7ǜYƪ8ONÚt*uܧ׫Ï.([,|}_5!Ab wbj!/gYZ7zXZִF! )J]ŗXi%!gއƷ\KќˊПm\x\G)la}7RKM[CUyKE5)UufXהN.Q!}4zkd55oK9Y/Q*:"X ǹWd󛋪c9?kV#mI=ڃCfCWh$UrBS?j =Z{o6$,щӈ Kn +*摑0eIG(t`Q7'~`\TI]se*#^+rߐ̫/O⊩P:`]d_'aȷHS.!j/6)D.]EK!' :2?4?X-ʥ~sEbֱn?KlW﹉0sՖU%pgD5+ʧAq 37^R1)j!"@ cVE@7a4+jB5Fr3%