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 f7 \\ ]Pre_Algebraic_Numbers:threads=2elapsed=16.538cpu=29.048gc=0.512factor=1.767zXZִF! Hh]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱL] _6\ t<$}I7@m .p+wyhpbKWqg6}S@oy$\ sc;1[0#zJ?5?:WV6)jM'M‚ekȃk,t$DC&F$@aKO*aV)s"H}_lUemSDEv&\¯0x̝8RҮԎ;'s{߱u:&SJAW)-^\7^WWvHҾ]|Og9ɥ2FQfT$jQ ݳð%ΐPf|Fb9W@<.gYZ7zXZִF! O]ŗXi%}Di3KFtV]YM#n]KE3b 2;}0f'OB$@w?qغH3]Nn E]dR頑{ 4ƇWA[{U:eA?94d lZi "do21[K1f\(\@yEX~UB~J?+HO/‘"I%3peCVp~x?8i5}a2Ą 㛸g"$BΟR!wͶ ŘK,RiT9Seka ޚ!•믥HLcMPD:. -+NL)B-gci|Cj_%6M$Yxr+!M1; )QjS+L كxYޙCT2!6R$2~ìi^d]D.-ɀ^~7ld8'&-Bf!٤Y3q|Y2:,(WhSa-djgqÎ&ϟ:ߝ`I}<}RgV|2I-akb+V2j~:Is0ʘP5F ƞAϾn v[Ɇ’J_3-m NҶMGRf̃ #$ " 9™8I8FY\ ]F,VcO-"|@/ƆXGn!K˽l`Ϩ›?>fec TyvdpXѸ3s99NLx3:/@^x@iumLKv, MlBV9WPZvl!VܣfI,]謨GB?kPXz14Zj1HCVZ\*aW~] f~֪On83=53{$\w:7Ul7 hvbb5;"{XhAᜀ(Υ =3䆼HR<xb!_"^2;b6z"9i3;p$ae%&x!*epmbZ[a% ݱgYZ19c8dbad5648050597dee363f077c3ef6069ec4f 268e812fffa5c2fd46f0296a94e824c975fbcdaf 31daccd87cc801426117c4367aefd2b43665ed43 3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd 407edce55bc78b9aac458ee75faca6679202c9b0 463b2cf812e4beab5fee72b33f00ce4814102222 c9385cc853612c59a697ade4bb07314f1f2a52e4 d576543e393bb727a76518a74a7611b656b88e980ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 f7302172cbab6776a4f4ea357d315a195daebe42 d67a10205e66d01ca3a2256f96ec1a58fee34e40 210fcaa68eceb1909c0bca6b842c91dfdef9b6eb 5d83e01d4ad30dcd478eae5690303a92b3141b6b 6b73c69625f11957dac9cd0cbe217a39df6089c1 00501c61461358dd0de7b520753064e630011267 c573a1394ba971f4d912b4a96c4ba6e90fd44f7d32effb52e5504a3a9c508b3030a857cfa38f3210 7 Pre_Algebraic_Numbers