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  1 l w/ RefinementReactive:threads=2elapsed=16.158cpu=21.764gc=0.432factor=1.357zXZִF! (-]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1KlE5au} o]ҾE A{mZI|g. .=Z5>\ɦRY, R"Dk Q_Y=B%b-l?3Gj>m\h,r 5wza5$?V$~PmwL)U~F:WhOčvR4&_VK!BP6*gV0C)J>=7gYZ7zXZִF! V]ŗXi%6yKXb4J`g.ckӣy$=j0(>y;y*2܊X :S r |7|'TW ok\of"{NnVoY}n24's= y]|2$ ~=KۼH {_p7sD |.KSv~V <' WWu0a?8iqI8xpzy2Q,֔*mO ՓImd Tht4 oA7T?mCcU77ihQ$}_+΃:jEƜ߇3:: a4aR `>=pP`Q?yЄydaxVL4ğ (Ku4. 9!dM^6xpywH-ue.Zh-3 zfm++H()O06)2 F#x?ֽyPx$=6nxjGj@GuZ )JK/ԕ:$3,$&~Z>]Cȋk]w_4iPSUƲv#30D iVCo/\q6[@Xl Wn~Iaه^!^a^NSв&~4$D{N#k|Nc :" XVYhln +܋Ц,5a'U/^a9m6&GgƀJGy>+=?;7˥qPw;@䘴 (/ȮĊ90x#\yPKjq m Mh]xqEu^ڦ ~6PjKPB[-|4ƱŞS x'I|'O%1bzU9#LX%I'0p١kY-ڡw`,F]r x9yL8Ab(l'qdVr5r~oe@MYs3Љe ^BPr悶sn7 OEj_4LykY=aI"@Z{Ϛ\qZTM*IzHZH|@< &[ۧ +mE*5H #:, ۭa*gYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e0f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 1 RefinementReactive