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  +9 lt ] Card_Number_Partitions:threads=4elapsed=2.431cpu=8.384gc=0.112factor=3.457zXZִF! O]ŗXf[&wd; G\oOtkkDwWTʶ_cZlޕ K<tdx21"G[OE eWpӆKG2|UN^7~}k¨U'0fۻ+ONfPvVFL(!˃M T)SϐD?X R5p=1:b=>j¦EsRO"69ؑ>HtpVz910q0x.gYZ7zXZִF! p]ŗXiɟy<C{ٞğ3 H&rAre"RH6gۇpyz }J<5G̤C,p Ok]sg>2gYZ7zXZִF! !;]ŗXi%GЛeg-ƩW \U;jl* CC)7-\#XBEJwsg%q0 3aMtRʮzU-N u=9{KgnYN^a^M1{Un0HZ Uxs> 9tJ5@ Kw9 P3`('FMτ>{mN}wJ9',7˸鲔AȕN -'>0pWwEsd^4Wfk 1qR @Jz1͙i!mm0Fo!j_+pNT*ΧaȬ&BtgԴ<1vo'+B`tpT49薢!. yY`/ld-ޜ\CG+bI* )=P/:LlzxfFf{YKCi|dp'meȓ6#J@ Ƈ#e?]`>J'ahZQ 3%,+BR.^dzkb@frq0&D < ]**#+꣍?+@as&>(ww{qU=<B/IgYZ0e4925e003eb6757245499483eff4c06565eddcda1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 a9fdffd633f8437f7cc705ac0a290ba020d4f213 9 Card_Number_Partitions