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  | |3DDD ]S Monad_Normalisation:threads=2elapsed=0.924cpu=1.296gc=0.000factor=1.407zXZִF! q^]ŗXf1-/6vR[;g' >zMd#Gy:c3l >oك#v6nf3IG<6zrG4]K}YZ7zXZִF! Z]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗭ @5h(5/ulT_IS v]IϡZ2qݥcJvNgYZ7zXZִF! ]ŗXi%;iL:Juz8|˶#=Ԧ; J1C %ȳ9Hݜ EЕ>(}xQbi/x60#l9Z"[U[B7NNusj~vzY|`]@'q*lT͈ZԂZu$FTJ)w*A9і5 Q^ᆿ_>9w Zhv*&Qs6,[i6 Z{f'P&Tls:KʒvQ50N+ ( zB^v߮R^: ҁc_^DA<˷ ?OÃjkaFmZMHI\=[(CG {<ݸ,,W.2B5)&UgYZ92c5cce668630542f90c37a8c85f00bf222d9e5e273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 a2abe554b024808f20211ba5faa2097c20520e83 b5c8cb141a900f92a694f350b1d3e706c65d61f4 3 Monad_Normalisation