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 VV'7|t Sw Source_Coding_Theorem:threads=2elapsed=5.229cpu=9.556gc=0.176factor=1.837zXZִF! /7]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDKWk7Ds*( 4=Y6IUh "n0OsiU~n9.j&[M R`M >`&56jTNwڷ}^Cɞ5d w? u%״.u2I;ԅ0cceq4:1nIRܪ~ӏk Iر7c8}>٭٤! wC2h/[}g=ƦAȾA_^;a@,=lŵV5 K0Rz!V7'IqPfs#XAKb ߒɎZ6+ߗׁuBW ps"ۇ`> Ef| z&^sK%6C @C"04d\ĕZ jR#xP11q1᯽3Xˣ:l"ub]6*,i{-gU7,. teԋ!Cۀ+_BE!j9ގL?a db/m?/")_Jw4VndcYoQ#amv 0g'Ի<] js7A ӴC b%Ԁ!%d1L@7Sn|Զ,}jzh!7ˬhGmi(Kϗ6?y ^l, HnS!*}\^.gYZ7zXZִF! #]ŗXi% q=v~a]*uL~Umjh j()gb-\;Ǹo0@ ]EnVzɪ#6 ?FU/Q4MxѮJ}2UY a@d wU"\x=1kzim=*&3 K;n斋&gje $\/˄!gwRS ͵$AI,6* q6sYpqTg6 9s2gܩ`2~3w|)9IUKK\n` u tMB z$&H΅z S?^#Ko3jF5NjgYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 8e1be8842734d621b02363294a6667fcb8966f5b 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e544209711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 2e955ab17180c267756e7fdff229af0d6ca147a9 7 Source_Coding_Theorem