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=65.045cpu=139.672gc=5.560factor=2.157zXZִF! _I]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlpIV {kԴVP秹u 3U?'t:JkVAs\0x q`h΋vbZ3 UY:('xgћwƈ1(ԺW-N=Q'z 6yxdk`LO5,z2TI*wsJTn෷k:OAy;sjmO pz.L&n9T驠y8ny&Zu]gCuջGǝ9Jr#mx6Vf_"7;+dۙ,(oaP'yEXaq&g|krF،68/]W8\eb_3j( @:|SWS-l'&1 µwf?%ܐ.ш`I8 cfohOS6zOjYR MG]ʣ}ih75yPC]/]y>&(vbx=T.cD4l=Avi8W% !׶412aCJ)nSy뿬Ƹ[yz 'ԠP?_ \txHEv)'!t5 V@+?hK_eȘ##yU$Ӈ'O84z% i6y -%64g _Bkcʎn>aVW S<&|Y$~0C* /2y~pE[ "Fo3hrLվ $2F6e\.,*.L\ei_Qil*6M0D{~K [̣{%e;z8cPtE*W~9"b)R/?HEUocVpa2Oqk~=.% jjO]CxRg1APQeEfY*me H|ծj /C;a¬nl0K6:r:FYx[mH*n[E),æ VnfXk X]Zj%q8آ.GK: G!!]4F*tNt/_`h Y#RP3' ĿBngYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW È=Kb4觕'{wkб^^ ?kWJ|K٘N"Зka +gq C3In6S}~ fZ xeOFR: 6;Z zeZaϽmEޥhgґwQêw@S9o ..gYZ7zXZִF! 2~ ]ŗXi%;ww5F_[8a|7n3ov*$ !W>0DB?qbOv4vIwW궀HT$L KT 2;7;~|pL7cƈ[d-B'?ti]YC>޶y YvH885S-F 2?Ne|w (U'5qH-m ĨKa>s;nqkc wp? + PǂH ـϬߋXD\fwICƳSK2ʓfcCSHYYc5>n)H*?aW08zED'VyuVYXjcvi*ѱK.lj _VSڍ[Ȩ51AtծQ4__tYwP6iY)R%@IdCVʠӝoTiݲiZd y=}20n`7!"[c6Ű[@Z&$! LCadrOu8Lԧ伎kzYXAqӱd*˓Jp[{HM!_Go|;EӶb8r'k<`MwtMmŖv!'W5L^z:cD~%g*D݋%v.# e {&h=bD%4^6 j V 3ߙj,.E{sVYJ6mJNwNv)NRPk3*ޯlN'#7J&8P7[2v|+by>_q̥|f85S\f!г,7H<*:m0}8Lg^sdW n8K 5BX:D#MC1 :Ͽ&= R߄wauZ}9.Oҩ^- P;UgQYz~?#{C>M"xU^Z^%UGxrbBg^/$4Hdi؟ 2nl+Kj'lvQFҪ3F 66JF['42Y9tR!2 kmW {+輄rK\7S?qXQ.&ԄrVP&RdIvEY3]NSB'0D`m^yzzM0='iӷ4 #,*20Q>ޓ'[;kH?PVxh)m#ѧTh_?m\+`@ EiV)Z0(9cd ṃuz^9A\!-fꦘ˿/{vƖ]Q6/3P1Rg@&s +/Z"֗rXc{g c\\cAs! x: k_fpa t;L~zhkQ}AIjR} C6`ѳ16 z] x?(]Fh,eWe(ؼ\q^s(v61pa'K{lVlM3ƇTQ9WodDDo UFb~ƒdܩoQ2/#ȅMG.Z¼n3(t0F"I"7Q4hzḯD K*G^EJS].L.tX2}ٯ~A7>w< 3F'OhxpdtIŸqQb- -I9Yħ"ރK[HtCDNmg I h|g1^`t4 PhBJpd4R  PҲ,C2ab,.zof묡37Uο7CNE(̬ 84g,fܓMݡ(=/ BX6]ԅu]Vq]>܅$n}"1 tw` f=s 165}9.@`r۰xQz3yBKc\>;f_Űw6D+AX5* hhh-;!i%zk1S\ Хi{R;:S81Zz4gKUT戕%X j4q- a&^-d͆n6}-P;@x,.7{%ƽݿ %-<ehنGEfU$.$"N\)uLPMmP|nDqE"Vv+0)ߊװNKڧ,"Ѹn X?zdkx"4^v,+-X_>󿻎;hWL^|wՎ/uԫDA * Gf",`kLbk?@°$=NդħtQY*7F 7]~7F <`am6BYXX/مbbXAmzTSS?܈ڮ mre9z|sZ\gYZ86ecbf2365b3617d7b78274fddf38898d88f5d5b54cd32f4919d850faca17e94e357093dc43a48d9 f85412ed18f79fc641e57fba244090c4b08a2333 acad73c1eb4ba4dc30e9c99aaa0b98796b40761f