SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 99</ |$ wS Old_Datatype_Show:threads=2elapsed=10.586cpu=12.024gc=0.340factor=1.147zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$$90b繒}Rk}'9DU hT6/0scN?T*y./=.R5eXĘI:ȬԼī[7bAO8J0Cn\X 8 ipc]¸a=8ul/b|pP:{kF&p}8|}<%6CU1`Y1̽Hx10( kpryۛK߲ fo+v s F⎥F!'9Aiv<V{ku-lm&5sycOي#FҬE1> +p\l,I;§a fHիSY#`~cYXIZ")R uV 9e &+!ٖy>a=Yh-ObRm'\U"ĤTb`O / Old_Datatype_Showbr/7WbhM|OHJoL$-Cn1[Jp,.Zn1@C*d *! .%JX hnc7/lEv*,^:N:B|l'O0(:غT' F&X&9u?*[+KΩjb78IRI{QKKk-V6gQdL>fDnf.gYZ13305432bc3653e20afe426f74c9f95e21f296bb 1ef5f3abf8d818521167945b030feac485f1ba6c 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6dd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 64817dddc7bd01ead3bcf80d00b70cafd2bc7996