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 9- | c Lambda_Free_RPOs:threads=2elapsed=19.809cpu=35.940gc=1.368factor=1.817zXZִF! ]ŗXf1-q恈<-¡$johkX2I)􈔱Pf-@\֯)sۆae#.bEIwcN8lEI,䦮r"@|Si@Za=d_BGVt@ 6<- LأO 챰1^M6v`@&A:iP>ᑽˍtLI;@$^NXcZlBD0[{|QMcIZ%džN݄j)wM^>tkq`Լb7mIRP0sgt' ʞc{l緆:vsUM-.<:PR(Vo/.Z|zbD,C ![0!0WI F'HܽXVVUbeAq,p8BX_h tlNKw3Z^ a\كi!ܠY7ǯ" O[4*~5bƱP+6Ptca*UC,^@KnaW]c/zv0NX.v-p#lT8lT&|Y /" 4=24zsnLpX{-f\&0~uH)-/zf/56&ۚ%IKBΚmX4W5Ȱ"T),6rXc'+Qc bn4RnBYW R75v(oZK?mwQo7KLIqkqQC֞sZ9zM N[Q4("}tAy Wه(5 %3t'RF qm&iji8 O Ao 0}&lXl h.wS Ԛn46M` 3+N΅]F%Vnn !k/VU9]OYo4 5X#|}kT3A y_1D Jǫgj'?\zkSCxMg(\cܾ%Mm* PToM3=ދG%Fİ? Qb{{ߨ5 Ŗ`>Zv^U1[WH=>Az3Gnpz=0tNu[qL*=tB nw'UR2||Q!HռM(4L):l&Rkپ?Ax>GӅ;&,$5GxlMsŇ2Z:%"7@KSbW H X7/$Gԏ(98|!% jv=If}* Rۤ 9ubA@R`^W'D }K,p' Q agYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 adb5effad36d1ccec275bce2ccfc46df3bd8a483 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727ab9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 - Lambda_Free_RPOs