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 LL1 D ]/ AVL-Trees:threads=2elapsed=18.329cpu=34.976gc=0.768factor=1.917zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}zblيfjbP?!@ЪɲHcjQz^JIPg(Q~g7aaނ0.dݷTc!/.F*q\_-Q$gLm%IqW:Y5tɍ]&%Ά VU-kݕd##ځ~a\0sL?mW]ÍY[i=-4`y2>vy47g3V08ThP qڹ UiHu}&n6V@(jWDɗGX8SXWm$k=ت{9ClOb4Vy}, ((7 n!Olx~dX/rI9 J4h\?g%IF<_|CrrȘ-~/ 11Ra[WB\vN,UqegkE /DC6ˎ\US#$|": z M0Ii/؃mH hR- zxM>Zν83xd(ʘq˷-/WUs|vW0wR`Ϩ)&u嵡>Z2XK[{037Qzjw$}zXQw[<$ cOOeU#$vJYAp0hͬg|Ló3$}({$;/@-p?PU{Z ?Э?ӻ 9tv˪ܫԋ脾^{C,mn` ̾O~SM'%+l\F,Y% G8~tj_|dt5Щ5#-jc"z^Vг/BhyMMt.iNK&V1?v@Ck4R` tV `"lX(H<1>j+bo|5Z~@2p^K0)2ɔ |\Bb\4*;gL^^p֥-^FG?p8>8HaPB¯4Kxi`M @ugYZ9ee5c30338e825581bf7c0d5f9e7a0e9729833ee0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159   AVL-Trees