SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 e/ \Td ]S Monomorphic_Monad:threads=2elapsed=32.646cpu=50.956gc=2.804factor=1.567zXZִF! r(]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dR*^[ mٺA@)HI(}iMAh@nUﮥt]I1pG'"[b2*:g0P@NGThÅ$쿅Ūl`V׬mƮ'@ê&o 7ZN߬=' rĮZYY=*G.fMS_`F GfYet46*3o'?|1zg)W&~%Nʒ/>PsbHgVfwXɎT4pf@1dEGl*j|⣃wJ;L9x`^@ypwltE*شH9Ñ=DIp#a p_I6"}@YHq卸 |VܙĢs͏nR߀X]ݛyۮ ݕsK,Y5fLh<U/]e Ec8@΍' &;88Јm:*'$vdDkc 2gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~Z aPyǔJ)Tu39:a={"JpP_&F/ P^P;6@ MW? یu6?tB2ݏL_YhxF0ݐ>kԒ "J;|>DȽ;Q%-{"3M bO7,= ^8e}Gi±gYZ7zXZִF! l]ŗXi%>g臵+Kw*玙oٓme@|[YR L]DLZ/ѣZƳ`Y:aLv6,ڈiur2BX;>О Wk.RL=fdX}S8 `m aUFqPxfͶY"Gp\/ E33ۧp4O/jvF&~X,x2OsidOh972qH'Ջ=DrvbR0xy$F=dU`Ó!ǥP3Td9HM݄uz8l~օ'*Ѳ*."`ҍt,nd!{͕p/چ73mD'%x7]w ]M+CE>njG6Vıx-l*Oj8W[O mŅy7y±Ի_nEf>Og-QKVWRezK>+ueE²*W$W.W)p4y|]8("jHW4m-B_f U_׷|o92!\wL+hFѫbﲱ녅A)k-zġY/TL`[eٻ~PL1&֯44 tHI[ҷT[F"O0Y7۶]|O'm%}P|Ds7ϡK/JsΘrެJ {f?Ӻ->^k㲕~䅲 8/ν~qv0D=EqhE,-._DLf!f׻02K^,#@S2R,hT9P0E)Hߥ7z|H,h;(U?AЈnm)y#\ z^Ϡ΁sb ܻ1:_uZ5Kc߃"dL;_T0ZMvO" =.Fc@*\ƍ귘-tj}V"j 6Tt_vItl5BbMV&P#o-;yky\ɟXX!uW$clw{ohO~ kQC񳼛80}.3hM )%qbqmh .P _8HA<Joe#yiUaYB$=&Ld-1֥ĺc'{AdG'Ae$gYZf163f0453f77226c7b0537d7d8f2be40bef6ea09767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 7967251fc56b8b003d3640fc3860fa8376b0bec1 / Monomorphic_Monad