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 6G l4t ]/ ZF-ex:threads=2elapsed=11.019cpu=15.936gc=0.488factor=1.457zXZִF! _]ŗXf1-W(TA)GdJ pgD3?֯4-QcՂ%+7R!K~;^K!VE: ,;E=Y1:3,ɱ.ޑa^l'Cl8;Jˇ$` "|Ȏ~+v|g)U-&ڶ%po-ȲO[sx UÊgOJw*OЀP9YT<'RgYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\{)wy.?u _zM}Ӵ:Bcr[Ĕ` ëh )AW_vp`=˅ d%Q:x?yY0cl7ĽW[ T'YK=!%P ͐d"#Nwʄ*ŷ[)y1X3gYZ7zXZִF! 3s]ŗXi%;sJE*s_CuL-x_Irwԓj%,F9mSنdkp]I-͢ ۡ{Q%ԨF8Ű +Q,rb$؉,C5b? ǘy8tQ&Qdo@zM)_3w$,"7mzպjY%OŸj)2rob99ުܽs[}R/U/{vmN Z̷r KPFM剾uSB u)q$@ڕ3]d&sĄXcY 46@1BM&?DمMJ߄,rס὎&z3aM)<GǾ&<x,ʾ'!܋A1EMs@4^*.@ץmgɵHX+cXZlsa]}+l"n=6~^t!δ&Y6ܟuHEmMX5gʒ̪z"Vz0WE,[ԥ6v䐦-YڱmdaI@~"CQq vE ~ܿIggY_35n?r JawaYD^S ġFrlU3BE(:F/xO 8ig gYZcbceefe0febde71a91deabf501a33f5e1865d0a75854d6758689c83aab18dd02aba520db4dc6bf79 0806bdeb3be9b5fce780a9de3b3799ca5e8eaea3  ZF-ex