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  , ,Q/ < wS Old_Datatype_Show:threads=2elapsed=11.275cpu=13.032gc=0.380factor=1.167zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}iތZ^X˲}1%IQ9c>ٺ}?Z?tݢk'^C~KHϢfs/00yxwʉ(rT2Cjsg^spVh%!GrgYZ7zXZִF! 7]ŗXi%6y:"QFyQn&q1d춹ǒU3l4Eޒ]_x= Jp&L̅Mt&7(9c̤ &թFӈe4?+}FZ$aùCIJ4&Iۗ2TPg㉚.mI-,-16}N'[Vo:A)ٽ>A_$d,]<~iW[ 'lH'ؤꝼ+β@͑ݷ 68j 9'E0Z t`^M +-*\b?6b; EMn5SՍ ?mslw˚Ԕǧ͚1m.qke6%qcybudMYG;󿵶!_fx9\gÿÀ G{GjMŢZ9-[o_)4wɗBzj㠿^):3M9ѡƥjwc.'Wv4w[%P GUK·bwSs8\3[7߱C:WŎX"tmLW1=/LmaÃa x߲;uc1NA$ҭ`xz2#rM䒽>*3#='SLJ[*C&`G[$ZӖ78L}yZ@P4g,۾w:BBvwP"M:>),οɦc]@4FD%{TKЄ-tK)t.ws4o}gYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6de4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 01afff80be0419508c4c601f85eeb8d5170b8c7f / Old_Datatype_Show