SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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) t ]S Buffons_Needle:threads=4elapsed=3.669cpu=11.304gc=0.048factor=3.087zXZִF! N]ŗXf[&^zDF&:HeRz,|޿2 /r>#Kp[O{<w3_ 8|sV!,B!wb+Cb'?1uI+esc:k<[- Uj﷚[t&qXGe| w[t|m A }boaX`; TDx5F."4nnLJ.RGsO8 G@[gYZ7zXZִF! QE]ŗXiɟ(0uIU`s..5L⼟0U4[Qa_׌Fy蕛 J4^(gaR}YZ7zXZִF! )s]ŗXi%B*`L@@~l1{*Ԉ-3G( 8V$$2xxv4fQ|Gͥ[oYQæq- l(ԓ#`l:/Җ}NZHl }OV,ԹJɥ! =/`S<)B.PV&(*B^"ǚG*wfA恂nƘndn4|1)F"ƻ*@Θ*aplY/tz(KР6/Z%veSg~AjIʉlu,ί`Թ{J=[ _mzU;>OT!ώ"8d4wW?|~uݨPP0XRDxW]]+ %~߳cs(\㗐nftqㄽqݱM| `H?Fv9;^:`Ln߁C@??I)sY= el趯#*9rUqP0mtюF-ҶRZR~?gYZ4bae032d5acc9637a68b52f1d5da581c76550f58ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 52ddbfe09c255e7c6906b2f5686e64c16948899d 7c476fcb110fe19ae17c7725b4fd7d91722a02f6 ) Buffons_Needle