SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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\ Sw Buffons_Needle:threads=2elapsed=8.152cpu=12.616gc=0.088factor=1.557zXZִF! .]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj]S_P*ӎ 3,eX])T`c| fGԊHyPc7ͼ>-Uʠ^Kv[PK H(y:]>/&~R+R)jF -]$BQ3xh#)qzKf#2g}^C%X~1I;0褉3آI2xL7eC;a+NzlN!q bmRgYZ7zXZִF! 11g]ŗXi%3QKgbJ[gz6 4iLe}iB>dbmY}l\Xm<\ɛFųZkf{+N-V׳*o/1߆Ɣ7b׽RB}Ugۼ%75"#="j \.3BxnJ⼼M?W_Ym~g } sZO/ \ۭ~ 1o[Њ_Ow_n^j1АR 䐽ٶ5t]amyUԂє~#42]9Eݽ\L QL8tSI4\y^n/ӳ;'`/S?x^Ț0tw'ջZ8jMorQ-6M&(agt[0,U ,5\hH:Ip`,-A>9}*X66PS8p1bygYZ472226100ae27ad24b652caa510cc6022ce1dc2a 5d0c5d1a9d2fcc4b28b595c22d5d6d70590ae180 77a7ffcbcf94b2be64b1ad8d277ac932fbfe3ed6 d8803725895c2727b9591c321eb8201e3d5a8e950ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 9892b8c98839f05f8dc4bd94c38dc5ba0954a8ff ) Buffons_Needle