SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ]/ L ]S Old_Datatype_Show:threads=2elapsed=11.558cpu=11.476gc=0.264factor=0.997zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$$b-_[ _b\T(DΧCh79{zC 7o;]R??h#Ar@uČ[bA9r;) 0Dy;DcTkvYØBWZM'(ĞZd}@\>U[\2H RoP 90gYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslMaPgv6Yp-PT:"vYoQ"&^7w g0>uz,&0+*4)Lcx=V}[tgYZ7zXZִF! 5^]ŗXi%6\k)C0+ LNO2cwAίx:P/l<!%7 TKOn1h&2)ڴTxy{6:0_@PPOVXc $3Ud aA%, =3gmiӢQmg9QYV 'z \zR'B&,6z΂3B@q[X%!\[?kq=,Iݗ3a ^81C8KaH.Tg^9hQYydfבRzwZAK^j\I"ΡVqʎa7#q5` $'$>Y+ : E/# nr@ SS]w4xeTzƅqw ).~@v4$tlOa )|!!h[C,64:*j>?.20ǪKL:G{m~*TFTm#۬fI)e麏%8s)}uMƙՎB|13wGyBֺ&W3?q/ ڙ2Ea c*:1CXE}ёm! kS%IJ/&u<\};xxF:  ă*M w`߄ ^ڳ';IyZ/0qZN+~>wcL"x=/)A+')ǮIpص~[ڧ`i%)6]ϚENUn㒑;Qps:oA-OU,RQ9>|EFk<PgYZ1a4afd0fde940c5e3250d98c817ab2f5b7156ce0e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 7049550d66c8a52aefac8034f12ef7e79cd66b28 / Old_Datatype_Show