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 //N , m HyperCTL:threads=2elapsed=16.782cpu=29.304gc=1.280factor=1.757zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]wѳ = "{ PixȢ!Zos%ȼxl]" &@uAFc9%%LqgL8ŨfxlBmw3J ujq*NJ~h'@ҹI{E+[M G/"gabDs~yt7m٨|5hsk8rev')x!XnS8M"I88/:E6/hK"🙳ۭͷQ@:FϲtycEkᇍ`R6keP~*DK_I$WP(`;f~쿸"OC.آyE=8x[Wg\ b+w$29ɆK`2r~9\bɤ@t#)-f.U2hgYZ7zXZִF! W  ]ŗXi%6H񾜮]PerG) o1C&BR큱R2ĢA剶cRVjƿHzw7\&M#9a[oLd4?C9Y"7a^OvjWʯ7z5b_z5:r٬"+~gdPs]*^\~%Ji;qե|6!aݒ:|\>*c/,8nD@h3,^Z /~m&-aNRNHXЏmRy*/a͊Ox {ob a EnDԤ$gX# N6O0RXNVcNG>4P}Jq(3>fߺ&U~!HBz/I $5F2(OVaɐMoN30ۤ|E;ʒLud,VB] OCw 馥Gxz+`w'IҝuE0pҤ}=>C\~W_#fC}gǑPSlq2{<Q=ﯝ'jp% Ǻoj\SEJk<X,hDDC8 Km|)# CP#%&DGX}1T llԙFYϻ0l^cz[%gwBމxxSq2'p;IhV9a[]Lž)k)A)4הAOuTB$`\FOJؐ#B(:`N{%*`e DRmcJ v|ȝ1`"8B\2q]Z.c ĄڱgYZ383f905173f174089090ecd177669a4776a25676 3a789a05a2dc9933bd074691cbf66c0acacbbdf5 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 bdb4973df7ab63e621de849d107e6b0be95bfe54 c27a7b0460c005f5daac95cf8a605b2342071d57 f2f482db4c012d045b08fd8492f92457350ec887 f81c05292f889e0628dbd2fa160c342e71830c9ef0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928   HyperCTL