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 TT)) l Sw Buffons_Needle:threads=2elapsed=6.589cpu=12.880gc=0.136factor=1.957zXZִF! )0]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj]SxztJ;cHk7<*&HL,A<  o\[Ag>7BIIƏc6V\2yaѧuؐ|]B,F+4.pup"Ma*v8~<xۛbJh'0`"cc;'&<:Qo&/51׶ԾF×{>}c!Nቪyn/HYͿi)0W<\&~n^{77u2tnV%CrV?ߘ;=}ąʼnM{㦝8yլ-.TV!-3yHUYP^yCUshn>^wj riJ86-z0n$ $jmꎡ[~ $W˃A3Ц!_B2ݗr?ap8_ÅExWTWFzY*"5Qz{a&`Ceg_r@l+a0[|_[vW$ǂ<rT+PkG,Q,-z0xvF İmةZm.p **elGO@a+Cr-8dZu.@lVT8Fs1eP)V>T6r<_##~ݠ[Z :1Wݭ)]1$ k7>0̤)Tz%CRVձgYZ7zXZִF! ']ŗXi%s;zDR!%pBےBTGJxL< *,AA ]_"7R0g5 +A }AI[:  (#"҅K թ _e`HY-* X )̰?F2wgfg%WW:[Wl-E 40 ,=%pX~_S gy$? ԃD:f]pM+z鐉-ˍK)+vԬe Hf̶k~dW7b 0gWJ;y$FXI4n<.5F\>>cH~,)jv0k.G6&!( cĥF$ @HUhL"+  %St!nWS9V@Pqt3 ܊!$bw+'"~GA^CT\%3dÇ00LpM b|jtlz/H!YE"D¼D f` }Z/wC_5?Y(i0ݐ03x(qFH̴