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  M) T ]S Buffons_Needle:threads=2elapsed=6.589cpu=10.368gc=0.140factor=1.577zXZִF! ']ŗXf1-/6vRZkC@R Y.;c~H>8v/P}5pb;g׺sOAIS=',C|1ZzT@cNvݞfb2^Nm>8HRwi4+h y&Gɳ!p zsd%*_ cz`:~@e}vE ,o%^s61Kr $'cv#-8ώS%8'ORgYZ7zXZִF! QB]ŗXiɟ(0uIU`s..5L⼟0U4[QbgVPrݏ-i='xzOwh^R)ہ}YZ7zXZִF! .$]ŗXi%92K뛪 /*z=)3@BiяTK`JX?2 FzOa3ʒ~dtwQO`5eԈ_qK٘jLgj˻HBfލ EBD+k3ڌ{b==7G{Mdf"TLJnpD' :r3/g||;J!`4^ 5qq)c$RVMcsj\>j]&+Y_0i e[x(-,#e *C jQ: ͻ`` +ލ!i&R+]E{}Fh>#i\ڔ,ca"}JPNay]"5J'ȵ*K4;e&BQoYE5X{c+oLBB~-Wӫ[R#$SPwa[4gf>LQO/ǭfl:0rZ ~Jw]3:mSF3 a*:ۨ{:6"T: hҶfr:~Y)A-P$} xC3Y3Dz52aXN;6AÜTOg jYO.D`*lalH` s:Q4(k0y+GCPR9 `D$tg,:Qwt nW:za6a ݒ1{.>Q?fʻOB mA["kم~XBԝmg8]gYZ8238ab5331caa8f2714a15ef19ab0a74c42095f2bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d30 1b8365fd395f925f14c9c68b29b7be93e81afc50 ) Buffons_Needle