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  Y)  d ]S Buffons_Needle:threads=2elapsed=6.685cpu=10.588gc=0.128factor=1.587zXZִF! +]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj]N4qΌg$5]͸YGܶ(X!<Ԗw!;U(W@#wg0*`{bΧOa)Y!u^hC}܂ي* ]WNm#-zg]/ߋ~oS%.JdV;JqhV/TПU,HV*QCbgYZ7zXZִF! QA]ŗXiɟ(0uIU`s..5L⼟0U4[QE}v>e47K>?]R}YZ7zXZִF! .,]ŗXi%r)i29O8- Mqߐú1Gi  "= O[Z?CϦd!0n ?Ŏ0= Kr"(TMKS`;EH|F*v?F56\ ׄυRQ^0 -cj͞P}&2zqڼb[wZeYuϾ2p u XD!ze/ ,V3K4b:pV,_+WLgZn|,3tD7U֩\)#qģW\ gF˦(x\>M]+B{́i0NG^"jeP2Is; .Qn%]$Eږ/I+CDY{yn`qUZp|l$D)_쩭f6w. zmҶrbB1&ik,WLc=`:E%[هIQ}rVLZ˜F+)c8=zݩS!nC6q\mTeڅx#ykl'DԚ2 /ns