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 ))H DL S/ AVL-Trees:threads=2elapsed=19.382cpu=37.436gc=0.804factor=1.937zXZִF! 2Y]ŗXf1-/6vRZ\2_:oFEQs Q̧3|Ids*k\~w Hdod7<"g0!$kg=jPrH>n3߳4 <6&@ oNz4t=KSWS_e=:օ$&)}VX)4Ro-p4z7Wmܕ2Ɂcq]}QQ |80)ݰ+0KBddX " ~b O <8J z z܈OaDwcl5re _ ƙiɬ5G|^9]Q ldf`Js7qMl<bP9"Vې:7h?uP]BE.9vV;Y(r]c >;~(}a7Tw=87l hCpjR[6HnWrOa}h[(Ρu]L6/I.;0)ȊVX0Ӕҷ[ FL9!cuo!Uu   AVL-Treesby.}qkg~{pv;V@ _2\%=O87nY6_RrG65kZwu݆wpY&V7kߐ<ڶپy7&#&0jD)3JRKfK=&tA'w"zh741!\>%3I\CNW&@"Ŧ|8~tǞ~ ά{p0ZL'%7[ݟ[|gww=qE-MiljUj+r%J^1Ap}> 9_XOz$_4>VUDNhY,.K\~wk]+_>+g26y~fQ ^:edҷ eu&gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff 8d93ac94556ee3dbfc3fc6d874b4bbbe5d35a053 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962a878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457