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 MM0% | S Latin_Square:threads=2elapsed=6.905cpu=13.436gc=0.232factor=1.957zXZִF! /w]ŗXf1-/6vRZ(5a ].})9be0wB؁~MY$b/PP9xa]*sg tjkF:3SהW$CnKyY t2"ٶKWjPtT("^?*VI,:C`"zq/q;GLeh75As1 WoEKd[M˚*TI8BtjzNB|i<ğE^,>Hζ_I{t5uT^K\ CEɒ5rP՝Eݎ?&I΍1`OI8ղзӺ^%_cK o I81r;ޙJr1q6m=^rGQBTN(=*Sh -]CaP1!_:iRk{p|AHE 8vp-FfrWm+N,t&'6җ&#ْcLdVJ+1HUn;jr95*N!m_ gYZ7zXZִF! *)@]ŗXi%s;zDZ٧xL0:>2$7*MJihRMC d@s"rQ5K^X>XwyP>]Q8,9B.l̴iS;(Dq$!'䱎9JBlk4_fٚǰ YAPᨍC/![Iճo囒~)Vc${3 Ԙd$z\xXϮZ*ѳ@vЩTs?%sUIS=_?_7 @&u״SQda<Ρx#B{T^j vMzIQ;$Fĸ"h`+o&RUBh~`h߶I*FrKUHmQg{;F0Q7q*XE8g Q*q0,ww-^ #@!#䟼 _Cek)T09 ^ VY!C_[v)Y?yxܾZ,0|*Epp^Wܖx7G?qOď.AސDH W]f%j-g7Np?6:r`ܒ*(ۅjkG=sF+RpxG/ŧ"7\+A0֐CQ4ә]%V/|הw3_2ݯ@WhǞZ;~p[g׹nDÄd #0<U4T$`gYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 20f3de80d4b27cad7eb51ff9f6466235df671dd2 % Latin_Square