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  @% $ S Latin_Square:threads=2elapsed=6.771cpu=12.768gc=0.124factor=1.897zXZִF! ;]ŗXf1-/6vRZ(9vMؓcbe5ն3 OfY{ Α.Qtmk!K}?";C1 6Vxfo+=8m"PVJ>^$37U=A{IzH,N;u{(!,w^>=A୚y4B6R, ENRc]޼MpFfWq1&"LMM:?nMkE>D&S o G3if ~O+qY"<-Ǣh*m囁Ua (%=K/OBcڥ%ec!1Wݿ/jϚG6 !'C(o2<\pJٖ/^l=Z g}ɍ S\D69l@JuP$Uɣ.e0U =>I3"5Ғ3hs3tpjxrVWK0qatVВiMxf9?g%@ 3֏)SIM+%GpbaG͹,o}@Y a Iލ "\wZ}kR%]l]\7Mx)NhFatuGS D͘ː y%E:kdQ{l=p+GFjڪW-?@NaŪD0K L/S9=rhI\m:`vTQNgYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 c9e70b7ecd570e66d1f7ced0c28890bb316d60bf e587efe7a31b45fceb8cbe8e31287d5d15e8504b238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 f92b96099c9e4fe4b29683ced5eb74508e227564 % Latin_Square