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  }) dD Sw Buffons_Needle:threads=2elapsed=8.085cpu=12.712gc=0.140factor=1.577zXZִF! +]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj]NH jL>oupG+UWZ |ޡʠC1Wvze +ڬAAzWxGNJBlsD>> u B /UAWڐ qKGzҝ6[6P*Kbig$y=ĒgU2ت#*Ӈ5K],=Nn-2 MB38àl%lte9~BgYZ7zXZִF! 1(Z]ŗXi%6yI[ӫ} SC`H(l|0Y-cy4b2I޻ǐnb_q^mr|PDkZ ƐnsZ>`rP03'sZ*p;vny!D?~Rg;ofG13$kCuϚʜm0dRz bUKᜆwEFH "ظI4dcQ%ʫ̸V-I[P0 c^Iu`R~MaTKl9RfT/7!V'ڟ \A.'ujT7QM;.kbANtt$@3YH 9vR !mHpM&Ȩg F~c6o4lEHq:PEX(We4ġYl̿S184Kqbo0xvG~C0( ge1a m6('O<c$zO^eFȆ{^Pw{ z-׏thę]0+t:NxSeJ ՅBA.Aj`0SSEf1W6l1:N e:{."cWZcO')}&6_jx}g> xKCoqb3wG$ r7uv{0