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 S1 l w/ RefinementReactive:threads=2elapsed=10.849cpu=21.028gc=0.412factor=1.947zXZִF! K]ŗXf1-/6vR[O!vpa'tAl0ׂ~1agw$aU!PpO,ʀ뇮ڒ|cyI(|4e8^5,<i0Dž]v&'WaJݗ~ '}sޱ&Փb47Nm+rh]gYx%i!G 79!m`ʖ\!8BJ B.9)* 1 RefinementReactived n$]J7VoE](sʙkn0\鈖r Hv-M7 |;W4i$dU[R*ferӏ^^zM{8<c+ ]MVR}EBF;E*5 b-qSI1ldq8%@20٫phxؗN΂VX=H3BY20+ˀ($.ʃ _ f*kfiQ:iOyݬ#l g tkS٥ >W:&Z(w rcOn3 G!4JJʂߦEMFB(`69Gc1.Ӄ#8ruj 4e_Y`BKrqId&VDAޠ.;(?7\ mJ 3\1HK[y/Np¥! CW8z=g*JB_>rv9z# A21)Hvńb)g{=RcsмQ?E-#{PXf5BުR+Vő+ݶ2SB{M~  c^gYZ7zXZִF! ?N]ŗXi%DQqG/6$:Y.u"zۣԄS-p嚭iS=J #~8f,T.w8nDuDXLܽqDXpbX.bG3{>B}Q@R$.'zR"v *u 1ޟ\&k>5A*ʏBBGHG#Q]} ==$tm6Uoוa@@l/x.\ i^EMCEr$?8$uЋ벏 U2PlB_+mO 0P6@{Qu5v7\$RJBK>ѨbgAZZᑤaet6 f~[7]akNuJ$[m( Q_Vwi|*Р^q/f4duAEPe s=ZYz/ T2oo/3IËG:N5UoG$~bl&HqgcN =#Kd_5 | apd̕O<{Ds0wGĜ: 'scU vBEC, Hj_^1:P8v8<^HBöt/xgyϬSSl|-4PhM0)L3ngm~αgYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e07df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56