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  i)   ]S Buffons_Needle:threads=2elapsed=6.748cpu=10.384gc=0.096factor=1.547zXZִF! ]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj]N4ߜ S4 9 5bCX5MfȏsԫFBTZ25,KMR#|5Pg#hBh"ZΥİ' ;?`Ќz47iB7zXj _l{7Ή"g]IZ~{dK$09_M\백gYZ7zXZִF! QA]ŗXiɟ(0uIU`s..5L⼟0U4[Q8vqń ,3Z[XY]R}YZ7zXZִF! .:]ŗXi%93=ZLeF׌'% Qf:AM8E;ȝHZi-UH21ñ*F抸'Jg1.j`22$"5 q2ߴh6Te$iG̩x5m;>F;vm;DJIc5nOsL7dV. b w]&˭?XRzg2YHsj/aZ&rP?FcaLhP@" =z \nsA?(gƐ@rBͳBLWnBl91ە :J)$$Pv)D?95 _]s.J{_y ;tm㜯& Pxbeh$suKƪjXX~t]SN;[Ijh)փ'Hǂb C/"GyvQV]YBf# j~8lji^qFVRܒ||`Zx֑R;Le}-qiBX_x]8G5uyRtg%!!skQVn=@Xl֛rDNobFx̎`?q0 'a(~ny3/&:|1R!(Wi,NLeg`m @YBwn;ʑ[Woo;ͧt|'P}9i](8gYZf6cc9df10a7ce548cb90252916ab6808dd43182ea86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76 e81d1e1b44c37c41f13b1fb407f43529a4217a74 ) Buffons_Needle