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 =\ w Tail_Recursive_Functions:threads=2elapsed=4.378cpu=8.432gc=0.336factor=1.937zXZִF! r]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+3UPOՈZ oF=it@cd3:Hh=9xc*bk]eed"WZ~XEjdSzjEY$+3Pi2U?> vpc | |ѸuBkr{ByW8YyquU@S۾p>o "pMErB@l5.{?gX&oӨ:R6GK,Zׄ ϰB@|?5KylW|H*I}Fh+cP&rR Ca,C12\֎8,?4i");ŗ#q|rCѵwg%Y޻-W* hxKF`㱺xf<&c8eWm(R~kiQ@Ұ}gYZ7zXZִF! ]ŗXi%s;/ ŕMQ3jNc@DtBC£D/`j[6 "܏4h?1 &s{'CWYf DHU<`4~*ԝTh@"9u2 `2swI'H0w ڜeM| YAOP6WƊy?~ XjғQf FgR[^*FH8߇lݹOgaHAAl $5naCtn+ƿ? ,lRMUaCӬǀ dqhO,c4&ԸMZ"6N0È:b#!SmA;Xi$~t9IHN)ÆC(~g֔9qd9 (VڳVS+){y(c.L*[4>x`1Ҩ/,^ft<#{1wX r|WS3r:-J#!6ӁU-Q"Gh KRhl65ޒ,ۢK(/ݚkO=JZ^H"B>M<)m?~FTY o C6w'U^@;vZ)gt<&A[gYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c4195622280469711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 = Tail_Recursive_Functions