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 {;d\D ] HOL-Quickcheck_Examples:threads=6elapsed=83.046cpu=185.560gc=6.832factor=2.237zXZִF! al]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlZQi:"WLOZ*z'}9R\7i0]ګA]<2԰6JzZ Y[Z(P-̭ns<)]6s[ȟssPBV].֒5Ʀ0ވd [oYb,̦LO<JHSyv얬 4tjq$taPW7@uV?B%?(I <6 )gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW N|n]霤0*WMsP|r.$-:2U--4!Iq9#W7[bֽV%#Gͪ˲{מJ%`كg+^\/̐MJH$3cuxyu+n]Zv`>go%WIfVl5gYZ7zXZִF! 6]ŗXi%90HȎv+i_.&ۤcKFғ[:S|w{# Mth.B)7VtO/2)(| TQ~!6 M!I-ty Bie'\T[X;tZ ; HOL-Quickcheck_Examples59gbX3KUZpP^2((-RbۤN͝(7+SË%XXmE88ռi.I[]D{?\H7jEK͟ cx] m|9usuxG]t5Hݽz"X+>Nl& <^SxnRH91z1U1Cw8m/K\GRvnN}=feN]LK!7k#ǒ7ƞB~"Icۭ]WurceZ5g\NǂNF~G}av\"H{i Fur~Sj&rO#GRWNLՆkfuᄿP`tvMֲ1}`ǖꈯ.hn(D B#,<047hx@KŧRKw a !Z"">˘un]6j8~lwJ ˹*Yq+#J:!E2.O277iAMax 3 ,{ ]#sy+ ۴LKWYo2Dy=#}?z%6<`bқ3jZ^5z7bEqO}SAArs/1?Fq-b8 V~_יBMMoEԞu#1N;.aLЖMX)W*,5s5KS⨭8f^к7a\`J`˧xm$lK}oH5#w5JNK'z (vULb4l[d"eז/atwؐoqB*[;ufA4V\F #8;߮W hnݱ+e|k}_&I6x{QsnBpac=2 =GH,)VZoRK۷sZ[v~:'JetSqrVdl-:Lds# ^vum -ګ[rzNOFk maf"$Q@Hr+dITmWAozUѨ QVO/gNG'r0GQirO6#W 9Ǖ^`X`9_Zo_dbړܦ,o\[$և4ZngcS,2Y4ay0*WVoKc)oQ`R4rn+p}Z-cFС/Cd\ 8GӝqTNod)-'͔bc؇Hw"m| :?_OVԢ~,àqW` ȇ**KRF>:X;#M!JDGVOqUtW1Hj{ e\HәP=*ԚsV>]hn.܅j>`e6kq#;rbxD@O iw|e/4q&uRob|upֆzas*rȴ,A"9Km?4,l9/ -FF LR 7IY'58yT<Xj^<]\/2͖"1s65`^(~N‰5pmHcӖ 3*SUT{`M27[%19> L]  ̲v.t@LhSh