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   p+ T| ]/ Card_Partitions:threads=4elapsed=5.575cpu=20.628gc=0.420factor=3.707zXZִF! E!]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uz*<^j8y(}Q-7Rq8Ԗhʭ|Z0^o1U`VT[O<Ǥ@G~\*{){A"#頿x,"2\fkCGX& s1`F׏p:1|4J 竫(jj^m+# ki^3:xuH2Jp.TjC4ubF $o> !ovJdN9ECbA0`tLɦynpW7cB< }11,@4R5ȓC m R!A'[t8H~Wlx*6S_|ILe3|ON+K`5$I>TwۧCed}*]S+r\o0MC?hig MձgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLSS>rk; ׼JT&i=VPbQ%kئ!JMNY&p}NhVH(Yƹ#eǪ!sRK Ȫ+-H/%"9`->η1ܗEJyS GnBΰ7`za?!m<S`T@gYZ7zXZִF! 4:]ŗXi%ES38e7[.ͱR83:ykZ'OmBQ"]Z*s}fCJ*$eJ=QW~+ t#K,&"oSsMВxcF<"fn`>q4-Rz8ҿ)OqD5Wս:&DN|ph1/{ t~_\hD^ G7'_>aAp;]3q_غʒY!\Ƴfԓ"{ꦲŚ=>t^ECDpO.z ,619=a!uº…(8$fA,~L}͊GHoW՞EL4[ꠎ6&s)tHȇX Dz΅D[0Ś`2fP4d[OSU!QaRd|ב%`AU\ۼf#mkZ"aA,GS[,=9!r!-GQė شÓ_~ؚO,d~ aNaj W w1 ;L`<ξelI$4Ԫq:|ۍ乨\rk.&r<}KA.2`X\ Ax-,]fuJ%#q~~`]̺;xLFϙͤ ޻Da;-.hP$)rO?=0J⫘5eF'J)#hb;% Ä i `C,/ht;ȌK86 W 9 uq UNc]miT?=&) ,z J<۔|\+uz-i2u23?=C *{ F#. nhnh"xJyDv_2%cTF> t0 M}v@:ngZSE2M3y/\N~Ͻ-`WFW;{`-p`;G42?HmynʓkA5#~l9h#iɮ3gYZ33ad337190b89e35f641794330300a070f3f448576b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 + Card_Partitions