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 \+ $ ]/ Card_Partitions:threads=4elapsed=6.330cpu=23.376gc=0.540factor=3.697zXZִF! NK]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X1&BW^wP4Z`7D BC0a=72c_Q lY,\xb<hi4ɣ `zY-'9(zH7d>?Z]ꆢ"vq[b){+{?>{4N u8v3~M&@.vp0oh@L4[@/jT #;^|0yW\Ž_nc/J}G^dwu~ vǠ}]ð<h2h׷0/vq2Zxvˏ\= SXguBt_KpSj,b󝽶M̈1Q"jۍ.σ(w 2+ j:97Ol8<{.Qu=] {YNžp^9/}ܧL"- N.`ΖebSQ^!-odd@ɢOC45$O,SѪq"5s(gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLHh{\C\o%k3~N{ t\=ta9O[ZY%PɌ x}dt|jmlJL+~uk+8TxKРk缹r hfYpld)p/ rFvgKh!G3Y~m( ]Q%98EH=^oJ_ِRzJ;uKA gG?٠K8. 9WڠU78b㡰7)5Qյ1cƑ+'Xc/dڜv۴/Oqc w9`276O;w`taB% ۘtl5q7`9~/(M "4kuw\'J\,Oӣ4V5jfو1Dr#[V(*3 L1?r\iBe B+UNbtV'Oa)Mn0`.RMIZ7_^YxMekQć'ا9g?LoݮiBN_UOE^抉@Aiwm&g蕕l0qOg%}<^O= &X7Qj"r.t`PH'>B (6,;9f9uۻ\FjŃ巾ۺ8NwHNz֦ێJj7xA~s e/傴2<@/]w'1Zwľ<$>-yy$auJpNq &Q#U;b(8J]y$CEJU  ;y0CC%z z0|]buVjh-"P'ZSA5.e-?!ni0i2sJ W\C!%J4)7y>a]QΌ Kc}rb o7fgYZ32b0cbe2d26cba4b882a7fdef2398af786dce520a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 + Card_Partitions