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   m D4d ]/ LambdaMu:threads=2elapsed=7.947cpu=13.264gc=0.440factor=1.677zXZִF! a]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"PpA_I-;[{p 6ւJrs;?Ø| $^=Sn7L;g;<̫ S)t'p̉rҫ2_L(McF@ 6H?@%Z5xGc\V%"\ALΑӡ:f* ш}gYZ7zXZִF! 5l]ŗXi%;cӭ5`#U[m*:7a?ੲb+x+5/Ob0II:Ve_O :N"q5:ɠ`]tp OXʞ$ G >O ~}K=J.uO+3gVL] Rxˆ=cpϰ(>괻 k+m}bsI)Eeqѓ]٘'J+|bAuh [;zQ), =AkԜJ~[uK|ܑ1uC]+6&}~L:akJ?9 s69d, 7TuGRQDp D>.44ScFіY+~Qp_sFWIL* ~jB IPܷ1\k,&ғyJWl߬փw_UޥUaJ̓URM)ddBRq䴮 j`/Їʄ""D {FIGW-OsTцeR iNqc*Z&PƈISp>G[t)GuRqUzOB&=(