SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 a | E ZF-UNITY:threads=6elapsed=5.148cpu=25.264gc=0.836factor=4.917zXZִF! 6]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđOtQ'%f5?U z| T$(!sO)oKwcJ[>yAdc/銾߱ɢ+AyϦC]avSƧND-Sf_,U6^q`Afj NK/`W sY{)qà'gY&ptɢֈQ׌h cz2|xJEΰO)K(s3;Nk):q=(R&̺wjvEmlvl){ }-E' ?mUdrԗ2aιH!O?_$|!qGS8At'I Q'E3W@K-mUt[IW'Uٮ $e`2VQ٨$aAqWgYZ7zXZִF! F]ŗXi%.G0{lv%Ú`E\ ֫+Fa[.FIrxglRQ>sL4>2mɛ q AgyIu]KwjL&>YF\Jc{[&4 ~j`yUI &_qEVfSX&%x)O-&'#&qJ]T%ff~{*-E&f7Pڕ$5xNj5l&VaU{s\K^f/k8 T%]-?>x5BW'B{s茦2X,3<%Gpn}M%w"WC=鐜m^PG<'j9+pPbA㲏=>nJ(nL(} j_O*.贕CAױ_?lK, \ Mӥ@B|ɀIS.(y&[*? Iξ14Qo&a9 B}޹'S4Y kGo6 OEa"G2)7DS$fbp z4×4(^H