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 DD9 $D ]/ AVL-Trees:threads=2elapsed=19.021cpu=36.052gc=0.720factor=1.907zXZִF!  ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}z#pSMv=$oĥ1.{?"_BODU?eb [`A3;!]%퓼3d`)u\nam־̸]n~-^qPK I%f=Ҩ;uYLy1ЫS< VYy֎=. vaB(yGn@?5Ps><)|!c) J50K &(7^}: )G};cs%9U")[G@f6"6 d>n Ǟp)#;V9®~3]pBt/wIɈmnE4M΃ǿv鏙]o{l,K|6lK'zlJELe4&<6'~TBJ ZG@2{Wl56M5p{?8!,g$˪?gYZ7zXZִF! `[]ŗXi%6q堕J.EU Ź&`j0H!8$-.x޻R Y E~Ͱq&M:ϗrfqV4RzsNc!H/䵍֒a|nqdX4qe*;n3"u߰cGߧ *}C'HcQu>9@2O eۙY|" pe8햐K|U]G}?G.CXgFQZ`MS!,OitG$*D1&TlA<*̛%A&ꚏšNj˨ۇ[c 8z [^-s:  D\:=9>ׅiƣ^(oB׈Ȓ`!jGt,Ro؄qħ@NQ[ xV̢iY4c4X?Nl&_SW=&*`~CLky  q_q+6i@% /Caj쫫*>ә^24?I=yo;Un+% tK~3f9y֧5%R-NUn^ٷ]<+ G^7+ʒ"v]9nBN22 E`bkDp 9cH]0ޤ< L,sœL1鐦oWǷ h/24vu^L"1!>̱0?YXZmgX&]@tKϼV$o[IwU楆ruN] ODgYZb983bb84c577856195c22fc966c699ff3253f57f1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8   AVL-Trees