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  ` `) l  ]S Buffons_Needle:threads=4elapsed=3.419cpu=10.336gc=0.060factor=3.027zXZִF! 8]ŗXf[&^zDF&:HeRz,.x@&~tK[4 R(>?vsy.dm3w$KsJC)776R-']@&@e-[6=!BsjWUw _y0܃q ;ƃ~}eq]s}+F-bvMV[/y,dfM n;ZlgYZ7zXZִF! QB]ŗXiɟ(0uIU`s..5L⼟0U4[Q:\6: Բe0忩3ڶ)^R)ہ}YZ7zXZִF! &]ŗXi%G^#~X=9/I 6;d|\d/t 6AsIBGWL FD08DrDZ˦GX?b-j`WBLQ7II3#)"A/Gq-*ڨuB.4#1+|!s .Jh R!c|+Zc398p/6h_k{q0vAu-е:4H_14౛ި,Wđ&gnƉ^kƵl D@`WsfT5CG|Y_GD7M~9_)H0{o¤x,jVLDةCdS)Syul XB9  [ߘqUCݲn_e89f-Ň7ܷ:E]2Y$sDJpsҤᖚJq݊)oA:#IRj~~ /fJtkwgtM{UmML㫵P붚UP 6z"VjO)?Hobx?m; %.-qav Aumu.S|P59vXĜv] AzJ n[F *uٳ}As Dz~Mej(gYZeb4cb15be29a3a17c20b0acace2d81f575eb802778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472 d315af1d1e0679176eaf090503e10fceebbdeadd ) Buffons_Needle