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 6+ d$ ] HOL-Analysis-ex:threads=2elapsed=40.359cpu=49.856gc=0.496factor=1.247zXZִF! j]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bz nx =#z=k[zYf]Iiѯ۳[QWYsFRKߝ {I-㌝S~iCVC4wKWN1EƏ-s6.)w mGzڥU'MC`+23N;qg#i5nhiO`uKbHGt[:KCeo΢w)i 4"Yݳh{Iϑnz-tgYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.697cpu=1.420gc=0.0001,˻ okS T}YZ7zXZִF! e]ŗXi%;wu6=zS!Lke$Ψރp 1mRܴ0>%(;B5(a!.i_-y`Mc@}A QLn,pDb -^5?CA/%*dOEXCNS%C`:8o)z^ V;]^Ԯ;2k$_(RcU#oBlao{x}ahw4U; #pNlMjR ?6lv ol3Z {i>; aI6hrߣrKQ)7ܝȐ*MKWƏA{\LV+mgМS/v*^ˑ|B4l])RiCie r03"UdByǮF֌rt׭*ig&C&FIV q8ݘ NO[\ d2 cl9 | 8̨&H~(&v魄J#AQNL7 B&wa>͓ۖ2X6.q D9z'=5CA \y7NWuGrJ%+9H^SoNX': W(596wi4FJ 9\QOQ/8ό!7+fwϺɕ4E[ _AQ2 kѤf>ǝtAzζIe6j+25q#3n2#BbEo&ZF;ˆ_eCNL[J;HƁp .lr:*[H⿕[(N:\)ϡmţ=0 h8K [U? g#YfUuņAU9G"%8B#oh;O;*0.+ _o񵾒vJl+?)ޮdRIq بdu'!׌M+±gYZ646ebbfb5be1b1188aa688bce2467b8fc4849b643e7cae349853bb3f654071d127673716b1e97131 e76faa548233303457fe1f8acd3f956c35127c42 bd3897a3b7d1efaca0fa21af597f3d597d308436 + HOL-Analysis-ex