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 --</ ,t / Liouville_Numbers:threads=2elapsed=13.581cpu=26.048gc=1.192factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV )' (jև[gzmk*H)eU;5&0 / Liouville_Numberscf*Tt lVL}ؚFi3+u< 8*nq=enR+XOTe&H25ʂ;8)АjJPj1a*=i}GW|!}ꇆ 9XGs:(\\_3bU}Gt\RchO{Y`v8LX% :7g{ Ӹ| ![A5v R/D5-Buwd!sRͫ{Pz%¤ `  Ւ+8G~ K uM*VA4ZPS{2'|w^r ^N\Q"NȮE<.0bX1dˋ~cJ+?.-@&p*woL!VCj4=%۶v|{YNdRY;瞊iYvʃE0b[91켨icjx!Ï; fI\{(gWYhTKpsa5"P g3sw^@л}g)e!)uJUa-P0@抵!FE' &?$!NS]ӔxnKdm>4+]rA\[% vey9 Gfw+)%o,+O2>"72Yy@|~^F[t'-蔱[O:l))A HH5 k74歯+´'Ikx_n6kũt[YkTGh:`pDݲWą 7? .qzmn2&gYZ7zXZִF! H]ŗXi%B׆75fǽocN1˜_@+#+fqt[F2}bæ!_14fkՎI % U,-Kv)-9{Ţ{m9|x2jt3͡h#iё4J2 K6LذDQ8QlMnB\=a6 œ]ɿ 1tf]/,g gq^,V- ;z{G?JuY_S򯃉u [mt}2)C"Pb'-UpS Hv:RQ]٠AOcHoQMK$J_u&R*R dѪm^ (|8Ih(#i k+0W5"V-H̕3ei;Gqˤ0aFDҔ)y$`R3 AoDMc  ߜ6pT/Z2TLCKD⭨Q@^nmS1>]~-6STRٺRC]9Nm79ljVq(Y(:OPM ;ɀ(+MW*tr$R76C= lj GbDuv]oI\WI+i% u.P[^Ӂ6]^nAv\E=Pn0}=*ͻ[+UpKZܯd#U{0G'.YɎ|zBo0ztqN{>&ylcvHY 00u.5KJ-YF۾4̚4fVI(sEXN"E Α0#gYZ0791caee842d92fb3623ec7037e72594ed8c7594 16158687bf6151f09dee73c866382325b682e1fa 838f958b45d76730a0be92b27d51a00c732b3a44 977b45643c34661a2846ba7275d96ca42194b267 9e181743509cdf0be709d709d0b38e72ae327f3e ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 fa31b5b5eb2ec7f0c156d484bb028cfb407a7162 ff2fba45dda38de01c3e1a1f6120ba8e924ad692d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295