SQLite format 3@ . BBh77otableisabelle_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  R R#;dT ] HOL-Quickcheck_Examples:threads=6elapsed=64.466cpu=134.636gc=4.988factor=2.097zXZִF! _)]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl~bR[`[#6Ry?3w6YoBA?d) G_Q5>u_b/ag_LgS }{rN}[DDu'Xx)l0j\70 ה&Ӆ0- r5Y{_EN?u l$U%due%4tB8)WaMď׃;! ib5RiT'vXɓ\t!?ϗ:8h!3>sGF _Eg0*Ɗڂ/QۅDZ"ΑĴloWw{r;5T܋pvu dIGӥ7wNhmXn/v7Zyvf"HA|10ۥ!BPh? ռV a$399:^/wCpMƯQ@v4贐XAcRѷ^V6gPwuIitroyȪe>/gt9Ymjȼc:ӆ?-<hjLc{oy\)]F7?1 7~٫DkؠS韧lX)`K479댚&fn\I<50Xt_vqVݸ:9hH%$?·NhYiD96Ex#,1?۵3]K%q_cgahMq@9^J5gC}\-i;`}cֻ,3_ڃ_Uxt?$Nhx@Zrc-e/2P 34Uhg S =WB~p> :ǂO^}$ߐTi}~Vǟ5ţ߮&jeēvϳ1K"%dŸc?Uv{enZYPutNBa|s^j!X144'm7ɷ~%&g]~jͿʘPsG]+e馀f vF*x)df\?qId 10Y ; HOL-Quickcheck_ExamplestjҶ[oQ*ry)d=o=(pcb{J⇖v?C1W<8̻6 LǛ^Q'zon۝ħuI>IrhAU&DD5''4⊄8$\ez1XxLfDzt6XOG/EgYZ7zXZִF! 0 ]ŗXi%;8$\AHyX`l<,Ds`\͟Cpk(How& C; g ,L4sȯ:aofRUv,Yv$ԁo`]}kSGr럕S;3%e /b ڛ//v}==?ʂ` )XmSiyw2."JIQP/SNH%]FG1yZ?b .s"hi[ $ 2JNJ%.LdL!s@xAo )ǘ9 0kdM '7ɧ}= Ԏq@B,N ]}W#C+_'27Em럼3қ*D.dݓ/D F /?Nic^"pƔq7rqT!8y? `)=i^_ۈ]~?JPJ Cֳk  EgKW?&I:,Rpc,+ZGr oQL/><Յc@@vYXte'FƼJA$;zh*ƹYZ?ԤU 2:BdV Rm6jG7耝 Rၤ^Q > ~B5S1wU2دמ'Hpݶ'Hyw7.0@\S}:dH)rjy@jzPzȳ@3tkMߦey^2",`Em[4du~Ldb-$W4!|E_yb,2Ő w%qǼ מpvPA:Ql^5bf >98ߔeGZ 3@ӇK 6/Sx JJdl?m# =V2ex!j+E&ୱP P&s{H(Mn2+ryQ<@Jel*o̅;v3&$:3XD5? Wk,u'ʄɳ:n"c~ 6WYGi^6X 5H3E}k=Dt2bu&{W un6 q:~t HgjjjυxEў5*lA8 ~c.dQ.E`3Z08qR;9]~kC4VCPd[1L-`pm;Udiu̱wȌ^rڡ_,X2tɃ$b'\6h=%Q4?Wtk'l8 Gλ4hfC;jCEI=KIDc7 &-JE<_݀, iMgʢ ^9)we^bB?CEx Yd'ѨOj2%_Gd3m4FbBW[[kIQ]Z.ſ}OӵepRbDxf 8`+o_}ikEہ$:-m;}:Iω򘎕i\RD)soUF](q bP6ЗZ (ꃞJ.G}zhǰe:eb_F $r6xF ?6 =8iN/Dڣ!6z Oи_Bcls~>T^ &{^O+i:-U(;<J/9Cg`:7gd%*]IB/g.;lYۊǜ1bͳՂ/j.5X.uywC!}= 1ь);QqprG9[g.uz#HUuG> k9/?l$+!Uo)_5sgBFR/'YW R5 LAP%;:Qr2/-V=$9&]( FkU68Vne3~ʲl]O,쉢 LUr M-ÊvY鋴Ge|?%K!t!-CIgP嵑.bhJݎ)y஖S*EmoNOtӞ¼ u^Y Ԛj #N!3VUۦ7B7C7nW)ڪ'.'6X4xHb0vDbMq)c'$LSNY9ݥ8%ݠTs\@ĕS"l133_m'WrN6x ,q"Mtr-D&aJV 9W%sB^W_Z[>|'ϙ2hrWu9w MdfAAGD5_IB[08ou 6s'w'seіSqY-gYZ376b7a4ce5274251ca9d5742c49699fdd8b2b432da36a99885b072ea1df6da1ecd17877fde202f52 bdf29acc00c9b494811f7778844336d9d406d3ec fc50af8af4747fe4fb2fbf997be512c5134346b4