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  P P-)   ]S Buffons_Needle:threads=4elapsed=3.389cpu=10.784gc=0.068factor=3.187zXZִF! ]ŗXf[&^zDF&:HeRz,.x@&~tK[4 R*&:79J0fj1ܣja^yrX(˷ _k槄V$㖇$ds @U9K6 j=6\-BT#'db/x?ƾFpZo zyX`Β /H8]ͭSJ`6gYZ7zXZִF! QB]ŗXiɟ(0uIU`s..5L⼟0U4[Q}`mS'Ϋ y3L8~ujn^^R)ہ}YZ7zXZִF! &]ŗXi%Gl< !o)>=j@&d!"3 DSmz[DWk:Zȵ.>%/@Ð~lB|Ѝ%-ŔK!8ȋd =Fj/.cg9K5Ӣgo*6VĽ;&(Kx|2;$4InE-k;= gV(ݙ@rsbj.ʑelRD(kϢ~lb,P r%O@$#A}ZwL{/D[\F@OdB]{ņVn}e"J23'6تS+vagrO.h xR6!-<纑}[C߫B+_l"XjUosހϼxWqllM*QWHyoq;hqD;qiAWZǓo G:I}Kk2ƌjr 󂼷j?]I5W=Ƌ]Q5zH(ĝ*9z#G"o7^S1YQ#M]u} @ {}޼]+ }:cf]?-F/gYOsv6\='1^Q/Uvf)gL24*rBLTOLp(B/A>dͯocU b;@lGL8`bhC%#V^auv,eϸ,jjgSM+ӱgYZd10169792b5bb1a2acf7149389aa9ddfd17563641795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e d9471fa014bbf649f7787abae7e6acc35343dafc ) Buffons_Needle