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 %5 t % Lower_Semicontinuous:threads=2elapsed=7.846cpu=14.308gc=0.292factor=1.827zXZִF! a]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&Wh.&Q *}.<Nfu 5@[pFj!J73ߎF ;ݎ0k0 39Dj4mۛZ'x&n(;*2AKIR!yex:^fZEd xπGe\\ߺB" `wT%+)94 ᔔGmU?9oJ*4X~V . ^3R_ jLkφ54\A?9HrIfS7G;LtIM4ϭ Ϳ9-Z*| XsB<+4D)p`Znm }X! &Kp* H&qBU7ͣ 2hetAٙU26u O-<Itۄ_0G0<R#<;/D7DZ^P Qi;UrT7JE`M?Tn8oD 4h*Z݋## 3~)4}-P+c bxOC2d!E Կ9|! sި;R#0pd*XMN{%jcu!svX5%ׄ8'[̿8W}3`/`[c{LG*Ӹj(Bڏ5v*zL+g56!%^ZSV[oզ"uncLs$%gKQWR!TNܫ~{\>tO _+B9ͣ!Mˑ)(j+zj~ * bav^"L".GfzY8)ӥh|rWkķ83 ,gYZ7zXZִF! 1<r]ŗXi%s;TwK ~,?=}WYfP~MAD-ճ^}jT-%k37$2UIٕESL D?ŞtmW0.[32N8Aʈ2J;VcLV|AK3a}|[JsCOp M)LQ6C*+~:$%Ցy. D!#LhBt{BY='Z|>ߌBuo圔;#/W~wPY'GQڌ]z+l@Ʃ!9FRi)5 J4?gܮdgj=Mռ(D/%Aã~IW:BsjbkTOP f0\>9\锦hiin)`k~:_n&ת&''\\+M8 f1qwY?>I-6QU=wk'yJϲk"j'ů-͊qwG͐ڢSfsz5;ZBٓ*tiʵ+Yk䚶}qYN F %=pti)! jt`pb4tx/z\46!%k}nl5/>7} 2^:?VI7ʤQq[tΨlL yR^WsLj?"bӾHfiJQI[ S>ܜNYWrblgYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd01699711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd 5 Lower_Semicontinuous