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 ??6/,4 S/ List_Interleaving:threads=2elapsed=3.298cpu=5.672gc=0.232factor=1.727zXZִF! []ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmݻ2Pc R' djju"jRW߬_N;w'##ppejqLqg'x |b} QI.Ǵ0p < C"nseIa|/^=7To{=ҾᯁuIA7N2N 5:8L3^#K.--aiag?{gYZ7zXZִF! Q]ŗXi%zxLL5_E@}b\ ɰJ= ڴ)XkXqEPk$:<]W4sTwo@ >KMVh  e:요d-)hx!(8#tF?E],L_,]f'{HJIYZx>AnB 5jbIw8{{\.RL\Ҧ.慂|ٗ'nsr=iOm&.-h$ QbE*~X2ӒFȻᡂ)4ŖbkqTLɥHvCj.ε+ʂˈyG!εG \z^opK^M~5Du7lߕ3حJ0 0naA?OJ+Bv9ʳR{untevE0:!32Knb^;}U(X)Z ތX:(Ucx{medƁR3gYZ63b9332e0c2b071f8797a7aafcddf15a927e077b adba8d4b718d4b39467be2e3f06ca5716da6c0af f960ddbe27f8bd882c523a07c322f5b997e8cf0d fa2fca950219e806e719b6c811c386bbd5ce4412c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3