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  ; TT ] HOL-Quickcheck_Examples:threads=6elapsed=64.201cpu=137.356gc=5.492factor=2.147zXZִF! _@]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@),Qae,!%E r!\풪qԝ[/[6@'' jwti'9@%稠b > 7BPven]~܇lυ!  e##]8- (t1'Elc=vAXq+b kk%' .%,8ڂ+(Wx-6 \҈Ͷ9o:ʠ5Ą}?%ߐX|Mk+rA2d)`0\S$g% y^P #8 D>-pfll|ڼxfǡGG~R}6`,U'x;}ps}< %nt} E2DJv)g/Jڶ 2dQ 5#ឿ'$~H&'%5\EF1~j<æЖ;n-~v2 ƞ_|WE"%1. -JxG {oz7jIil;Í!|2|}l%1Q,:f(ZqP "n)BN@e/<}P t> _°?n:V^I}H"D0Ъ.콐vVt__tփrCx+hCD 4M4G؉{x]ib 8ho,5:_6$W݆?}p 5GP[EES<\dv3*/7<ׯlZAۥ[=dT$,: ; HOL-Quickcheck_Examples Hz1_*ϧuQ-b81T[]igq ͅ졺=;(n_Mo@}tI2P6ג,-yj"2i\os]}֎WR:a ĿoMgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW ;kĔ$O#k-3AxمWOu0 r:#)LlM@}2Y#Ŕ 5UVv\n*Ndm܁FfJ|>]}4-גBJ1pc& RBX {j 䞜@%..gYZ7zXZִF! 0 !]ŗXi%945\ܡ}e뱠IvKS)B7'5oY _;8@X_ۄҟF ?'s\EIh`JˏوFf>A RFNȗ a N9> X&%ژZکer'Q/jG!:b&r0"I)|XOvο_mK}gtH'%"mboW;`&# f'`\XsugP}JW2"a@5fj!h ʮu0Ryn+ӸP[T`9o'\Q8'-K*'S^hM50VlbUXr/lُ;١VK<<)iT[@rY{|BhA [ME!:-r$Zұ|7YC TP a ?fm u^wM=ܑN@hȤN4/~辶;[ߦKmeĻtHn PgHְA=[pupr0<$lgb.DXY>G,b*9%džE_660z $ΩV a}l;ę: w&ޣ9XX׻bL+vKB#F͊ඝÊc '*evjk+X;)rN,s"QiЦm}h~€0}ʶ.Zm-\f% W".ʅL N|~V d)ok o.-?ܳtH1\1^oq's -<V z4~/ Dڿ|Gqdi{WI?] C гeK;_5]C}L2DeTUtQg㜍݅.}Y[f"z1wp" Gh@h, Fs4ڎwJHntٝbqq@U Q`!a!MW`m@Iw挦u N&39LST^X;āugI|g'L}߶;'6tq15 Ԁ0>&B 98*!#'Y|]*Q,/za:3 &v<aπ`q 6ki!ͅfC U/stA8-IiҾm$]68.q #)JD Z;6SZׁZVҡsȡKa #^J3j{N_)f 9μ<2+6`7n[cC`.?1/ j^wE/;$rUc`hqv1+AɗL5)#U;>4R|&S&OH]R;ԣ2>`j:/c1HȫuRਇv쪀AО%ukuz{X5/Z}QFD%Ɏ:!)2Rqz ~nSv׶3ԏ5,5\L%Yжcqt5[lx]}{J~aj:`)Ȕx| KxB+nUypTĞƌU*;^yYvQ]Z8_ǖ)F_:-3(2`1__^?hΧi\)<&%?a4t I(GѸ%j2h zɩZrgmeUf Nn}Y2 =&4nU֏$K%٣t_EEN v͊7Of˧˚"S\ED\ :,Fm`reyk և Y7NC>RXެYcràTrݜOݥ D]`" .O8vU`S& R;0r&&4hvvak``xvsKͣ/(ڹT?cF$źpkmg=lOyy5 VX^p}:`7ϩf#g~T6gYZ472405c165975aa2ff2364b87da332bf182c88ee8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3 26287f7258648103b1684486e4620d0d4bfc2934 ab3cb2ed7f63b936fa49e464dc4e11c5fa3dc928