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 %  % Finger-Trees:threads=2elapsed=16.593cpu=27.036gc=1.864factor=1.637zXZִF! ]]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgGl dl)d΅HcE_QAP+Did2+wz4MXK҄Ǖ} ; &Id/&Ǫ[ybwc[fF3E[ևBFbiAOHמtb { % Finger-Treesx5H~rvԛk$ U 3 ,釈:v)xmկuNjCq8wƤoBF9/tO`q&`zQ;yf@uH{b`lX 5;›/ ɓt5Kp>W9Mc gY m6*r9CĀW sUFA?lb>KFw>hOc=.Ɩ&V= (U"CJC! {rSfu>hĮ4^+:Ŀ_]J(9ʮ!i%`1rBl?2eԨ0=`LKr뜎R 4Q~h{y0] 5hmSU eEΤ >_7NL:"wJ߇#4j@Su1jY5S\,g8R\8űrG-%D)0xcEol b@O,.%(QK 3,h033ׁhVp;]PIP4umNnOQmHD u DK4o `m%s J}FACiR 9YR(Z,ȊokyژVܔ)h&eW)K G \ n˪(:ޣUM$N{Ii \jOv%kcYP倬+sK0}bٮ940$[$ }7|k♩ P 5c> \4]BGt"Ȗ1yeAT.$FZGTY쩎K fqJ qӜjF$ZXOj;p7I,:<{NgӱgYZ7zXZִF! T]ŗXi%:2 pavx$IE_ML|{Q9`}OQ6ZVŽٓDkpciJp#NoN/–ͣ,5hV0*Z94jjgM}a wϡQbDp(`FM?lx͖ca i׷HUAMg9i(;rޝ>V㋲}aZ@f(u\Wz #yJlR_?*J+UrS&af' qI_ 9cTdPKcX+-d8@ nE|(kQW8J 8As߃s z&vI;0XvnƵQwJ@[w Se0nZm4Li8'+~1ihJUKH_1OW̓!ZxA -o]/UN'9H6Fl!۹i-sՐ=5BK5@~4 J5o{Qw#W%EVn`&*|gWn>uXKfR̵HBsG^6O{HRj1T?bWtrտX/<38D{'h H*ID[TskۡlH4xW dI+5?|.jo!"c-EQ_^ůishQ-);!8XU وb+̥^!Y *8<@9n 0J7JH(bd2wGkQQeC<'H)9C"pml: tjPcqI*ۓ.$Aԉt(S WBj#C&HzͿ1N`- wP!x} }JgYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 b445cfcf1c121742e2f172367878a61977cb5614 bc5b3444dd359e450f61935d217b0a52b19dee52878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12