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  k;LTD ] HOL-Quickcheck_Examples:threads=6elapsed=64.443cpu=137.748gc=5.264factor=2.147zXZִF! _ ]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm?3ħmO4ϖ5|eNƷvX[VϖkʼDt #z:XÓYӍ:bHw63 >6+y).Pʟ{ (gSQ( /buCO[^ :{GW%..Y%} -σSvGYOT>G/ŷIL1ɩZ-ZOJ>k᛬+g[Bݵʟ!ߍgTx!^-@o?k`ihu08> Xs\@ܖw'NT٣,`yZeJdÅg9۠,\+R{Vh6YR Ժn]s.p>o1*ȣ#bB LFeC8MӾ*@]D5OndNp|3{Ȋé<Xpl<4*{P,n̿KZ)ׅW]X!(j%Q3aOJKv-x, kڄt UE 6BB@J(fŇ3|@P_p =0<=S֠ ZG{ƊZ/@5wx',F^LpƠ5yaGvgwWjWW'p2HeaÖ9";T;QĂVMW#g7$PUl5rs3 {ak::PZnDH?!F_BOks φUq3x| s藙lVLOux^| 8ﴚ~V[O}l?UR{GIOC%GIYrx(%0 qM·ɭW7CPjMWDas0mű@v /խ͑{ٲ<9 T{#5L*Qp"`G&@+X`CN)Yg9ׇv^V O GL_bwBC#1&AFa!lwѳZ9 ; HOL-Quickcheck_Examples/rLF4m[/\Iu/ZHk(HRrg""J6.bԻ0S  gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2 Um}lUM_\}}4u%)$t%t[JfZ68p*@"ªu}ooSzBِG=;^[uݮK,L3g'aQyTH̰I+)56T:+!^ЗD6 q\3c6X-)+&>Ԫo& ֓|T }t?4Q G=}yNm֤Y0_)NrT0!3Z>݁.?\r0f1ybS wUwU}1+ @KmZƩ&SQTrDʕ3\Qh>;xɩ' BZ ;օ6|&^wͦpuv]pyPnʚj1T$L>5Hfcyܝ16f&J$.5%H!YLo6vFgijDvmIk`oZ' 6&MFa k%&%7Ckϡ )KBLc Oĵ43F٪ݯM1Ma)(V'U. LMm 0ke@Z:2O,}{q6V*j0RRQ8{edO.K@l?oVS|1DTQ er4fOCYτ:CWI?c>g2 PT;|BK懧5] 2=v@tЗ9c= 80{DM̅gM;-3qu٫w~0q7H^b0wpȞL` v =KpEC4:8ݲB.+o~,H)DyJ5S^}Tsރ|$o0݄#haK->7[y a9갵{f+5Clќ;u\z3_G CCrH7cE*ifO.,*'Y01K g9ֺOL] !*v @rTrQْ;b6eٵRz<gH8t0D:JQ!Cs].V2Ec9I]h`KgF#;@<"LFy*4xꏉ)p1=1t`DlɐaDL4{&0f4Y~֎Gk+XyKbQ u埬v&K;S>JU&9 D)N~Glg)T" H[TCN`.7[2vg@e[P٣ Gk%R yk!rcD+h7 onUL+ȼzuyJY2‘C ăϿگyv V\ƽC Rbz6h`)Mk=)'bl?Uh@^? YVi(PI<ݔdn=q5*rnNBRvXݜU!K'& e#nW"_:Ǜnu&h7 E pbG*BVzj VSc 6YN?`R䳢Å8/iYц3*ϯÍ>%lzE!3nf[M1\ D`ʀEگ m/bmLA8.³!YP2uE{{*8skCM&H`tuW˙2j H͐kgW\DFeᇴ1O#OkgYZb80f0f2bc76407c6765c0afa50b2f036e3b57dd20d46e8014914da4e1c47dfabe60e74a66f8c0804 3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2 5b91efea01484ea6c028831d5a7791381a052341