SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  53l ]w Monad_Normalisation:threads=2elapsed=1.006cpu=1.540gc=0.000factor=1.537zXZִF! n]ŗXf1-/6vR[;g' >zMd#Gy:M: e^\C# %MB,#li$j*D TGi * }gYZ7zXZִF! ]ŗXi%6o.I i՝T̏OSQh7Mx!S׫S~Lkؠ cQ|pGR CYq&elU9CNcTOk< \yJdȘ6}IpHMpo;|0LoR1E_W/_t_\d7of)2A"[X-@D q-OD_]"?LaNRmpPDM_;scK386wϫ(FQw@Y')xysiq8+0_]񈣌r!qe;T)o lu ,m(1ݐG (jc EO ~ACsϱgYZ58ead049d07641b2376b0df266499a85f7024c5ee003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48 c4a2d1cda80a58662c70d751475f967b0cbe5c74 3 Monad_Normalisation