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  3 3J%tT Sw Fisher_Yates:threads=2elapsed=3.675cpu=7.064gc=0.132factor=1.927zXZִF! ]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD fA?m&YDSmZ}wtct_Ȟ' _c)d<:;Hl ݷ?}r|n5Y )xw3zMf љߞXzH8pp!8x7m@ uMep+Kb稒ؘ۟ALo_@V lJQktZ3hG7IqЫYXr8MX9 [z3E3 IqL,V68-dn˒_XiJ+f{$VN9gdlb l8?9xKɄnI;L}'J!hv7,sW==R_֓"?bfm 6ի3ޘv]DH_+Ժ~+рl(hË -&U6 gH"Ve>V *^-bh)4ұgYZ7zXZִF! d]ŗXi% o9xTB-`%W Ħ_)4}-1G֋͹VB};2OkcF±L@T2Dy9t[:#0P!hg\kWJiBMRI=Yɚi`c- »XD\Ԕ~6D6iW5-Uv2( McM;^+ݤںGC4'+i;}_I܊GN>ȫDkxVj] {֓Z{29M-rvFy`  wr[7}iK2)3׈e`)}W=$n\U^uҒoZˋ|+R:(ݕ+UτRlZDϿWS HC< - r%/2*iCx𯋢"ZXGl1dCjNuGOzu?}rc尅󭐍Q.mEX$aM>칲L/blF_yYg&Ģx5Of[>3JıgYZ4d3e0d7566372dd5c929842fdaf774a58377743b 5528913f8bd06523fc4f281694e31f75041af8de 794278c392d859383ce5a02744eafaf17e151d27 f81309869275bd448cd15f80bd76e0ff1480d0269711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 2e955ab17180c267756e7fdff229af0d6ca147a9 % Fisher_Yates