SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info W+$, ]%]HOL-Probability:threads=6elapsed=51.184cpu=233.420gc=6.632factor=4.567zXZ ִF ! ] ŗXf1-q恈wX8-k=bd5O>RWcG!7K~Mm,'B*-(4iAɨ@OCy\>F+Ssc{%]Ewudp;dl`֟;oqQJ9ǒi<:zט8͆ O6bAm[,nnRy M~˶`PA-f`rpy%13O:lz;LMii. PfJ?ّ6l/-I`~ жhD=!V>oޑi|7x~+{o_B؞Qۙj:HhyTOVnu~Cy.Iyc>茅?B9E'1"c9F ӻ[^a/JN9ZJmUP?ڗ?LX 3Y+ k XJI6vO{>?ܭDbDJuٴV#Ǒ.M$)aZH #`>Ec$MG\u/_;s@G;F NsJKݑY(xA )&?GE&q-РxC]۲9MgJ}\H\s\lܘLmQvE< =5>/ kz[鵈jD9V@@{d{ XDzF£3aO ֣}mhn*٫m}5\xrFk0saqXJ%> 26ۥ~p_k %FyiZig `B! I_ %$ꄎƜa(x4\8]!W5fFqG8ve W@?
~Z߹\V+6&u
,NQ\1+~KA*hE}Xŕ=VQo!-lh8y{