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 3 |$ S Efficient-Mergesort:threads=2elapsed=11.375cpu=17.156gc=0.704factor=1.517zXZִF! 98]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÛZ\jmχMY?YgL{uϟic0O-;6Ôe=Ib@Vzobdlj;j wh .9Sg?d| :&d9Igu Jz^ige2u ?st`oK: ڗ"wz#gqڏG x#3٪ {957(" `D*y0ae4^7> [INc:~IFz qK2$%c f׹ Ւ9VHls$*^/#~;vV$5w6'lR%'qJ=M~8* Un͈ X45v[4lqÜ>&T~I{ ZT]jbniԢ$hÚ7[i ;>D T)bZAZ~eN?`k2$ZgYZ7zXZִF! <]ŗXi% pV :i6$AnsprcSc#d|kI8DY JYX/:NSBfo,{@mWgoM~VIj-l3llNT߰_'JqgYdQNB!hm@&P2SVވF,Co%h,bEh#;vWk R}6|f3.F[YZ%;Ơq`9jrG躍+%5q>l#+JR8gp3`ݝ'i!@$#gď/QIo *aa>)PsK$kdRQ gu\u8nCW;ӡx@jMkڄM`=Wefv<2氊;v]Mq7z \?z(m׊hG㖫&bMP;`ΒuxK[pqܑ,o4sIB$|!jH~k;0'12F.wL1aԏ5 XpEPl|kdt ʩ1H`JgK+~77 fYJqxKQ'plAt oPϭiV8KkxyֱE=U|šS8,+xqۡXPKA|5-Az#83:3@ꫲh| tt$0y/ugYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 338f5fc9e0a7f2ef67811da5a8179f13449066e7 994a0fccc0fa771e9040b466dda92c7b26d3507b9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 3 Efficient-Mergesort