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 M , S IOA-ABP:threads=2elapsed=5.837cpu=10.188gc=0.168factor=1.757zXZִF! !]ŗXf1-qN50^%Fr#W`z'eR?c2u)/Q\n.%DJC.h~fxV`=`$VįZ3; w~p0?K8KGOqRATq-,r3w&ߜ9 ~2R&Zd X&`_ l   IOA-ABPNۨzjɈ|[q_łzzM N*_:s6l g͆8&T7w[ZCsX;,~ )B^OB *WӹzC14&^֬K\7"w߯qFK{̻j<;MP_ if}e3G ĵf~Sg-4[S *Iث}%sD&҂u"bd +߃YKfYl/ixܯ*fb#)PF[DY6APR40$W#QtEnk |F )ɲӐ 6 =0w)tT*6 -$x3'o9=ȕpF.h<+;_grfQU&zϋՂa |c`#3xAv8Q7rm?hG.D*p3u/.WǬ8hUۏYmUN&Wg ~1z9C7vgYZ7zXZִF! ]ŗXi%CkTqܱB0\6z]^ar NdMo@鑨"4<6rC]ڛ!,A-r=vCqy}t|>jҴN;+tsW%b  ^D W),_h8X\T*ѲI9iA:sy%/QktSދ j"@IC{RΜf~@6&lO4hAK{/qmlɾ}d:2]<&H!~\%`^r~aqIjҍ~攞mbh4 3A1JdBW\}~`ݞNJU˿4]'5Gs(i,#b<^Ҧf۬8EJ Fb 7& 9KcxZ .c`k`Wuj܌0니' ~S l x41hعYi=“svUoHYm@$xeF)Hb/8RGJRQ."7|\U` ] gjSёFCw.1~u/7E2"17`˩y}dz36^X_R`ΣGM3 7}f!pO5#i27w73gYZ080dae06aec14b828aa37d39b34ee8b44a0e18a9 0a49159f483e2644341db188774a133e432281e0 181d2b92dcc3714bedc6a0e7f083141ffa171c0d 315dedad6bf63cf6376d19cef535f51d6f332a63 781fb061bd38e288d34cba0200e25981e7567598 7d12d7edea3a531180c2c2053a7322a41d874610 96e3a471d3b874ddfb93bb394ac4ba897cd14b4a a603ee4196c9d72d68023e7d2f472dad55892814 ac0049eb2877daec256c11b389dcc78ac1242da1 bb576dfed7c0bb787618e694ce9c0e86609d9264 e3d4f177af568ca9847e91ef811aff305baecce2 e57fb5cfccf4ecbf13bac53bd1c7abd1fcadd289 ed640e6cf4e978447badf183263663509801dd4e f076f310f70c80397c6a792d4576161a4a9efe6f8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed 645174f4cff6174b9ce6ceffc99373d5441e2d5a 3e8441425ee2ebd049e583d926e4e69394235387