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   d3 DD ]S Monad_Normalisation:threads=2elapsed=0.882cpu=1.256gc=0.000factor=1.427zXZִF! []ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗬ繄ЯB XLf"eƟrs4N;<R1+ wdBgYZ7zXZִF! ]ŗXi%92n'Gd)E DʵWa"O#mcfh:. 'P(s=a合}NƱ7KU鬰;7UL ,@,4&#>MU%s'j!: œ璻"%CGtLY9Eޛi5HÖV>d Ҋ:HZ/_8Rpr`N}wCPC($a19:SQ}6c R0RqkK)fY`OΪ]x1 (Ndje6G/ ,cXMo]A[ʞĨ@]koqBfuˑ{1]4;}>Zln NYZ)Z_# ۠SYu5CU'Q6s r=7+nnJB>@fvlHG!)\gYZc7991854e6ff8ba93638a0c6a19f166fd1ec6f39bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d30 1b8365fd395f925f14c9c68b29b7be93e81afc50 3 Monad_Normalisation