SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 } lTD ]% Fermat3_4:threads=4elapsed=9.398cpu=34.220gc=0.512factor=3.647zXZִF! ]ŗXf[&k1Ϸ 676G)jt|NQm.T=;kr8C؆B1Fb8<`˿X^ZM8I[iER? gL0t3s-Nic]ҚYl&'pdv E ?˞"Ґ,}:<$̠uрl;[.2+KJqy3l)¯*8f/v$WE Zcl-!p%!>!|f[7RtkV&=vnHcP &}/˯#?ƶe; {tۖ`l$ZHĬ{ ["ؽY2+hvMci؆0e^<ƒz +G!VHxq t ӷPy"H<^&^B;Ht/U QHz7sTL~F30z14b#$%prUE#ygYZ7zXZִF! b]ŗXiɟL׎̈́>>^6:Qޟ=.NҌ#y?b)c܍(qRTPɤu~6gYZ7zXZִF! N<]ŗXi%B&nUXtˉk-w5u**R)mIA$ QDYGZGSS~ZN|1N=8!M+̤H T|Y]TnZεMd"?Dy"H^GtN8:+f5~< eňWdvޖ4 ӹ1blqs &ŧ65Uy]ymDtUuHǥn_Ddc'b_LV >d|9ޥMOY U\b9uAduC>.N:qƧeVYlJ7A*ůF{c\"};_^'e=@^+GܺZ #1? l:NsHj0g7eaT%@a zjc%h9~pFvdJἏ7&w @ͳٰNqlZd~Dy>5T;P\P~ y*v3O(xNg_ y_-<ќ!4,.rߔNG,. ݅lomJ,kt@{0RMg Nz$~ba5Arv(uDm#AwuҤQ$@LA`}+Ǐ:u!pMF.|vzGxf͗C`O%dzm>׻rI!SW%_\! j#isZf7lDP\BN1#)ބ㑩V٩k^wH)i׷ux'=z}vR(+7LMXL?FMX