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  u3D<4 ]S Monad_Normalisation:threads=2elapsed=1.017cpu=1.184gc=0.000factor=1.167zXZִF! q^]ŗXf1-/6vR[;g' >zMd#Gy:c3l >oك#v6nf3IG<6zrG4]K}YZ7zXZִF! X]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗶjחߺ:d[MI~ǼFuTs<t0 gYZ7zXZִF! ]ŗXi%;cF؏g*']p?' _WR{h5e + =4M:^Q/yKh z;_j%؎0yjֳ\A),14'O& ` 07FÖ+It@;3W^`Dk%4פ ~m~ߢ2 j/U;oI5-.J+V[7Qz+jJMԠ>!jA ZGcȔs`|v|̾(c8ql̴daxFe.yxRVd/ypfG{ۮu}t^92mg  v1ft4*A :!5DW@M_}ʲey9"ÑJu^Uw噶p$$:Ywx.@!vJ:ীHO@Ycn)^ƯDZuQz)=YgYZ1f8094d69bde8e1939646ccf70fb38225544d49279d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 46924ae7fdf2d3b6dfe0db46173b9c412365c8f6 b6fab83d44fbd50133ed1478e9491fefa6c65b6d 3 Monad_Normalisation