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  \ \!/ 44 wS Old_Datatype_Show:threads=2elapsed=10.501cpu=12.144gc=0.376factor=1.167zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}ik8c4?@vblp-pvP. HzCh6([k'IUGd/$$"َ~1`݌;sJ#M]V獾\6jY# kzkْXlRD3ogYZ7zXZִF! 3NT]ŗXi%6 ѕp(}ɰ`@#Ii5jEa޷Y XIB˭p:)K i)bzocB]LFz`_evM#`x?:¯r+1pII <+|'5zҎl |]6\ U534/&D[c~3bGA9!zvRP4 !/B#6ATDr*#ژz4<^4>*MG(N~{7)nX}j>1KZZ*WgbNԷ^1ԛЌbJ~ al-' [#hk)-c-1DeL6E\-U|\wwݔwN=pѣ[چ[}mшeg+U1Gd%Cjhc*}mxA~p`b.uP~3qk3PW-mDMs(/K=+JW: Aǽl݇u}I~P̗<6OՔv>}YҙEc7rH"J&Ln?FNY hPvO+eD+󖯿pf0PY8O8JStג/F>ACOF.$y$uE+5$M}*kx]pLHLɹ,Ӱg^_Aՠ"? _D<m6Jԧ*ĤQJDpW1(o+ ?t6Ʋd{"cvc|ׇ_?:~DV>HX%,eU_Se TlVfq;gYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6de4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 189329cd84cab058f952a2ffa151f387169f1ac5 / Old_Datatype_Show