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 ::C 4$\ ] Separata:threads=2elapsed=13.927cpu=26.636gc=0.660factor=1.917zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IЊo$5,B0EB=K 9 }\-ח<4ڸRosAѶyq;[QA̎v=bM=<2Ϋxa:5͜lRI-zR<7_?3{vWIɈ,!y^q뿋EaOCu3ǭDZZ^(X8O#AX(]cS\w,,낍\F0\CRg,C1 Vo8+. AٗA-yJՙ: Ly:Cݙr?ti0\tgYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰Ko!.ۿ@@d .[ Än@>N=JDMA]3˩' [Hg ʳ-6ꤗ5ygYZ7zXZִF! Q]ŗXi%>g cY~qwM!\5г1+XǮZy# }˄)$LEI.ge# 3Ϊ NY1F =>ca=۫k9eH~t; sgA_V8a|pćҧ\k|Wcb5P~6fcLNo tsaC]T@HLF][4{̂]5y'p؄앝7XY8·9Բ&fv#7J27M]v( %EXcu0up} .c}k:V:'SjZihv x((>~}s.'`Mw9#6~.|E$%b?lŕƵQ˧"v_؆G{K7O9*7Mg Rɛíǒ ;]`!v)%a9(M.)F/,g}SO~Hy&~%+{p^(HQ/aF)RG]pVkїhCi j=Ae$+G6Y Zº*^Ł?3BڵʈfEPX{B-`ÀA"N>&0JaChGٯPPfLsEVD\@oS[2 ]W}\jÆLB6՟ *t[3]yqQ(YbCH*n?S嵚nP2(cפ'iKao&ti7`[2riGF#m啘S~.l##)M_tжǂd?QToW R]9:@gWCm׽JX$|0u}2Εu/cqx$ǴrvuW=V q;$ʅ\m$ΜmCǕĊՖ`v%HR9VFnu;o U+T?L.sy~߁39~ML#7bK!ﲞ6;iE@j`E>W[5(֤<~=Tӎi8[$%nsKzj'PqxspC=  gYZf7684c15cf5f3275e7f44068ef2dcd29c6d0bcf997833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9   Separata