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 Q \D S/ AVL-Trees:threads=2elapsed=17.279cpu=35.784gc=0.828factor=2.077zXZִF! 3Jh]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@ZIۑ\^r,&ɷGԧU w_`ʭ06zwI0Iߒf.]5m`5W,F{a:>Ӽa9p/#ܵqasJGBV LTy/ j~TZxI2e"qQ ޱSrj>]i}<\e[6 ^P v%H\% n[yD1%Z{~}͘iMDmc. #Fg1 H./WS\#7 ۓ*G<}D^Q@D`ze\(W6N;)8y,U:VUXuܳX)[za"pO ^+(I>Ʋ E,}&rēdږ=rgYZ7zXZִF! Yx]ŗXi%s I ]KrP줦V87"&pdui_L7_?1r~.v%ӾaUohLj "^BҰw$T8kJE\l-EIT*ُS\H uو(! 0ʓB*z0}8ZXY5~h5D>foH_p41a7ra Ixu@Sf~@˂gXdҌەD_`A4?; J$ߩ,Ԝ։"%!ՉDQd:'}<ˢ|a-CL.2m .CN4iƒcE3z1אTW0Di9K_ J(E@lJŵ -ŏ2ɔ_WU'Л6a&q +@9^B '7˳IUC3ܢP+ 7$., t ץ+ٷ/5+tee70q1}ciK@l"?}J2II8"zGlڣ%WYÛ9/۫d߬v  %ΕkKRzzN d| [Ml㻅&9ǝC/rTHsn0$7<m_̗fgD%ʄ^*e=G>}PECF e;&4}i`,Nx~f#DBWBBy/ÛC7 F)O6ZbO삕mYQf2alJ \0JGf+@=Po\R&Iq^p  v[gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962a9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9   AVL-Trees