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  D4 ]/ LambdaMu:threads=2elapsed=8.599cpu=13.616gc=0.500factor=1.587zXZִF! a]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"*&̛ڟ{pyZac |牯ýIGڟX1Op`ԅ|܋!@×NUZ˧[A/um©ɫ;}fqƠ6KvcmSдuK]kV 2O:ۺʹ{@s<4g$m8_ZyuE'zQj*b5eaMfEd1L%D >gYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$Tp] -KkwBA_=1nrh70 i8ѻGT+1lxם/X-H6ʤ][mc}œM*"bUg6QU>Dl"|=Dݎl Ei쳩mf g P==}gYZ7zXZִF! 5]ŗXi%92AӲ-|@C-# (}קڔbbQZh7-Ww/=ޣ]-N7 k,c3Y;gU潊xx$TKbA#y뀉ZIk' Ԗʁ{U@BŃ9>Ҏ4s-:SI3UF\+=tsc:ԕ&+ t>o=dYqZSVkÑ=)<̱?nZ~T%bjX? }yD7ΆUrSg &IV.20 L5xk< )d;͌_sa/P8L D'<Ã=rM#DN6?"@huWE}8N :?Gc0\78k\gYZ57de3d5ee62089163951f300ed89bc3c2d295d8df4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0   LambdaMu