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 i/ 4D wS Old_Datatype_Show:threads=2elapsed=10.818cpu=12.560gc=0.424factor=1.167zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$%#03OZJ}b}[(Lz]?r =cZ]Tmvbm.4 uuTɴbwyۧR9sGI_I"U较dP{Yw:hy4-3S/0'JXlZmk&HOҏIo=BX1-kFZ4Dc$RAAläkq$; .z;5q'{3#ͫy7a,{#;&:Qߺ@7p2ᳱ84OYGK0@gLۆ#'h^꤫y[ey̨Dlmy xD~7ov߆E:]aX:brLŹк˜NHW,QW >9ft\ DG}h.JEx޸c`D0Z E? r:Bµ6: 4  `*ES-a=1 W /+)g CJx ǗYу ?hl\V8G|-*)D|S{j:`0bՈh]m`۷̻iw0lnGpIA\W骐xf\a$4GKae^ {2hŔN$y!O!E{` Y0.A@:6Cx0W GZTq6PpC{_0K=,{rHgەp$'e.9P +A t̺#H6P( X "LB<%?(7REn;(Qq_~x n *f}>@fr\3KIxfOyLvJ0uf3gYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef e103a695eedd2720086169ab07870fa3d9528b54 / Old_Datatype_Show