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  C C:/\ %S Liouville_Numbers:threads=2elapsed=2.240cpu=3.816gc=0.000factor=1.707zXZִF! g]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( k 2FuFm&T -Ta؉&{2cnƚecb,`*+1g}܈$4ge.}xƔݷVѭdʜ%ߣޣlm}\Wرat^G64[>MO8ٖ1&͜cd slcu"̊n-Te[gXξ0"ZÇ6`#h7gX'Uz"܋\fh3|;&ᴂ]3˭z:_ \_6=ڗ{iu85"a?K|gs>{ƒojo< Gx >K3]VA!NF% $qK͎%фYfQ),4H6/ԥwBՂ8fiK\hAt\Rg ү B1dHj,%[qT^KuQuX4c|X&4:yWA :=yM/7PiC n{&-4،[,<CܱgYZ7zXZִF! U]ŗXi%!W=d,ez6]EA'حO1`qm8@ boRdvU͒H8N)&42)eZ/OBFsgHTz$JC͍{{ [Corj45"OV#;^Z\O~%h)G:sI}F@YZ R,֟`Lxq> p*qˬ yl9I^ØC!c/ _0!uM)k(u\/Rו#&=!و˸'3R0]*u&:U-\Q!]4L]aJbJoH3}^Z7`ߒIEߤ(N&zY