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  n n;|LT ] HOL-Quickcheck_Examples:threads=6elapsed=66.616cpu=145.604gc=6.524factor=2.197zXZִF! _7]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏml) Rt m9;9tP1>X-dT8u7tX0~L8m%_'מ̊ȚEsN4irDT[Ӣõe ^: kqE|oԣby<kq`"Xm$ %M+W^[½ȇxC%T=vg8 EYV--h2ύq2폩UhxMF%IRN ~ھ/E]|AI,W{ \zQ0#s^9UM@2ep ʹ _x. AvVx"3t-M-/0H4F/]|_ {h-l!%e‚}[!2drf2wÉ LzR:l8m 4Occ1j!uW*2Xğ <"8k.Bڗn8P+ ȡd* ! H}o!]0R !4Xs1DeX *:S,lؙՀoNDuv |SiqdeQ5 Yjxz)mp,k4Zēս+=RZq 8-Гי!0jslyR>Oa5(C$Ǔi0Ne;\Y gyt\h&X;O A۳McĞW:)h<'7t(i$s$> h4?5ag.lX^¥rawהs̫ݤ~3T8l 8=/~r%>Z0"%0t$xxϩ rwdOT⻯Z ;(޵<5, s` X=OSά%ٍ[&f"&B9?q>rʲVt E]n~cޤ1F * Z0i={m aٱXCePa4G%-gˆ|Zyj%"[, n =5d $3Zg=fo&5f:Fc`XPӼ;lΉI:hAfw;s"㝬N] ]K({ m,.+rc4B6 :D01E7V& ӒRⳡyj31B>XXP'F/5'@"22 b}$:T.Y ȌvK/.и'f%pOٹ9yhGX\sj V\Gs ݨ[Jd8.pVdy9O(43ki uFJ+W“܈L:1TbMk­Vquwî2Gʀ˕u8AHUD9/0DQF 1';C>{?2, !-۶]X@~% $U@b ei<.G;/!dfS, > ݝt Z˃|}|YҢX@YߒkI5|_ &jFt:O_[H}Yٹ 4Y c(4%c*$HLT":أ9aw֧`ټv@;H syfߌ16n*2푝*Z#%2bKVTmӈHfo~jY:2͗"Od]=;NL?gOҩ9胠fHL-KF7gӏEߣ\EI*4lVG<]e?JEZ\|aK,ζ <nYvS9*o(rJz)lo H&( r|q֩%E9"Ha &y;"ŗ//Til5SԜ͕UXR("<-ٷqC TtT\x3}=C2kCZ"o;G7ĝ{ċ2wMw-:K>hkqGK@3Y5f koj%lF?Vt2J"8o u/-kYb;k7]i4Yx_YO#*gs{yJC2FMzůYм ,x]RK-Qfp[@rA!@: 3~O_⑼uK&iUݏkٲ܎hK&h;Aﰕw+{,͑/t+^ǿ{huDD7s~iL.Kt􇯦^ g6s8hy_@aÁά-33mqAdfcek]/C)C4wZD ZRJ#׮ kT.jHČ׳o%|-|MD}>0y//}ndTk(Qe# M ANX.b͏*0i+a /7u2e5Rv̋^& ^6*vZݷ:Ζ pa`߮2oȊ وH:U8oRxa>g j_){'EU>rAZw8Dc{d,zqS[ Z gdP&dy|1B+1z0΁r3b~5Ԩ+]ᏝEȆ`Ry>CHHޔʃreb/ `Ӵ8$ ]B%U'^Śe &w>̛4 $wa,So0e0?t!`)" ~!Cp?6KH{\}ެŽkP2:DMG`R&T{jGΨ+BI>} J~sؿi A烩M9xcW^'~ZXJ7GH[!;v~ԀD6-h }]GF%<T>ԑk{*tbfaגeǙ' `\SI=Ů-QA{DSUg/1`wNIDe;Fcl(Q`  :Rk$+ԁ[z8C=02$76*ed\1 w#8r%1=w38lxI9.Q^gYZ0442f91835be06b3fcce1421dd0a2f3a78987773f7ad79d6f9e93f2b021491a660edb894fe30c4c7 88df4aeb5c420811fbac53319f632128b160127d ec871d64a5a450a028ade00a5fe87e8afacd1c01