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 `7 d / Transitive-Closure-II:threads=2elapsed=14.474cpu=22.972gc=0.960factor=1.597zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]$h Tq'_pu㥈TSjMI90Ⱥnx CڣͲ:!oC{%Omn޷V}ƴ^զk+KK%꠆Dq\D="3@m'Ջ|hO:Y5IUqr'_[txѭ"x ;>OU>i7Dpu¥KJ_ڨbJMw<RDk%I8oAkP ZuP_\e]5rJFE\`RL$_ 5A1t=I>GFwn͠;L+* RrӲZL^'7?J8g[td|~ rmJj l:j7\@ C*hgYZ7zXZִF! K|]ŗXi%}, Dpx';QumǑHzv뭚U]3XY}, ʁS7 V|veg+M6Q-wgҺf@+r62bF)egŒ&ur_JShal݌̦d<癊=Onrpet} awM鈠FƖ9!6U{>/a4SNf$La"( m0>P@O{SR:7S*;|d<+eNv^0 hK|kpcZ𘬍K 62ȓрnx8p[rȔ fe»vU_+c76fTK3a$ ^djsξ Z2p^H|X +7ü?xY˃E,x<4癛6t^@UO(M(韃DUs mp !C:[&(~vSkL}3>im Vw1w\&Bc3z"L gmt[ kFb>jwt"T©r?QiI?q% sOMy_r뛧hп8-uWd^Fyyc,ޣ&i8c_KӉ{p-꺯3q.G wJ4Z֎w#6q!oU~ ktOe"^𲉟N鐌VY0=ś:9#T[biIH;I`❕d r+v#ٍ3:ĄtuE'1ޚF3o7?+_rg+7D_?Vq+39d5UJD"(2Չ'׬>hA~/ V~1IIwM B5ėڷl>ZӆRZt(1o>W>߸ IC R]T|wc`PO+ h[M*%sR'aW$lX]e6j1$Un{RQ.f} gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 84423e11b6d52228b0f687765f7ba7a489cbaf53 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 ec92008245efcc8529cac7bd0a7e407a8d923d730ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 7 Transitive-Closure-II