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 = t S/ AVL-Trees:threads=2elapsed=19.173cpu=36.408gc=0.832factor=1.907zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}z.SVM NB_Ny2ę924Zx{yJB.[*\s\6O{UT,ô&3LOHB2{+L8.4 cd?.?3ZokG =Tk0@nll`d/P7EEF`$.ϳu@1AUhĜ*_#C_(^ GKr-uK wUtuk0S dF iͪ*I6hoSzőcj q"'iP)vc05z튥C̅/Σ\`*/6zK}AԀKԈq~{Tf",x Aai- O{SBQQÀʴ31f&XL7wxW\mk]-!-=klV z Ԑ]Pģ$~ʱgYZ7zXZִF! br]ŗXi%6iZunY?u93bF8h,BL#F? IǦ/ WFiVrS-a+wt w $$dژ669O`3VA_:F.6D! 7V1n^X 62D,[ruۑ!5P8Q`.myX0Ιw=rXK;^Bcx(62Fݷ ?+dSA=q5W4B e}\qQ8UU 2dRH-@~J5_A?q ~^R5(ƌcpCqZ7>A9!^بTH`-5w0{ddEn,_N2{Qr9hif"[Go; eTNEq-ЇTT#Dk.k/$(XmyA ,s~Ea?1%~e3cJ2[v&/yg.Fq cܗUh ӥLX4X$4tLAgENK@)􋏫5^Z*9Ou!{:ɿV6aVAV/!txS=;zJd=d& -Ngl^ '.?.w@z4 ;:fwHFs{0Z,pTwz}l7a֥|A|(QiBza}L'?.#B4C2z(^)ODFa֞ bhZA%Ec!ZfTGut߰h^ a$(u8%C^MTeP0![\̤]4U\u?ߖRRGx5Weǭ݅$ {hw\?t?GUICXfSֿTs(,^C濓3^٣9+9MȆud$i A_#í7A S]hO4)'I$44;^^DІ((=/T1Wʛ_q)|ax\/~$L*>C9^Z+$2{m$V85e#/.5#o}H56_EY@|ޚqM;9~""kí-q*ӣvWwP&r ʶR.yAaѨ=,XLbpw`W6o˔ī {jhU `4X%QVAF/Qi _#f"A0I5W,_j <7gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962ae4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb   AVL-Trees