SQLite format 3@ .;  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 x+ ,tD ]/ Card_Partitions:threads=4elapsed=6.244cpu=22.864gc=0.508factor=3.667zXZִF! JM]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Iq#"D"җpЂ*ϙl9"1 }93N:6g\Uh5QlkJԟk?@Hv×mw`92g$ة%%s)W?K:4-rtyݶ`y= O>Yh#dS{0x;dF4 ڛ}x FҊ4GK|b.e֢ds|4S>?PtJ6)F;Ϣ;rv 8ɪUt{MR8CLJ{m:OO pŬMD-4߾Γ!(~=h; 8{ o7Ɩu% &{I4 Ɣ"%q icHSCdQr~0+c_1 hrD^h0V*;&#V8=B[*&BF÷̹wm &Da8nDSDw*"gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML>k(]"Pi7d!1X4{g  \ (WK}OC֐R |J d16c y/C*ms|oE֬.ƍECyدysjMD{!7#CWgx|rv'B]ﺀB;U8T'ƗqmDl%/T@ĀHJXP/GF@4gYZ7zXZִF! :]ŗXi%L GmDi<e;o ܐ).zT|i4:WXjT6|_vI6m!DB=6gY_ $^-0@n*H0*i Ɖo%rvQRtkiw׶,4Bo'ؑf+Q'Z]mwD`Oxy ^Szyzҟ7zOQGo G>//ù]2h+ Z*W?u4ס|ABD!ZJ|{i[s.m dA>:pbhf(DnK"(胲q^R+DTm* ݰAa=y h7pg2ou9`PMEWuzT.]7yq{ӶlQɮ vzdMfhyWzBO[a!Gw+!!T <8iT*, uEűgYZ96534f44f2f8c41f29e99781535b6d839d5a7002d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 + Card_Partitions