SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   ^# , ]% VectorSpace:threads=2elapsed=58.948cpu=96.708gc=3.940factor=1.647zXZִF! N.P]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9ns&u mW*0;ݫ*oa/kX}) <| Dhdݡr\GmO% v+9[uC Y}]Fɼ#GX=s{ĩ0C@.c^r;rU(\#UbT!J'LyY8t%B̧M]kTbu9)oZ \hl;ky5>cu$X6Eҷ`dʊ8tc[WmCznûҵ#vcMyHql{FVr8m NxggPP1%RAjdDNʈ߻ *@]X9WQE|~T6tfJsD[i|0/viش3:}D/x**E|DRwo4KFpX{eF`l1,.8+j}mo j[EüSŸGb'w={Z9kE:(*d؃&Ŷ.c=Yu@~Q@;ʤ/ l [NzLgI\`<8'πtn([6k0˓*C#-K" Vs<SCw;8ƃJ+;[>>R9}轖/0"A oN9iYs9ڴF#$1F (P#dG Nbi+BX\PATC!IK9}EJT?(Pk~zi8ʖQPɏ}Eaqb7b7z"ġk#4ϗ(;qnU8귥ǭi\X33 Qݧddzj(mQQlҎc%.whj #`s+*\ΰu_߯o+3ҢK[H_ Ϧdޙw3^+ei*^3lL~aSKV~R[Y # VectorSpacedlCh9)&?ڻ;.X:]2쟪ٕ*'ۨ͹m;P+O&l/:XPJ-HBAsP3ؒWI\"f|yϽׯߓٽKZRN'樸.(ŤZX6 oy[]':1 9&~Ҩ *8=MҸ~~fT,Qs?p赻[Lj~+NEJsq4`P }$Ζf!z΃[o`&+ 9gYZ7zXZִF! ` ]ŗXi%6 z{x {%j )VmB{עpݶ @Ú̇j G]3VRGz s}⋗0dVE";SfL6SmKۀZ2¾..=YcXbt/odS &. DN kI E>nafvzABB5|߇0EQ I!\Jp3*pM&7%+ 1g hԿIi9㢹9o h(Q|7Q,_efĂS^'$mT"sz&f| <3Jlkiߝq^On9K \"KCVfDRԅD4JܽflTkU;g􈤔4ץ%cdk j%OaLXzߍ+[B H ٴ5 Sҳ!jhI%S EB`}`Pk =Ka yet]N){&oEZ"P݅1 g hz`_vy`dZPsPP+$[`e165-W<{v!D.MҘYP-NoɶuRvَ85`Xxme,z_AW3s džIq(nA,ԩ{\3,]A1S Þ $t ~\eӅQ߅$)A4)=r;DY d^%3TiG/ww,&9cQjWm2KZ}d%ipE~l~+Rȑ;:蠂~$7MQجF:Ey!wi5 e2 cg7mAUtGI%^v*1?Kw[o7.[$Udw]E0FGgn?E1Wуu :X$n;C>;t/m)EQT<¥ٽ[*]WTpT{,s￉Q8ڴ⒄3S/9?|W8üuXBehGZ3PvB \𚥜[?qR9bL~;c9-6'bûrOW85h5x]tuVQ} ϔCl?o)KXVôE)s벖\FEζO1(|9Ui0'Ʈ~iŢ'vo wbnH I@$;~Z09Y ՚Z 9k^2DG.Zԝ§ cehLԝE7$W#VSy+d&BYYuB8"<1”I݇H0굷(a,eYEdiONȻ^Ws^_3(2*@hHq 7 y:ݑJMI.3}]&~`zA9y#mUxRM =ȹg8Fzvq4CT%g'g1CU=e[W廌M% z{=gx5@SFL_HIg{Gb~fQNBQSzxue )zM|td#^Kx~3e4ڽȚϗ/ap \4W=*rh)N JWoJm؞o<-ovN&=Ec3a:l1?% ,YoZ"̈_.>n5=Yɹuۃ7\#QݣCa}wr[[u<YZ4MyvO?!<j^HO/҃Fgw =[~:3JaqJyzS_a#=ѽ6'5` gH+mFC^f1C)Ґ]ގnrP¤.1J@q_`)*]vzl}|C;HtwG,_dͽrp+^Djn7ljrm5/S >m#:v'o VƟKJ?Z6iN\n׿ °QKt"#ebimc%eaU~Yvӫ=+ð9*`K$#y+;Z'zAuH f~ErtDv3%ykDMˊMR{wF\ДGa< szUT5 )yߌL2|[_ajhW_"W ᫷ .3gYZbc07d174cf25e73c278c7c5a421942cf1fe2194ce3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 7b7bd4c6172674ef9411fa2e8f48381a2c0facad