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  T T)) d ]w Buffons_Needle:threads=2elapsed=8.311cpu=12.844gc=0.128factor=1.557zXZִF! )]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj_zTpJ~et\:$!]cՎ\2Z3*{8U2aml6w^T@W`ݟBq :>3Mqz6"eUG\ʘm㷊RnYDsb[ŲPkUR=FäQß+txOxL@|qI j {;JcLf\ĮTG3;Ylkc6@<8,nh;gYZ7zXZִF! 13]ŗXi%6f: WrjJ7[]:Fz tfjvG f;Euت7SWDe@Ng>b!L\B{9ux/OJ6;6W Xm1+WɇQ,o70oRT CӨ\scB͸v13<U4N񲮡+ R:sx* h};Nvf%0zX6үۮ}]Ԋ_ f砹d(yŝkOL̇C/=GXFJ6hz:KФ~Sc|6_5mw^1, 8Qˣ'!57No=yX!a22z0\dHqqØ@f(3&@İYf O}r~B̩nFdi^r8NۈtQ+@N𮿇.Ndɡ4㭖Z ] a_,֕xUo>CysɟgFT0ͨB ۫L>4rWժ%CfBfD>ne.U#WL KGspPނBێ<nsF*JZm @Yf}> ߳\_4z[oRwGņs>^2b gYZ0ddd1f6cf3523394c8520635feebf025831d87120a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75 71b61bb1af1b6239c53bd9e18a9914ea83e4037c ) Buffons_Needle