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  l l) l\ ]w Buffons_Needle:threads=2elapsed=8.196cpu=12.868gc=0.156factor=1.577zXZִF! .]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj]NTeA 7|#NEHh d|NXBsSfT0F%)`h<IXU=F~Հ:Kš!]2bkkX%v.154c/^%n@*b}f}1*I> Y`c|Sm>ؐ\cu<}-f -Z*mRgYZ7zXZִF! 1/f]ŗXi%6At05NX_c# HPRf@pd(uM5Ʋwڰq_\v 7 $'1c5czoWGzb vKz2=fhS| iHlk @HQiA?!(8奍;ﰳ L\qgt[vAt[7C!@mn \ h mx9`'Kܛ=fjc&V? ZpdQ Yx?OxCsq3/lAG|N}:-ٵ3 mbS+d7Jքo@F Dƿ!07-F.b,tgYZa5ed1e0757e3fee21f6248105dd32bb4523438dee003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 fec55c93856cba0eb9bef7968d19e70e69c2191d 3ad247324b4a7b15e89a07c1a13251de7b9c9e61 ) Buffons_Needle