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  4 4I/ Dt wS Old_Datatype_Show:threads=2elapsed=10.816cpu=12.480gc=0.396factor=1.157zXZִF! $]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}it|Wc :Rad:a;=(s.l3fU Mۅx #⪇DQSpbmDF֗ަ>itf$A9jc5یTH; RsgYZ7zXZִF! 5r]ŗXi%6˻h@an 6/@qٺbu\j#>'^dapmQI"n!T|t &3CދOh_UֿP}ً5kAdC& Z6@ZBp7+)mv DFdн|F I Zқ#QUoVvQs'* oYsMo^Q԰#Mz]+/$ ѐR[u R26 xELSx\t3\>MW,k%{eyJ$FE=\B&Q#̥Ce?BBbFF\G^'YAm(V hHM̓W>S.1#o,C#tω47Ʉ7wڶCһ& 3nxZ&9 ?۩@%b",?0Lխ)j(,%_˚ L׫}epJ?qV4᳓'~F&:6dPPǼb]by:D -tt8B28`+3' *`ԌKՌ }!Q"?<:[Qu )$ f:$.ZkBa=]Q3+`Z#|_=I|POu0$tk4wR$Rכ,qf𖞊A[HDάNL"/#j'z]2), _[{c kkgYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 5028c5533bc4d7cc3a2e165899977210101badac / Old_Datatype_Show