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 LL1/ ld\ ]S Monomorphic_Monad:threads=2elapsed=20.853cpu=32.248gc=1.900factor=1.557zXZִF! n]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdK\>]$vv}/~,]ttXXV odչ9hoy+aJr٪2 MZJ4O@G֢&}W5\sIyu!=I$ ɹ ozK+lYW Z2nnKYʡ\tjl ~Fw7=| Es)?7xt=Q%DF?T~`!@%C/M0>쩅r%ZgYZ7zXZִF! ]]ŗXiɟ.:QEQMRm}!;h; Nnx:\k|RWR_* M"bd} 17T9t%k5]-`8f_[LKg}mqYoĬ|@qT0uQbυ6ؙ41"> VH$瞅/9t ܊Z^kD{ ; !6əj#^)wɿSdrݔ)C Y8J>>0Ah鉭f!I~kBpp|ix#FzJvPDpKQS3?C# >TzuEyN(V'-,?Z7Mَ',iPN1g L yŬ4H"|0 b4P00aڸd ۞öhV"e&\}C\}}_u?o}˦t0J{/3?r7KtYh >1ǫ Q&un$I>?k;T4.q͐Ǹ<" ?sN>&Sϑ*J1Οr/B]gFZâY`İS1y :>:eO6!Y_CX60,3xt0#q|~G([_@6]7@ ;.܍,4(.e ,# <'Ds켈N%mBo&]!1ʟaMthqj}*mPR}O1&-Ǚ eu;%7vK) y~֧ ,W-AK7,xBo[KYla-dj_fv4`JxOk8ؒҏ4 5[W_Cq,sP(䘮]TqBig".mRdr.];Y~:aNIź%67baR豺A`crph;,ƘѲ# 8Gw~>dџlLt S6]/ m^G+. =sU J3@}Xk  *T7>+ `yn(z%iA̸h/QWq &<6 =! lf)n+ mgYZ7c52be78a25bfbc9f29824c7b9ef0e4d7a9cc4662722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 8685a4e92669fedcb554c3e1724474c49917d734 80b95d98316c5dd540a19688863ee03bc56a8b47 / Monomorphic_Monad