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  e)  ]S Buffons_Needle:threads=2elapsed=6.452cpu=10.104gc=0.136factor=1.577zXZִF! ']ŗXf1-/6vRZkC@R Y.;c~H>8v/P}5pb;g׺{UR {YX7Ublby{pkh<[mb`ٚHhMi6=F'8\3J,[iprGDa it;#7c}<,IMe]!e-+T$AC>!=ѯL|U%f%-.ME$yh&_uZ5F8RgYZ7zXZִF! QC]ŗXiɟ(0uIU`s..5L⼟0U4[Qb.Ad{v>TU)1/_Rh}YZ7zXZִF! .;]ŗXi%92xNjɦ6R/DʐhO< Ӕgd}AX?%wpLjI m`sITpݼ% SyhǻJe|³eƠսBfy˂aE3(v/[:SmEWzE>""FfNSϯѮb~VLpi 90W/( VUdSi% ( Q؇}R.Ւ]1rM[|f |5H]v~1hű9܉֘YARBGGtFXS.܁e^cFD@6LwPww6xbZʃ^v}qtۨGQ)IX3bYgOp)cl w$b.bA.^LZqOⴣ!-<ڱ+6Qs~UjmP:{ABbWsx&Ocq7n3AuýA%bwbWjHT~[aB1 apIvŽ@[ȭ#ЉaMc% 5 @&A vKUOi P]4dϚs`02faU胫>\m"uZN:JmV>C2,BBOC93!kekEpc- X+T~z>mN6]9<[gYZ804403af22734f0fe573c0e8e6431393034ee5970dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61 d23d34965eb6b48bf91ad1e9dabaef03bf40c2bf ) Buffons_Needle