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 {- | ] Lambda_Free_RPOs:threads=2elapsed=18.930cpu=32.568gc=1.368factor=1.727zXZִF! )w]ŗXf[& n@jИp$Uvi KGt/ ^䔠IVNX]̗x\X!FCO\wg0 0 9xY0WG~[9]aZ3 IxUJn &>H|rDouvڎp'6su+筁;Q0pU>g4 +pO49RpJfmtWU$c&sQgYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"D ?֘$ſ׃>tĬ\bΘ9IVv`uaOLȰc?fCa&a3A+,;;Ld:!ܐ7,UuԯŘW`WE*RDڹsÂ5~EQt= m16ȍcQ5>3%o]_ogYZ7zXZִF! o A]ŗXi%>gR-)j!FBjͬS/TE+dSFurtݔ¢_7F͙jקP|Od M՝F3T#o7e^UaůFbA76R*|tADv={e"us1m2nXoXQ4 e թiz(mG2!ee5#I1Zf8gŽ7QJQlUt,$lH!7U` kT1@^_ IՅ"ثFx]mjW'N"O'{jkY>D* BT^M$ QxL9vg`(() XMW:P@c5dLY$@6}M*TL0yZ^Ȋb ІosHݶrQ}%O:rG]g%xб iZ?CBߧfl 01ƎW(0V ̴A_56Im?8晗 ?TeZ],DHĎÇ+w ̛rU)d2 1m^s?ƔxBU4qޅE1J|c)p wWbMj,_@Cm((Ip(>KYb6( FJ}X;o2`59H+U(&L \#դVq(i^x+뤙H`F?1q?[#;dJZ@/_oGe)7I뻾:DL/`ki.~iWcUӁԲ\\% !ҍ_p!˵9\/' T觎e=Kdfp#TXh_}܃D?si/'vк#Ӭ?dy R,Q#7}g08(}'? h:5bJy6Ml, 3$Ȣs09u~Ǹrt ń,\v9"ŋXȞy|Mwl|2)ӝyEo}NbZ`i^~TY]猤(;B2  ^ޏ;gYZc4d3270454870152db1ccdf2c7c1490db807cab30779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 - Lambda_Free_RPOs