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 Q) $ ] Binomial-Heaps:threads=2elapsed=20.387cpu=35.624gc=5.200factor=1.757zXZִF! +]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹp'oaŚLHh̼@XػNE+lPhl,`0e+MZK8Fx9|gSq_ַZ0:2rFmEz58֜]zsqԟmuE B=ɂlKecl_< |^O]Eݙ1ID#&v+=cgYZ7zXZִF! |]ŗXiɟ:Jc02߳|y[Bw1>{+lv:1.8Nݕ7@zW"Աl 1(yM6  Õ5b8gYZ7zXZִF! gJ]ŗXi%ή++0Lu/c=ə]nB:a{wףDk+ Nyzj%wG`שѤ;dǡYr>4NpIvϨ3[Ĵ̇sQ-_ Spr~]|x}{*kV<7Ӛ}iB~E=06 U-5kC RF̙ȭz ib!紒T% z:])&͗OXnKaf,%fΕ2/;N4yLH4~XU{H9`|lVd>cUT:׬n[1W>ù 2q1]}R-?iJ$׍-s({}KZ< /"j,Ӟ)ē?\ LHRK3D3͞8w_yZ"e#HnjIuFzӃ'B*mcPj~*_ :aMQTZ=6|r3YƝ J. E-9+ ᭿J y0. sY5)CP'4<>.o`|A2Ip:4TjBh-'/j~UOӿRB H`d xHgYZ97f56cc2ecb5c15af2d488a235efc930a813761a00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c ) Binomial-Heaps