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 Y- Dt ?/ HOL-SET_Protocol:threads=6elapsed=22.384cpu=90.236gc=1.840factor=4.037zXZ - HOL-SET_ProtocolִF! z Y]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxL>,K}X8Œ8sI7CblmE܌;> p*D׹0:/DuYoRCfK =)*-'P.pg*t-4N-bc]MaGHJ]׵wkJ:܌2(`4k]Tx{x7Jܴ? K[ҤDƮ>P΍LsGd4hd&OL~ [}t;d_.8 |'W< P"D.wћu?CjKkYMl)u\ɂTى.I>OBHNdDy4hG2gO4]ǘ OJxoH0#V}wD6k֍INTښ8v1x5!I,#-LzJwODU~ ]4FsjUDVl4sOpz[~]ҚYy\Úw처cf;:|r%>^_:; 60ǒKE "j ~K>^x 6眲l#+ wC^Sjecs 4! $cǫ_IzU,( PԑmCE:p{KݭUK8cWRߞQ]D:۪6n직-6htCjC*,<XZ0? 9Wn1~ϚnH|;NeyeJ GE{~8Q-`!um{9ҠfֱqI1m.MDA{.>Gawak3&dQ`˼pE}$^IpQ_.>I FЄLݛ'hr3 Bzi$m5[S=Y$o8$` rS 6Ux[-(/i:|+J=kY}sd!89:zd@X9q?rz@_[Qc/ ub m靳uܰ/|_{G uQs/mX]du>xNod2Xhk*\)4ֺx- lј{IƇ҈gQZyHFqk"@JE,16܄4* h)=G4D^ R#:v }h+?hWa$D'5ўY8c>;3JO nx&(o%ǧ~gYZ7zXZִF! l]ŗXi% %tG]{zy$CQݺ|I2:_.އJa@YYh5} g^OTSwܺ SEϝ(0,}?ۗi4mmTJu4m!BDZ0#qBSRi3ZI0`0o8epq3AoU`nN G#TYl9,1 RϽ`2ߚ$ H1?s_XGC kfP=P+zXB`&L5mpgXM ~Mh}:oOe_oc ՝ Նb;;݉6#W\Ƹ.91"th(ĿTbѤe+jf߀>B7Χ__;-Y($]̇i"i V7$Q mbT+{ctJlQ(!Z-;jU|7q& k2jg7چ$xC `oxB@NClLX}YLfX*D|F,9wVxB"~"OZPeQ/*Զ$.r]oiw^OVt"G'w^Xlu4Ť.bgbV LU1H+xs9}Q 2`>&'!b;S3FU*ΝM@" y* ^] VM#Hncs>F?A 71(Z64ʓ>P7tP* INg#]边h(ufY^S6P;fI2Ȝa`_T !mXnpMNþAKІjlrȡs?09o8Qz 'u?| !(S[fko2ko `A;P M[+P-J%q'%HV Zm̬'Åpмq\RU.D>MxЍ.)uCse&ERbe Wq2uLS /ƌV