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 BB; T c/ LambdaMu:threads=2elapsed=9.337cpu=14.652gc=0.400factor=1.577zXZִF! 8A]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"/)\2tcoq_v1_Y7_CO)v , 󶥗6nBS9Mɟ9!ڝb L^: v_房Ua  D2z ۟:xaB8gs5Ary׹dE(뼒OpK?0BnP:6_yt5F J*3{^ex5UV}gYZ7zXZִF! 5d]ŗXi%6yN yyN #{M½jE==b~!zTM8~іim ޞxU1hvrG}VϜn|Qa[TYr:~]<4{6-HvX%䌨#+lU0g$"z=/d4ݕh6ǹA5 >rh.~ mGN_H_i7TcgYC h mH֜nqT{)b8޼ؾ^̻8{}9z042]X,>%װ eVBU#t>ne̐X;d%?tAU3x!2SĤϡ* Zrz0ʧaLPy r -6hVG V=g7gDug;C2CT*FOMP'6ۻᦿl偎5j`)E{SN[q5ڭִ2vvE9ȿ7!h]*a]ն9.thnwHwlƹ2IȐ&5hgϗӠfnڇcܭ2(i:58"/H~ԘͫݰJC=4!Gl U vYe2R[tVh#{ KL kf k j$j%f# Zґ4ǻ[khgYZ06aedfe212f69a052fb991595e56263ba14c4270 0d798c28ae9a55cc105cb16f4e8e16a5560c420f 5be048fe0e040f8c844a0b152260c94c459d7d48 6688634dca3f3e16f9d54cfb9a753bfc3a080fd6 6d3d4a8d8d0ccd49a9f72a6229088f588aed8156 722018e6fea0b531050b9723f76b2919f855fb33 b1587b17612861e001578d3a4d058d88849d1b62 b158a2b0d475ff3c292270638e732c0daf71e51e b4cad4191d9eaf0201e78db721e10c5ec3b8027a d460a9f88748d0dd583e1442d37456ded2c3d4fe ec94c60775b8dc9a599d67332bff43ffdff9c76b fc19027cc3fa973c428391392ece0c9b3bc29655f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24   LambdaMu