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  W W&% t Sw Fisher_Yates:threads=2elapsed=3.397cpu=6.208gc=0.112factor=1.837zXZִF! 0]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD fA u_=l>rbe*H3,fflx䛳R vhb#}Vh6$0.8;sՙ+fcðpD~&gͪ VN.1$i-gYZ7zXZִF! q]ŗXi%6y4JzPw`~!1?'J\.i~9ҸdyK> SYJqAFS)0E;9LďzJی!nF Ae$ߵ,-b`zT~LCt&9Mg mKg@(^ 17o56Uy @'7eYH"N#,NaU7(=@ nEJyf+(S =ⷢEmg^w=ve]ugQeq_;5SǬK.MOށ rPu_qGN(/``u\hd5qL @޾DQPAC i`ܼG]S\9: Xj:h''䵨2 ob=BWBrLD<k X kP+?oT$'a"#[y# 6مU3'S80{#s3)BgYZ4d3e0d7566372dd5c929842fdaf774a58377743b 5528913f8bd06523fc4f281694e31f75041af8de 794278c392d859383ce5a02744eafaf17e151d27 f81309869275bd448cd15f80bd76e0ff1480d026554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 b4451c95da7886ee69cc5cc3073eec6a1926bb4c % Fisher_Yates