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  X) l ]S Buffons_Needle:threads=2elapsed=6.624cpu=9.968gc=0.084factor=1.507zXZִF! (]ŗXf1-/6vRZkC@R Y.;c~H>8v/P}5pb;g׺yޞS09l&D4ļpejU'|YE\EHeRcQy*U3how#0R2`Q_ *+Szmx^kV!>/b p r]ntvOز! 0HmzsmLr] 7.tѤztgYZ7zXZִF! QC]ŗXiɟ(0uIU`s..5L⼟0U4[Qb?H]B ԦrKMH.6P..W_Rh}YZ7zXZִF! ..]ŗXi%924l/7|'~Gd77 r3AԤ`Yht)N d믌Hl!N7c/:cԜuu ^DGOѺeuvו[yGQi䅡سRwֹjuǡ}$%GwݰBh- Y;(RC>غ=MGj DhI FޮU,h!Ը$!d]. MvwAO#hx CgܺH]ǯr2^c,K6 jXfER߆#Oa͆ +yę wi!Gcb0=v\8lpFF?d]𙤱gYZe665eb65c3875c55ac8dbcb4399e095038c12c97fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 9626d03df608336a839a052cc72d740da50590d5 700b51e0c45cfc183b096c510ee37950af75f94c ) Buffons_Needle