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 ;;,T ] HOL-Quickcheck_Examples:threads=6elapsed=71.245cpu=155.600gc=8.064factor=2.187zXZִF! `N]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlLuZsy١"؟ݘё-"O(,3^`O}I%} n5VGUyote+B8CX`/'jDb?=ݨnSk+j sb;#Ka\ aǛ3xqCO2$xUkg҅}C-軉bDv^ͱ=I$ʬ[Ɵ*0"Yje#d{!?4ʼ9-doa˔Z0.w6g)[ϛ35RƸ9A*]3Z;-pEa(z-}DaKeCb67~׀dH4(Tc 7ZNjj䗹r C!o܅LTmXJ2^gYZ7zXZִF! V9]ŗXi%@^N##׵5HqǏ5Mq!vcR½"M&P\xtX?B[3oǟ˴Wrß@C&׮a1 Y(0haۚ+KTlK* IR|s%eAEc/tg x>\#ZKS5'QNqpBw\  ĒєX8ḏ*Ҟ=,U-SG ~q-oIT#ADh2Z];Z]0* pv+ʓC Ϙݹ4g-=yA#꼂 DZ.<տ8kS1^]R۩~&m뗘lLyQњ#RoaGJZ{QK2j5'zsr MTFJ {pF m<S'b4Bs/27yQ6 PwZH qCep 6KvkIlG`2lDo:5-ixDfv30ʒ&.؎A-͒1TP:h#H"Hj虗08:՛W;!iجK)!/Hh@`]g3읏ߙQ(#[]A/3gP0cM6ҋO@(Pt@ /- opupMp-vUc-2\.E^lN_}"uӚ&t#-G يbyѝ%|%+-o0n'5h8NCgǂtVz`xe!HS6]AEst xĝ12r|!X PW{C?DULkQQUiC1**?+62RggwI ~f 'V xu^w~ZWH; 4.s|_ͅbojԄ{ueM1ݻL @3u-3(PvHeyO> ?+Tܧ5a?JƂv8 68&?Jz*>n *7e<pu AB"bT%X]Ɂ {U _PAž3flK|{),?+#Q'2XCE~jd:A6RCuVN + GIo@Zy֔-n4I.N0uUަ,-1A9j@ïM\xY}Q<2q0=,]?䶌 d4gÛ"Z8Y~1ub׽iq;)&dO%FnY!@;j89S/o{Y~w]@tx4-\Dk T:}0=+3v ۴u/$IZI^C;!q%i깄{dU)Z8ƪZ #_@ ۗ8RXM#7A̓c4LrCf LݑL"xt8ӾφҷkgQO\qGkpM Ò؝$,^Pօ5]<PuٕxĻF$ DD+yD/9ܚ܍eC`d ܀EZ0ÁT팴W :jJ[rJRt}O{9w!4O+pBRȄ}vxĂohke_v"Bm<ڨS߼8r^idFfOBu4">ڎ9ZT %M8&/>r#㪦ht2,o9d G“L811ZZT4Q=sHƯ *P/sb%aHO;-x/ ;9BtG[b욢`:(U2ο%}L4yt6D촰NFZyOMe /N_Ɩá 䨛Hi8oBYH %> R3{7feWn,ힶ3+o?΁jP0"*+Qr&,py*̽ÐesHi[v;@Xul 7< v[GQ8I)*l>hZ-a߸A0\ f(JH7o tPSA6x18R mү q@vaa'x^X LU| Ni '|C ewe9h^ibK@ ˆ~Q qV?/@hDs뤌x=0ѐ/G.nX_m> [nA^Xͤzپt)̏T څt5K*d'3P^Y#J5)W;M+U;*QtqA*;*T,ܩ*|z.O*aqDO}$qtzd\ 32(vp*Z/ƒ鷨A6 Q)9j(7&]<¼4aҒ⮑"A\xk #|s 7qJ߷|!JfaⒶŚMO`־R6 f+vuㄎ$), 6n߭{VgYZa629ce055b37568ec1cecc6aa824541c0b543602f695e2210c65e40e35d958c5ecfc154ad0d6ad65 874e40ba742cf3e6e99fb67087ea49c26880e3eb 070f09888f0cc4dbf5f4381a99cf7572ce551dd3