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 **G t %w Topology:threads=2elapsed=6.168cpu=11.928gc=0.920factor=1.937zXZִF! RO<]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C &ݠ&S_^ Nϯq Ũ%I4WT0B[$NRc0.-[7oLY/{ۥTm;\~S@'NY_!8|0_7@)I ޞqtK[j/&,m~bjh`?Ƙj CEBbSe,%+@`eŘ2ols- L*7XVZUJb9GQ- 'oTDs`|k:l`{A\t|:GDҟA[rvԶ *tL2*F$G-=β3Ћ 䇩!PSb{MmWH-S?71@I%N./( zqpVEJv%@kJ~9RY% / /'_^f(b _a|m`@|렊fTg3!m,[P f-nX9Z1"6g\RcԦ.٨CM5Pu2} ѰMֲt./3,;40mO^RkhW菝x{6JbdT;Ƌ5H v TQ{4{  3daaX@՝ɒ/Շ%ykSR:M3wNaBg |2Y{2/GZ}Fn2Ŀ$S=|H85hƣW `WAFM;oeR96xHA_4g '=7Ot:IJxKC *I_ ФgYZ7zXZִF! %{]ŗXi%r54^?&9BR{գ13h W̎|qsAz)ҡy P{ʫ]qC}9fSڂ?EͶU ޗCB:!Jsba^5+tC4ZBݎZ!{/\.ױItp Uܷ@˰4RzM#<51 `PVjx)jUjj\3oCw*`,g#AsO`[1w$/je䯰R!LMpd"_I4ު1{T\]6$CYRpY?J˯.lѽFN՗AJ3]"h;J>.t/%ߣz]s"b#?mn"/|SyaޕnZ2o.U yN`F_Ą٫<=8@݀ݕ'5Ģ5=:D|fMګQm=?1BusΌИib,I7ř~ (Dlt ]f 0i5ڈ-y,AB݊f< a/Hҵ@/;V6x;Ƹ )`'?&}Yݪ{ ӭKw_B+9`+Y aw}xr*6[372kBlg6MILJy&NgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a cdff3db037278c15ee9a84e8a4686ee9401f8d463b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 cf54b34e30444469b3afc37db385a08e9ab8df9e 31cb7afcce3f822732b8e55e3351849027a87713 e440af01406efaf90d44a084fd989dd07f9562b4