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 +3 d S Efficient-Mergesort:threads=2elapsed=11.046cpu=16.520gc=0.564factor=1.507zXZ 3 Efficient-MergesortִF! >]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÜPaК`׬jAI")0SbngbGcLOUj9"sC.!ˆ(tJ/Tfl0a`> iϏ \~" T#5B#[#܊NR֟%+vhk |fWF3Э?a z9Ct~C$!KVfޮu :y16+u4ތ[ 5%8k,l e 3('OhD=ڐn$g* kUf??=?a nOG/K?aT`aV9 u|W/S;HreflMv.fOF:ׇ%JݘeĨqOCUgH_>ɂSv[{"uv 9PPNC3py:ްW;qa7aFPbv*wt) a*4SdV4T`p۰ރN{ѿ()CnExfLS(bn6<$"lc<,&dD"ޅdHERЧSx ZFvfS?F)ldlh !xض[$<(:^P ET`2c4\ri'2^ozJ[6w9] j}llS^Wy{tE[˛`pao!Ko?2i'֛̀*sB3tAJ~+\PQX C2~24EK>|gl[p4F@Ī?J~4H)tNk_9/Ma2a&ڔ ^=tDB:X~ՑVrbSVA+y'gYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 338f5fc9e0a7f2ef67811da5a8179f13449066e7 994a0fccc0fa771e9040b466dda92c7b26d3507b80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146