SQLite format 3@ .  hhB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p= , iS]HOL-Nonstandard_Analysis:threads=6elapsed=10.903cpu=29.288gc=1.052factor=2.697zXZִF! r}]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6b_pX<,!PG#%%W:q%1=|UKZy삆jXqWi_ב[ ͍qq$tPe 0"x:UT*ŕhœ`$r&臘 rfjDYA8QX d <_"Tpʪq1$>Nla}} q1Ϭ!qyñdC]=Ul7 r{iBhG!!q{Sj:' t&Iv)%NzW  4 = HOL-Nonstandard_AnalysisvNk?W ۨ8Xբn1G^H~4%َ'@{|.p,E!PuOՈJu!LށffJicXN-T;\ DT z;񓟏H(ɚ*'2n׾ %*nbaBa߽&@sX? Jtgm0:o(~-~Irji ̟v .dKI.S8=1}~wgz^> XAvq!\mO6y~")FHenn&pK Oܖ:9>0q(D1Rb~y6̠7 yC6FI?F=5A(Zk耒qߍPuj/\˒O*;g 5Т$[963wsU}~.Z,h+0B}> ,\^z5taT6T'l2o010LbȋKh|5{,lBI" )Wq +3,7Hǵ֝Zkݡ)蠶E'`&EyJ3G:3N_5$:¿(ͫUN/U9"k\K" "Rz f׸p> L@ 79vI!ãc$$A—DªB'nd;a޻bk#[;Nv،q*F3Rdt t tkF<+/,TnhƷ,FmGTCvR<eJwD!p>dm2?&EQH-0X&2 ?mޏ +=f9fe7<ޟ%JxaLgunp윋D(+8:+Zo9XpCl]OڏIbJ~5%ni4x17j$hIօ`&h]d_x}R( xxP@U ~MKQ2[9I96}iV*517>VZZJ>ة^|Lz~*n!90 ǚZvs Խ3F@92wĄqc!71 v~bBSG1 omSåA#"fF .*-z)8,|񟝣Ր7ZVE!Գ_4U \nxJg!B>gYZ7zXZִF! 3 ]ŗXi%ڶ<WBL7*syТ~<9iR9'^ѾpLEY1;.F: (>/9aw< &ҫ LpI+fʽ{%Z0!j0ܚߕ xp!6sNW|gqȥgP=.kIs}Mױ<%((ݡ*u]~Zvo SsE;ل́V~<߫Nv]t0ȢUVj>s+$0z2тzYhu/ɸܵmd鞿a\C9 B ;vtQ]΀ja2'ϵInN3p96OjWubchE,%@R9sD^l_Ϻf4r,%|g|!?Yߟ`3NZM?Β/?z-Vnq>Se&/r E _+Y^Hv%$W"uc]_4X 3l?]¬gȊ’^lC5٢>Ą' ƐpK_t( FہX>ˌ/V