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  & &W/ 4< ]S Old_Datatype_Show:threads=2elapsed=11.027cpu=12.724gc=0.376factor=1.157zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}iCҾZ^XQ45t@h-mtuJ,uM-)@ı=D܋㊛:훚@"7n<sMs6剺(J .s2V,ʹO(9y 3ogYZ7zXZִF! 3eV]ŗXi%6Aud'AO!cYũҢ/w.<~hjw|/yIN~$Ghc4 Рy"!ҟ[P9+;qPH]ZhRU$*-^tЪuQgGa.@qF*y=čਜrX_JY<m +PoY1C}<斌ڥ}/H~0.#&vk#C F )bT$vqldrO 5*#$1߅J%g[ a4@!MKi9$ZVwh8-H+ _F->N1Z}Gu/5w'&,ݍk^V=)Hm%,Oq9Xʤyވ4Q UvhTP͕M.ݫ~m/uұm%;#%:KJy-p̬WմGf.B :ky!9rAZj . w:}}Y݁ APM$܅JK"dl]sŧʤi[j'y}4=1ٗ~EcKP)z1#?G+\IJեI,h*kTعYG<ߤ-^eVuhu,&<*[wUHCeL yn*pvp8p0b * 7df9Wv灈x<:ZNgb)'pl@i|f0gYZ40374d26c23539676d79f87c39f6bb1bed344925e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 6cd5d402de60d1974f29b9749a44567c898db8da / Old_Datatype_Show