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 o Tt m/ MiniML:threads=2elapsed=12.490cpu=17.288gc=0.540factor=1.387zXZִF! ic]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{Wa 7ݹDCW%з&`|׬,|!aǕx< `EJ H` "smepSxy@2=^e[S0'gak*iq(3I§$gp8z܀Qqd55x RxeXjLAvdQ#b?B?ဵc  xgpe=r㊽xּ2R|prkm-?e[uLxw1|ؚ.5;_31gYZ7zXZִF! C]ŗXi%eR9Ԟ^hq ^ؓWvDS(P.]ɿiTXHNC'uiL.HL%c r$m ko 7=2"¦؍\*Z8袜Fw!]6-  ?p&wGވFxc].*Lb1pNYV;WURcm[[N3&ޯȈuI|0V'F`6mrvƛMb{ C䤁\؝IoN NMv$eK* S)Lj4pt@B xKvQɼ­RoCwaw@SfeЧ䬉kJ12g Ni `+Q |A5 oV#1xvمY5P.V.(:J|ӈ;=ƯG\_\qj of+'8pIǖ'ugcl?GiW`gĦݾ $eU"@YޥqL^AqlOdPΩ6䙎F f*eyʩLgc2yƼQqAMz+^:b3IP?o+ %,#NMtWQa)WGzYTֵ=U2&d%rh}N RW&ԐnDK͞@~)ss \N+bcXL(C48K6:-xkȉE`} ǬEl?|lOErQ.GEOJ{kn@ϨQyDkZGh3j37mdM*4@OŜ 7,_G `7POEt}lxٱ5z()}/wҞQzgYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a0735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa   MiniML