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 ^^ Dd m/ MiniML:threads=2elapsed=11.385cpu=17.708gc=0.536factor=1.567zXZִF! :<]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{Wa+8b# sdc9>ib}1ƕΖy;{ɩ­@xe %L**1czep܃Xu|{q)1yS G4>GivJϑÍWėvu;7aj%NR}")Ll8*$@yݦ:+^e)bl[hv'8\Ys&T.QQc<=Q{0dꤞ(GTM ;^"r~әM.ܣ]8s9Wn{Ez<&mr; :P3M? rR=уБ#%;Kn#c\ T༏D%;t'#Z[3$#? _$ 6ocȁa%=mk^5L kޅ/:*b(ſ9X,FQ cK0$_jhqG$jb2_ˆSnƦ.gSs^-~=1]< A!`tOHj~'~=^BMʁ$*BSł s\zMS1S3z?{?q 3|LRSs@ kQIcɫJd ܫ:E`¤O _4@C7eo矃 ]{/|ЩPGVy6;+u}$ا Fs|Ñ_ޗ`X@"R, 1qU3kSt A*Xoo~AN=Lhn4Z#ZG%m5G#\: at;7V,Z"1nŝ`,X4#yGXgYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a0fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700   MiniML