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 N Dd$ ] ZF-UNITY:threads=6elapsed=5.145cpu=25.604gc=0.888factor=4.987zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄď@<£1W:3gȸn #qUZVQQs !_h\7VJPz~W~/׎FvT0?2.EG6g e5B2V-VxU~ ?Q PeK)@sy9e4ʚ_P.Ӻ޹[|if.deǙ9bKa@iʚE3}w$ȡvT11LwfrNvX:ֲvE`\?w>=ɛOr- r<,ɢF޸%NS7 ܳбgYZ7zXZִF!  ]ŗXi%έ*-|Gv*Z%?(8dyb ؑ/nQvfNlR~De`l7ҡT)zכ']47)Ќf[>.Ҫ$eJԾb9Ur>ۼb^xXSxBɽTŮSF'*aenqtB*sCBbҧziMs(nj2tRB&~!di IGpHM{]l }w+}^G?VPm0pIG>d7)Q.`foC؟)WT s'msR{&S O|i1X9WN.Gޭdȃ|ܟ~@sGqP_ɬa_=@󅈤 Bˢ(G!'|?n8J֜63T!(N8j)FlP)x<4^5-' CUgJW;SU=<%[īM|+5%kqs8l-b7"=[bjFO3OkrgYZd66cb8ce55471bddc8aa591ed88d4d622e39710ec02607a1ca167edcd658ec3d4e79e4ea4af5ebba 59326e5fdbe7c0a922150f3a5ff1d4e2edb83feb f031f54fa21308451810db343e80b7ed5b15968b   ZF-UNITY