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 I5 L % Lower_Semicontinuous:threads=2elapsed=7.804cpu=13.960gc=0.236factor=1.797zXZִF! b]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&WDsjрAۢ,zUBe*36`!4&ؖlᴟCˠlU1̎BK)䊄mJI}Hew^+B7,Ԥ X\W}V31*KC"QG%P!zW Y0[1Kt;i{'Q] =;P;0 ihA'GE}T,94}$#ܦ)t:o>*l^yBϢm %L &)i0Zɮ.i@H뗽`#)8wF9a:\}No|rxvY5Pl{=aVGԤL^g)hkXemOBl?ƿ;yjl j+˃1O[IdcB~H}S]pg;>i,Z+nia JjyVR2[y,LD aaJRX+GlGh kaNԱgYZ7zXZִF! 1O]ŗXi%rØF9 u_)#YFܨ0q[9'L>ZGld~aJ#`J(6~y0CCSrE)&͇Oy'Fins;7c>ЕQ{(xO ;?88eʝ. o"KX{$Y/"}Ѭ$q׉HF#5_61,_ enəP[uL 86!w:[ {/Ux,x7LmRl2#;-Ebz