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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info q q 5lt< ] HOL-Complex_Analysis:threads=6elapsed=34.055cpu=159.228gc=4.428factor=4.687zXZ ִF ! \e] ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6u<./?lՏ8ǥb ]LʣMDSg!@uOV+?Gxu=QmH쮞3oX>3jGͭ/mZ0-qE|LҟIӧG^7rÃ.DU[ ҕA 7D+o-ٛM瞭7sa %2Q3k+:c Em?%+f( "1)+#K1sҕ>H0"S*@ 59<?Z*USvTpH@/UX2ohup>:J8g-3!.oe9OQ &`S*BMt&[>]GYvB@T{:إl_5VϘsngB.NhɈI 4mdB4At '0wi GK}7;`haex۬8YV yvhVvYIߓ,=\ğf.>> @`{.z:K\zp]N%Jwjgy1j&uKoC Sب]Y5CiT)ȷ) `T³ŲKf/*3*T &+JЛ艋V-O-^NZ4AtCZ[,:@Ұkd;$o 1B4?|-&!u9uY6B};o6dmTEH,H' 7B6A4Fyf\<Ħg9jG_wEt7g6,W(*9xkq̥k &/Iq7ÝF^+6j> fq_>TF*w9Oy<pkab7Ut&p'8p FEq%-AR>k`WjT|;Ҙ4A^v.nWWw/hVL"jGfk^]a*f)>2d{G"92