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 N7 ~$ 6۫fo9Tj +N̢`gѩi'ʽ~u<ІroƫV߮BdA^ VXƴ˪УZ)s>A0QX> I]$\!U0Rz&\QNA}9V fPDzsB,;en# V&zּݟX.@CcB r;r88mA̲84_S@G^ZKrǧ=rԙ7cHY Enlȱ&J cUo N,e.vg/mɀݟg;\S2MfMN KKx{/V\`7bT/}1Pvܓm*Dn>*eKX*xwJ, n)fFa` 39VJlv($N빜) ZG Q5W\AX_ȿ:;i\RZO nx;j\&ɑ*\5yyWAJdxphUB|XC n)dQ²M*%sh,g"=&ɥwqfg̿ݩv?L L$teV=̥!$ߴ'T`)o'unUnJ \̄6!!Ȍu=+ؖр(V) sīұc܃g7STCZM'A}8Ik-)gtbI,]ۣn6 fʃp_z|x)bX؍9=!Ab1r݀r1j}ytP3Q&k1udH5N^{ eFffUYoS{Q›6#bawMr ON*Io,INYƮ7 *LfWHK8e4{ک(a`X5z|/l$3/9cW3-mQc&lYӷ۴}5nFRkj$@?0p[! )gXyuN&V:ϝߣ OFܥha*DZ+d&=ds2L(K{H&~rފTթVY[Lp ƑMlEgYZ19c8dbad5648050597dee363f077c3ef6069ec4f 268e812fffa5c2fd46f0296a94e824c975fbcdaf 31daccd87cc801426117c4367aefd2b43665ed43 3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd 407edce55bc78b9aac458ee75faca6679202c9b0 463b2cf812e4beab5fee72b33f00ce4814102222 c9385cc853612c59a697ade4bb07314f1f2a52e4 d576543e393bb727a76518a74a7611b656b88e98728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b ad2f82efe8061edc5fffe7feb8429b70e3c27c74 73eb1292243e8f53b194f73db6d95e747a8c0424 2f2aeb3a8e81851c7f0387b42e57012ad05ee2c2 cf60caabd96230134f0efddbe5a059d02b58b198 405333650c1046c9f0c2db012fcd0c93ee42ae40 551f1cf919f527c94103e315de4d0514108d7d9a d3022386aa0690938aab7817c9f8a6ec43d2cadd57173ea4f40069c52fe68054f69a4733755435bf 7 Pre_Algebraic_Numbers