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  U)  l ]S Buffons_Needle:threads=2elapsed=6.677cpu=10.516gc=0.136factor=1.577zXZִF! ']ŗXf1-/6vRZkC@R Y.;c~H>8v/P}5pb;g׺dr ό} m'>J^},Iȱl}NZ}tO7b9dvx m2nY R[1H<݄k(']:kw#2ؓk '`K jxnl㞒z@yK:7cӳ9atySgYZ7zXZִF! QC]ŗXiɟ(0uIU`s..5L⼟0U4[QbTל}PH@iVF6jtt_Rh}YZ7zXZִF! ./]ŗXi%ήu }Q\~X8tdE`]RY&c@h͟ɨjV|0j]2RgϏHQ#8xc6c4 S:|3".9 h?˪5ga(,O^JNSqen>.T1DBZ,nQڞmyUpZ&,l9KzLAj4kV}'{on=P >\.5 +7g|Ő7=JA57*d:iV+^((13 YyJIդ{a nlc(0pC ޒK= 6;b.JC^Nx7J"sM]NKÓdk 6wcE72vs / EP]'- fa=Q"\JH<)= k jP}[&0 8Q@ -RBFR:)ӟ@Y\7ῒA8"^u|?8v8S⊽IS*.W%(,YFQehWI].(̀\%aD"Ic抌TE ,JᯯTJqAc( 5JK$DIԎ{I)Bꎉӻp8r&4@E\%[]3!gYZ699e242678aece22b6bd1882f7eb94ceb3e095a200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6 47d5f26d62bb0e2b689d2f2c5dc3f380edb8a6a4 ) Buffons_Needle