SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 })  ] Error_Function:threads=4elapsed=10.670cpu=39.056gc=1.536factor=3.667zXZִF! ]ŗXf[& nTg6 HJbRe{WlŏG} F9't`mwγ|/Վ '?1kg=RK-88 !L񩫻}+]!sG̺t.㱗D> ODd@mV[8> }6,RLce3(!bSbܝdkg'!-{gN+# .ZJ { hDIA{p6pTcx@v \3un[n'D{aT04B2IM6ցU+DSbcn-{Bk#qbkoK|%_$^'B`.!U)X_p Q}i.]H io<0r| "Dp*-a  8%_~g FVMC⪳&Fx 2-z10V q#h/ቜ=4G%H0}@Z M{S&V aw[(}.I6 BniF Ppբ3H (UV_jF)R p|c5/wDNLd}mkZA2%,Wi4Z 䈎y‹H&e. #7sVx=ڃ zC'u=UV 2*]Vߴ%UARLf`ꋤ2B:*D8 b{x1\O&9jiK ?0N,Z|Q7l&UA>h\x2gwkg_NMi8bo2:WBI2j҄YT,O|*締q))TJzrҹ'}Col:D0/gӟkݟ1.皤բdMٍ.Ëʋ^Yfʀ;{K%lzv[(Ǿ|Bt`<+[2XX2]zt}倻u~  䨰@)v: 1 ٷLz@q]lxD7r/~ShTJ); ӫdό0"]8yVTgt/=b'hݜ(t"aНA Y|~,%9fB>|~taLYQ ,q}9Tιռ7o26W7^4Qeچ~ BgYZ43c94dc1fbbd9aeb515b304771ae9cbdf636d84d1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e ) Error_Function