SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ll}7 \ ]Pre_Algebraic_Numbers:threads=2elapsed=14.239cpu=28.228gc=0.604factor=1.987zXZִF! > ]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱ@tA+Chl=W2@)y` C\pLޮeh 8J7.OO&x!>HfiDi umҤ0ˁPXu.Լ^}N5vWTa۲M0's߯1  7 Pre_Algebraic_Numbersz 6TZPU(3As\rW q&Xqd)qoBmer=jY܍2 vBj Qe&p[.Uu =|3jk,ZR_kk ϏEmkLϲlK_6@ʍ&=Aڐ40R+4t#sY`jCVlݡ т|80%'ym$Iy,TM+]YM) pՈ}q 63SlgǛ$b؉XjTfBБe"$eD4kl젯ͨ#WϽO D: hILrdpEijEt}I(cfilb8jv`U+|nl~%$O[͕l)6T|]M6337bkWRGL J2OBS# `LoA3d7I*):Kk} ].Ę鎝~U(x@V2WV2P7 fP4ƻCK ڻ`SRi*5F1m3vkw2^=FZ[Yl[m7DW=EzMpڒXPKsOMf-huX>D%э!׾Ӌ/># .9 iɩ;C6XU5 𸣡S3j 06D3)zz U nņ:TqܽxWl\,쏽s Fbw N뎃4<o;\Ç=z#0Y|Q烿z^$KT *Qp[p"?\TС*@n|Ťu)9 +/3mNT b ~ c#G+n5  8|l5G&gYZ7zXZִF! Dg]ŗXi%r %Fr*ҔN}+mUT