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  Y)  t ]S Buffons_Needle:threads=2elapsed=6.708cpu=10.560gc=0.124factor=1.577zXZִF! ']ŗXf1-/6vRZkC@R Y.;c~H>8v/P}5pb;g׺ËwfK)o޳Q[O{Ti:s( *O(a@Ʒf'=vt?ݘk%3Mᅻ7x|1Vn?TQJ~U)qI6^}8I]@-- QRTQOGb]l$vY~ySgYZ7zXZִF! QC]ŗXiɟ(0uIU`s..5L⼟0U4[Q}A{9M n t4NXUn_Rh}YZ7zXZִF! **3]ŗXi%9#q|1?kQī4%QX#rd=BdCDvOXӮ#NzUs0###:X=EO8#\_е232"};؏Qd[.9kV: 엚&7jv8"}]Xazxç ՠtFV@= \A_ Nl|zjC`] oih$,;U$iYLU5f(A2 3]ͿpqG2xìjE,ewx >wTȝס-7lM6 f5E/3iLܾf%h{i}]U쾘`V0?RJr!=dcq.$Z"u"C.Dz=`/ՒUe J-V=JzYs~HgBJɝ; B3/ٴ~ȧ`ѭ䍰#KV d9qinL!%Gզ%Ex@#a bH䌦7s&2Hv;= KCBn>^#5T|,h_'¿P/WTU^_N @k@^%hLfҼUY'ہ) $de/#S~czFyXʯUrmgɌ6,K o﬚To%w%EpMXGޣQszl#DsC\#T1SjsM⃂E䄃 qRulUVWTtt]gYZ5414797f7a29dbf0b8ea043e77bb56aa80ea621d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 058f9ae2f545853b9ac66d3443f26d23073423d9 ) Buffons_Needle