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  : :;;\ ] HOL-Quickcheck_Examples:threads=6elapsed=67.354cpu=149.176gc=7.612factor=2.217zXZִF! _E]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlC^N +dVҘ}IyQP88d"^i9_MtOu\7/1+zevZ :!Sܗ8 8hF&.86b b .{CNVá-X$pAAEIeSjm$}74o#dYY)}c;ֹx),BP۹@8zRf}" }}BT'wιs _vQze |C>)|]5_DL23Xpc_2,3oo^th.kY2R-tU{ i:w~ԩ ͽW^.$@)R*SbsB iW-% 7H72X24 jL[F޶:5O/11ep =$_-'b(zIOdΥqE= d8-N%vԃKs &0mexBpjvڤ@vMhRR}oZ`OFz1΂c5igUTkT@y*h H#gn/b$掭$@L)aם<ȴ-,qSFm-긽lj7ч6 c`7) ^,oͶ CvLc,. Gaaڻq璙 RPr qJ;gv2I5:LF|[PnOc*"cWrEz̴*ˮH~I&zR3PBaMlBUcu>me['d):Ռ$gK|МMףJw~bWBw?F9Lw z)%7صE 8 {8JG5k Gm8'Qq,Oī1/@Lo" GW4&o m RX]QZ_RqTL9xV'b]W1Ydz'AX>b¯@| ZȀ bTwɗ;SQ&,tRڮ!`^DD}Rܵ;U}[x32PTzf\ܰg+H.i7W1srp!*b4ocn%U Olh?hTk4Z;Ke~P*Z5>.Khox0Ίe܄.7<^**4qrHqոx["/:N,u1QYuQicS4\*gU)iZ Yа6D#{D {# 1,-"2!W}u}5oBYsj0}aW3f4[4p_"Ѧ5Q/k7UƓsʛ,CZ2 ;]>#56Q3'ί'I>'#_h1 Fm~#g\f ST."vo_UAmtP0=^#otZ xCQh3=UV@╾6Ghu8Y}#oή7 8jmף쏁/GY'QjZʂ@-sNNlq&|:v ^$nB*qm5~\ԝT sZ&8O}Q $ݒ!N/O*nܝb' ר](&~NdDnQ!ZglX:d0!ѼRrhJ3ub}RڇM='$=tw-gC~;ꑶ5`>i k@^:wQ{7pBW5xnE݊BbrvYNAu-ѕl e`<%3UkXAϪ 9mkhfeqMcgSw7\utǘ~PH*b<ŃDݖj-|hpS$hckםD7r )=r]uH9Q0ƝX{9S<sj$!ZNhm)4s7Uʻςl)IƪMQKVDT_)ܖZ(v hHjYUN E8麈Ԓ=2sy; E_V4[hr %PbN{$V 2wAAH 9`i9CMsJ.ͲeÉG+:jFDO\DSXgMNV>1[T^$M*ݢ /74gncdɗC7&2 A`~OK'zdgŧ^{yZH,1U+R,z &ܤl%KwS6!^j, \m Oq#1`랄.f6ĺ ,bh0%zQ{8b^ѕEWfZZVV*@V~wg,f&X*$q$i;x9 rpAOMaTIy'[g$Payä~`׌neaBLISќ4 M k>2_2= =e5lv^p b [Ǖ|5_Z rX-G@($B-v2[ vSȴj0迠c# /!ےth{]2?W, V?`bB Hi#~uV85>R)FF@ׂ\C#(I,HiAM{PLZ#!3z,@v`t}Q|<OZ c8eH8! 7K2mf:s o*>VצD^aZr-M9$q` KNx5sm]IHXmxGPUj;F_JNoch'3jo& ^f)m%onۑSZ2Pʾ/ҾK{Qlf \%3k,1e9G~ON\cv4vCˇDy)5lf[-2b:O?džqgukB,Qmt|ˮpJ@y9P}Aṃ-qWx~#cC"_bň|sǝQ:S1(#Y qO+9}"A1p`[u?q OZ8 [\k6 CM>U (>,!