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 EE8%  S Latin_Square:threads=2elapsed=6.977cpu=13.496gc=0.260factor=1.937zXZִF! 00y]ŗXf1-/6vRZ(.V/0jIpD /䆮)Wz[F04h7#ulN"C&%`<׺ H'3|pUѸI._70ɸkܘPF}VzdT?n.G" !you|Kč(҆{kZ8TNJS~5%Iƒ[b6 <#" -Q9 6F:J<#15!aKSH/QxI.讛LdRR$ޘ ч>K[w||wz|#XI떯[|4氤f/0OܷR')!&Dwtfݢ u Y_@q {-77%!ݤ1ϒS 3es ɰϗMe*i yWeۙ8aPO+M_:e`}Me&17t.vX2%]e=!2 FeyG]"V%5LU3b .ǚe+_)+~>1Nt;YdО1yJQ[jt(oI sobך-#&)|1s< OhۇCZ6]mpxHW-{o{WgESzN8(_hoPk3:?{qlR!@er$]|}^V&_z]O!IP~l45{c m0_ub_N l^kẼ Bp<(s`m(?Ut؛o"ÀKO,?3 4K'z^n|Zmb30^ohBsQח9n+rh!ȤH̋D"3"sy@INRvJ4&4C[_mG T|)gYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a37d8efecfdc79cb969123d09db199eb785c38a8 % Latin_Square