SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  a) t  ]S Buffons_Needle:threads=2elapsed=6.632cpu=10.352gc=0.112factor=1.567zXZִF! ]ŗXf1-/6vRZkC@R Y.;c~H>8v%3 v}2UGDiTdWyil3FOcgئj@q偫4E9Ϗ,} >6?4za5_H[XlտtL5 VyVbj:*^̷1kp+Kc8JyToCv6p##%SD ։ҷ‰BJJ4-_e5cs9d`[gLR3tr71gdVriQ̍9MiD6Wf:ΝܽfAP6RJ *䐎`/𮯔cF_-$7Li75 ^=}"eVї۬ln<ض"^Su%4ܟqYا+3$/}6_#FMuK-X/A9!{9PgGˆ.=pJ<nh/UH JSL^&hLȡ~a0~ 堍mjx{b <]֮gYZ29419fdf5ef8b00136263da56b4ff44b38791463d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 c06e340e9a5837869c8676b73367de6bba187134 ) Buffons_Needle