SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ~ ~w;\\D ] HOL-Quickcheck_Examples:threads=6elapsed=75.514cpu=168.504gc=6.048factor=2.237zXZִF! `*e]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏml)ˠOτ{{ފsfUM!D/{2yhəΫ"܁<>͟ƽZSW2.c $~v1FyC^ݿx Иү}ߓsʠYevcr.z 7Y%۷@MQE `6N@3ӂ3RO(ަW$1,d K: _^ِS,8spz^nP "%WO?W-W)uM؁ / $hB;~Ks#DϜތ$rr*Sp>n`UtP_ ۲=^zF};*YG O%{5Qp߲ƖEM~#PWH\N;}J؁d;i ̘t-} dU_ZYϽХ1~|W#T=! Ɋj|>Mt2C&侾u~ _m2HMqD>9#NDL.:-bx3¬{ YD\dImFjHdbGmw3LʃX7X$Hy0&KGϋ/Wh?C<6EɧHm;]@H}@XNpA;;•XYC]%[83rhjViO2# l0dCGdJKT^ꎂ4!C=hxe55r.ȉ  qLamiR XyZbۓTѣFase,$2_WfTieq`VPRNc+ SkC,2rgy$XGr%&Rl+AFiB@Z7%wbz-}x {zk [D OxJR~+p@{t*(ՙ1o2?4Zz]zS|>8.ĈBQݹG J''Gf `],W|v8-0WRy pCuBM'ąEy:;xa Rh1k^? )<|:$aҍkSd_%FײF(i9HtϐCj4I7URLV+^/ _ ?C?;7:"EHA ߮cO漝t$7>bt[VYZp{I]a\Z%ZO:wbzɁ.`y`X!f Ð ; HOL-Quickcheck_Examples  u"jڋ,?Os:>K̍d> gB^-EAҡnD>ITorbJYVghk]9x.%9Sǃ$J'RM}4s{ V/`0 ||8_Uu (Sp&cyˋ )ZUB>Qr  =S pWl6 (`4* {L[9ED[zYJfd >O ;w5]0Z)O 2䂔)V8')'L;8~W"xjp %&.Uuz&3(wBσN#HSiZOT YjI5PdSr 7w<Ȳ3<jV~?S*D{ۤM?3)@MeO qL- J=Q.Vj3`[[^Qvؔøi_zbap.~ 0;5.ׯ} 2٨l~䯚HaOO떌KU\4-jݶ~pz5<TT,) pl'ëGP&%D]ڟy, 85tLY5뿩Jh+Ji9Izi +"Pԏ]Q'nfϜ 372kѣOyo='+կD7̟^`kRdcL$ +4#<%}g'|OG<2A 9bxq9b墉6AƐ~ =ONb)q轫ilX$o+ڮ ʛJLq˭p5+jm_KgMcNwG 2~N5aڤ8kRL'meFF܂4_EiQB؈G^$z.u(so6Yeùz--/1+*A"iEކ&IfaԾ5Ks5:4f;ڝ-61ܑM||/OBd |޹;j{K@4VDzd: ZҭӝH]=zȾ=<*П)e F Gp^^$qo=t8>4\xQlIQ_Y9=] ;ˆ _ 3ҕǓ]  +"w,@]GӶx+ *nE:홎>to߭  c^|<b0\>Ɋ4֖-,sjVF1j<*$X̦~xoyQ+0tOsĽ bf !| {w-qTH zJ@*YJnj,g;=fӱEZ|O %$TmRDcm}Ȉ-ACO(SJop{؎ɠ"ivx`d-kH{4h׏;odxvZAZDw) 7'tKKȽ_~NU WڔPZ hEicJ0j4Z'9{oZ7_߿ItVeGsw W;_hJٜD1҉GUuCƷ- 8B}p F2:6Tbu/V `ip5'mY* Q %?cU#6Sp1ɡgLx@.O?owPreN@;ฺKR|ծ.6#[|ϚX{AQ,aYYG4\gfeNzWx9RnS:l^D/`Y0&7e0ctN 5ce4s?Ulvο t 3dj?6 >&W%V#+K͠5#o]8ފFffiN;m+?$a P5!䓊ELMҵ9g:b7[X8`пw4[OOW(