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  w7LD Sw Source_Coding_Theorem:threads=2elapsed=5.726cpu=9.660gc=0.156factor=1.697zXZִF! ]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDK¾6OV>GYY|-sJ5ۭx$>6Plw M$w;V΂[X{4 @͑=rqIVֲ:fh~8;Cf9_3#1ha呰& xq&C\/~dzZ 1S'<|mnQ[(Сωgy`[Z=}u*7NgYZ7zXZִF! %p]ŗXi%6 s+>N6'NIq ̿fpvPn>yPO-$1 (\BФO(M[mSuTzaMI(]4yh:p(J #.pDG6Mӱ n]~oYqvk5= Zd4z}&-9{%NPv!QZvؙH6i7VŹ$ Ü^_XD38[f)RHhRC~ j[=jfbEefJ)B܉/t7E{ԇ$t<5i2!5X ;bDL0"]7M:${oBKkoWC #bpNyf{du)DV6ye1#ES$+ЮA*&Դ?|7N mmp.Vl[9vv`8fM`-}Π0o]<mQ06g,քs j’/Nih0qq_(0Ү*˖\o(IEUJ @gYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 8e1be8842734d621b02363294a6667fcb8966f5b 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e54420e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 59803954f05cefc5f62ca1ab8b43e1f15a1eedf5 0c69e7ea9e00de00ffa65c0625e0990adb806646 7 Source_Coding_Theorem