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  ;;T ] HOL-Quickcheck_Examples:threads=6elapsed=64.742cpu=139.344gc=5.700factor=2.157zXZִF! _FA]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm&5 xς/CnA18PALOA_pD--٩;?񎪜wZ#{qٔ"iNDf1:=@W7! GFL{&~cHXi cqVFok-¨4[v:dkLӕ=Zo6ef i}Lڴ}1üE?s Y9k'$]\/y4 Xf#D|.*Ju̫BHޔq;p_V㠣DABFyBG4Mp##Ta}'ࢅJK~M&{.q hg˝+wt]r`C~FxCoS]mͫ*YDj[ <Jݝ*yE ; HOL-Quickcheck_ExamplesQfk[Ca [lQGanO(3q(#8 ^|c閔Sy8 roRbFf\5rޤX_k?kcTj;l[Q0}P]e{ ǾDgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2, -#`h$+=5bG6^⫊NǐI)d!_l"ÈQA4W :+toY +h v Kr { iY'/i,-OuZ%RG^%{ п n2M 8رgYZ7zXZִF! 2 G]ŗXi%9*] AT+z{ wJi0YNLH *LYݾoɔq42'>˦ySv֐燅6"P6CR x{K/Z%eu{gr(Cd?m {"2 {Uo 7fe J{9d7Ԩq8GW6hJ Ͼ`?R$ZӫghOY0$j (qgj<˦O)S yk1]b^R 9e^GlB-m4?R >% 1DaҜq?^^x) ƹǗ$HX ~ժ.+ѫ5"ՑT+DGQ~b7y4 Wr]. wsAR~ >v~o0縿 XljR*>FʧofND&8kִb m=Ԉpm,YL09Z5SF* _OA'TbK CKr&i6ߘ$455 ?*iBu/ b>Tw RbPm!Uwyf-j:c: l '0s=!v@aD !MGE-$Q&ÐsǁņKbZj˦vJIꢯK# \~hסB9^RUBn E9hl/t˱K)n qRYc.n)& UY*Z݅3^SJl^_p|"_Y8~k iN 1`Q%kLzRI٢؎\R-C2Y_h( ԊX0[O"]>g|4ap/"[ 96S(s{[Mt+6ƕeEI2F_۩KVl!@,ؙ̧ݚMqG,Ti}4L@XԧfH\_Ym}y\2`r-5ܸ 3UM&(iM(z!PmQu mA!my#*,(.j LXT^t<{a?ATıi܍@PheF_6nW)۳2=Dm m2ޭ ̉83dF5>4k86M;hCw >w9DC쑬_ ʲva x˴.v:Dh"F4T@lҸ0 H'@"HpS3k0k|Q4T}Q;YEz1bZ2aߙܟͫ&yK U_x #r3>zL00uu1Ɂi>DR8r+ÓBM E.v/8q~d\75Ie[-*wpZ, fBo{!ỵAp'D:33{QsTjgk ')֤dW^Xc>/%R E ]Sƒ;2aIlOog1g Ǹgu &oCƫ'. Fm6RNut&I//r/i]\N)j n$FCͱtݼh%7;.۶Rlt+N@L4fk*bU~h\6rEKPaW; )¶W^neȡ.=Hd"*VV[,<?;<&.>”K!&14}]2MLUߝ$-j4[2Pk X-="x0i[8{I,„X.)E\zssК8;X_AdNo uj "1-iu#p" au)vDt|-x9'%.BX2k"dpTkeYh]٢#)Ih@\-z@mD}M XZ(9Yudx(UJ^X?wO:վ K"JBeȤ%a]gn^ `|)x>[O"t%&Y"]{.x+D< )^N9_JpQB`vڞڸsڑ 4pGMeNzbZ47PE98 *x~j agU^nt{pP5ʫlë omTwlՉQN.o$TBzCm!Or#QEL`3~ܲ%PE>[HءyX3uO:FoX+@7U'>qYT#A'Ԇ-_X' ǽķqby* Zϊr:wKM'{m

= )%cYE?~z=@o%o|-]Pb TKurj}yx0JD<'…[;Yk!c?+/sbRMoڃ+wk2oc Y!̒r$nb0l|=’q{iDT°r>T!X`3)c+s-(@FS@sj/Q{{sw` Cwy3 Uf0Z}WQ On@oX_` ip5E)0C[2[ȥ.ʈƄPbewVCt-+*q@bgw$h4{*Dq?nq0) ǃ-^ްĂt|aVܤ bg4(f[cA~g6P&!aL G1i/Zr,%ѢC}{'&*uv&%ڍd#%336q6B')Z73h Mpbض,?kf53|6N߈v4M6ECa<ɴN[VjgYZ6c6c76f165c4c9371f535305eaca924952e577520ada86ca64541a14c3b4bd3a93cea3b953b9dfec 70ea897643bdfb89d02323d127adb06a2c6b9d92 8df5bb739a39fb37ce217dd27ea0d92da3e6802f