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 }}t+ ,< I/ Binomial-Queues:threads=2elapsed=6.389cpu=11.388gc=0.540factor=1.787zXZִF! Gm]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNdǎ-FRIcX\ICX [=3>ݵaE6b梡u$GzyA[ Z@_-:1Hhyo{AHӯ|$!Ѡ}.-rͪ -.R u|g*Sl\e~- y-?򫍁W|-VUgY"ߑ>w"P:CW8ZXqcV#:tnD=ΕJIuֿG$5 )+5#㳭#BQgN + Binomial-Queuesbj Vhabz Pcf]Of|Ie\ޜBqݖɺieMh!}#E$^fƪ%u`|mgݣ@ƙ7l'C HI KcFFDA $^hǑhAvtlkq1)ExV$Mtx{{ >g1}CWCP:>7 ״jVL" fdlf]Qkk:CBݧy1PF:jPIR>[s0.A( nCBc2; fn4 *`gNK9ā:tB*Βhs0M[B|W2P]ґfg T;yAb1&WU4°sTnK@_l)>u9ӹVg`TO&>Rރb4 x7 (0 ݏ;V#Lj!qѱYHz!cь UȀzֹ&ݮG򇺇WR?/)rCQ3rN0/Yh0o^=ӧ }:cJ銫I[tcUMUDَjx@^4uZ'!ª'w@Ě8i8o [ǐLJ~2C|nD]%`!S@ec@ oZŕa%ok6]h Ӌ1 :O\ۂ"Јp~Z,` ),+#gYZ7zXZִF! ']ŗXi%>>B+wuO Ab?~["90wP#[w[qTRo ROtrlrsކ;`M1z0vW`:e0-t3ɎVڨi0 $9i!/u !S6:[QG.˭ªߥð <w3Sw 4B?6N%kfB p]0@SVԪ-^lWZc&JTa!?6K.i{OX1 c 1By?nEO.)uD/_{B?t y6&2Jak::b%H~6Gl<eYbY]# y$-qګs*L X}~vW_ ۷3%{\2 Jfese%j#D-rN5Ez#i>RQ紴?hZ3'獚Q:9l[W?Lae.h.Ad~[y㼂RtD1{7*&f6b^A7l#H~R[_ۛ@;}¿΍*H;k T*2Dܡr<6Y柢Jy]̴$ K)p &T\]+;* <. iK5 * &ȼ}BjvAMUm(A)df'L +jҎCgtH*nr귱jS]yj1YFܪ.tMO VgYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 632b4ba16515f9fe083858ac42539265841c0b6b 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 d81829d116c813f0b97f449cc1da7b8637e9a273878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457