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 .) |D  Landau_Symbols:threads=2elapsed=13.250cpu=25.672gc=1.448factor=1.947zXZִF! yx]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSD"3CiU~lcyxWDN:ؕ1c6Vb1Q _4p^1-DeDž漌F~\.6zZ` Z!%z[Bu<;q ewT/ ֤ρdЈ ) Landau_Symbols8C.pb º@^!^kz:8Z@͂c3YT~<Ψ7 8U[&:_'d7c E3p%['v:) ]fkr 3M ҠvIf2MtVߐ5^E )1a[ tdo9s*0*?z*Nv8AEĞ hUm(:p͆[% ,i%sͤI)`'%ؾsl/Iի&U|(cRd/7u n@2Фj|(_W> wsؑ0v43LɍnQ^EF!܌7l(N¢ U~"KOn\6x*ʔ62["ڶ0os0 fEi|>>X!6Q>wgY5~jUv։Y:͵)gı yx[j+/֛D0,aم93;2]-CJD-ym|nuUH13eA_~Sjg4?I; 67})y_'#_IV ߋh5o}Yx~s 3Uu2LbDQ+eeY!pFr=kdn*O+S-[qּ``ִBg(ßO] cmu#AqD>҇ _ z@^f-DK%6x1mx8:Wg%xhF4s샯=\`$$#"0;0~[UqF\?o݀񹞚^B<:5֝sAf$do IhmN>!v ,Y:`IA7ϕׄ_VIO| RM>իϡ ӰTO9XY#??oz-P:m 1ITF=WP=[f+Sf .D4J);PLOtKYaD-Fn}/s2374θ&ш ҿh(|xlG hOlADwjw+fP@&FFSkQBZ{4~dAEp>Q_uHK!zB>7Aw)10IȨE~e6[*L1tiUxv:7KcΈޖyTsߪ!X.>Љj_8 <Fnѫ z[gYZ7zXZִF! K5]ŗXi%!W:m^%u|ñyq hUX^]g1@Rv/5'~%DNLTj8׶N%XV%-Ejyypq_ b|@WۍPt%iC^unjc܈ 05DSYɸT Jʞ-4LBmCh%4.́P9-6wWnL2o;QX=,FYvr/Y]OJT&r j`uUXKsOu)5jl[:7mzO^o] Ɏמ =D-0QI :Յ=[]@]13]+Ӫ"BW=J[ D' x`x !>5fJRX~BiG>I9rs|df- J2xԠQgIm{5/X wz'2ҪHmtꔭchLa>ZʖkqzƉ1? k&9E /iE𤢼-dJ@O:M 8i'vfP?.gAs⏎E!mB[8'e1R4f0z\0dqH #G<#7hu熕~+(E8"u̓,G״V,8|@-]d+8T