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/ t wS Old_Datatype_Show:threads=2elapsed=10.788cpu=12.388gc=0.392factor=1.157zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$#Y,p _Ij^ ~ ^`%/=bk 2s_kН0ߝrT@/>^P(~0O󬫝A,ȋp ozpپWLN>1ޕafp&sbXM:)D,=q>9_"@FWp"DDuSq"Jq t[LАԣC ?wWv hp̈́֊`ook6/B\uUWuk!:UiXɲAIXֱGX7*zm'KI 2qx @ROM!q:$=%=t @z}f۽gl_Lo&VM6wT$f^'kMMgYZ7zXZִF! 5s]ŗXi%s ; o7T vY2J"Ri! s! D3]{.$s 0v5]ڢ>cv;T;2Qᜠ:1I|6ʲ܁t'BJ /)k5cKn-6'QQK+`?\T_PܻB䓱߸sc_A%oK)/Ἔ1znݪx-ׄ\+*a=gG-#&YW[rKNXQN=!Í^qT*ᠫp75X9!2-x @룾{GmX5`r%\MGq#vm+Vjta|e1j%Mo?dZ,vQFUoI*|DYD-eh;wCE3&r5f,r3&ӥUS*BXJ){о%18 ӌ_Lh5ɵX)꾜_̤*P4M %7]ňJF,޺qiRt#B5׫NoƥmHtfEa ;/XJ8U@VFLga ^ wӣC$I^uz뽄Fn(hRٟ SpokPgYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 cec6f4e1317eb362e8558c33b4904129db2f5d85 / Old_Datatype_Show