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 D3 lL< ]/ MonoBoolTranAlgebra:threads=2elapsed=7.879cpu=13.432gc=0.520factor=1.707zXZִF! m]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^esޣDͣy&ua\JH`jK6"?TTn_NMG+7CtKrn<1?IzS CP"&/*~!`Pҵ 'BbYʱgYZ7zXZִF! 5X]ŗXi%;;l%"G%_Ukl;քj7Ád}ToM_I.QX'\_FwMLD-b.P%)Kβd׏O\M8q 3ÄxLec%ȧOoMĭ;h}brqK+>?WG >Kćni<+aXխ߱_O+Is1h3V7һGc)[ף/D'WUD")dZyy^#l#ݟw]8D4|D8 7㖾h!yI]Xг/hHMrPn_9A4)ft p&lGRV3'} G50'08}2EV|e^aΜQh1x5b6A:!eAY} QjH9~?!oKZVb@}S!ϔ>opSt$aZƋBFJT$6kpp_#j~j)evՃ3ys)K)5E8¥C2cA`=y 4ɳK] [*s*qig1bF~( ZxޭgUyQ&I|;.kW@ugYZ41d9b5c03ab20e4ada790b227f861fea2bfeff4d19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 3 MonoBoolTranAlgebra