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 :+ d$ ] HOL-Analysis-ex:threads=2elapsed=41.676cpu=49.360gc=0.552factor=1.187zXZִF! i]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bS` /Ƚ(BHKJ[c~{>⚻2h?"}w͸HE{xe:@~dB6&?u~u-_==tV0lwYA'G,m|ycj%b=E Y2pR3lcg<>y-檢~jff65ذO ΚgWIY0VWKC@#lX DLkUs k* l8NȌ_6j*cxGQj#x@chMK_lgYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.680cpu=1.424gc=0.000 CkS T}YZ7zXZִF! X]ŗXi%;> At-~|質aU@)ۋ<7o-}xʀl`mԆ-~ݓ%[[i9`]1#=,PU¶kM.f>W5dE vN՟O>xn;>= GDMp}IP960g ČBqhAHt9J O0}`jぶ˜4͸J $Ro3KB]Jui23Ih WWd,]P%ߪ-GnP$FvßlDfaU1ꔚG";̆j|]))FyO]j%Bk?&){D`aǰQۼ~@2;LMEo%D8T-;6rLuwR\P`sFmm3=4JWE{Zx3{D ޸k"o D"Mo>ݤJ~ & bA| VPoDdF$\6K+ +]ee09!~ ܲjK|Vm:u&ݿ$Q$JIao!(Wcެ_ŅdO$EF?eU,se[<:'Ƃ+\6ʾ3h$ im`]8Z6^a _`&4jH駯|꓍,amjBگrGvj!*Bg3ѵkZuy{Z?<9r%&:ǡՈ3yI:9~,g'_\sh)6"#;XvlQb( d<14ȪN O jƤɲ,yw#_0n@Amu[ e_MXwEG7g?x J `$"Ý?|v+0HRHUȃ4&Mv A3気Ъۭl R/_ѵFzTÂ㢅f`aB6[z>WLh0@8aKl\|?H) /gzE@ hUoݽT%^s/Ng?fo>(-%dѠYL\ J„&:bW{6{ :Wځ_FWOj.\gq(4q@L^a6}'dJ߱6fI{]R6~89џu6OyEx_sBw _͍o@pΪ[6,LlMW-daPGUpEZSz X~ d'Q{=CN:: i]׬HKXjD3K@ Q