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 LL11 L| Y/ Concurrent_Ref_Alg:threads=2elapsed=11.790cpu=20.772gc=0.404factor=1.767zXZִF! ]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D U09<;yB#f$BB gijy>NCC뙢@ru:F>εMyd;)[=&>s~hr|ʮKyc]c75Ґ mvM])_O&ise#]t` =nvMu8s/B<3 &6ޕZĎ\G.8ǧMe/(BDw_CA0]h Zh2Ed[I-Bs,]ߐѮѱ\ E W(s>*ppD^6+bo=+AwΖqct5$A]!C0w#"1m r} gYZ7zXZִF! C8]ŗXi%6kR:Kx] m̌45_8h×4l||Ef_eK4ߒvj~W$dW}O (m_ 5ޠcskeY%$Gͤ\^sP.8s4m:Ĵڸ,M=lටp]~Rz Ⱦx$T.txIRZL 7!  )}kxIRM61MGq# ``/Ed K۶`}Fk(&^-D:{9'f)9]E^ zX(u\]Tz#rJHSL^b9Wzv*!%3@ի=i[5sھ1cElp^Lw#MԒ\=} cP @mf&mؑ ύ^-$eQ/A"z)ƕf1GȮ$"VTߘ{;T;-[Dnۏ \x!pVsAae9:@.gl_%8b;4P"•JC~<U}^t&-2CS0%z])MqsN, & ^)ᝎ$z oG