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  q3DD$ ]S Monad_Normalisation:threads=2elapsed=1.030cpu=1.200gc=0.000factor=1.167zXZִF! q^]ŗXf1-/6vR[;g' >zMd#Gy:c3l >oك#v6uK#T})tzrG4]K}YZ7zXZִF! Z]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗶjחߺ0As_,24!_ T~vNgYZ7zXZִF! E]ŗXi%;:ǓT5gWFK'v7^%T^|2z~͓%fd2ʓ)8T s3hB S.Vl"Pw-Y jXB[Qitȸz !9tFhT$7:Xл70TN}ah:6`*w*fGDz5@ yX$zD?MXA@쒟D-`'R/罦1V@mlO m7gݬ.T#DX.B/h7\8P~ʈ'P;v2=؋${gYZ958fd2d5d3047bc1b7e6a0bd8d4950be87d1643d19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 65d80b9f55bd9ee9c1acb629a585b7cb4350661b dc3e076957ba0d15098d6c3414296f517e3588b5 3 Monad_Normalisation