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  U)  l ]S Buffons_Needle:threads=2elapsed=6.670cpu=10.360gc=0.100factor=1.557zXZִF! ]ŗXf1-/6vRZkC@R Y.;c~H>8v%3 v}2UGDiTdYwq :6@|zv0xOg?Qj=ef3X0eMH.;VhIH0 /:ofbhb(S(j ^*~Okt@ :7X َKhkG*%MkN&w`m|cWgYZ7zXZִF! QC]ŗXiɟ(0uIU`s..5L⼟0U4[Qb,}Pοilv,V$_Rh}YZ7zXZִF! ./]ŗXi%90ù`L 7.Z8}/ɴcIWIUFAe<q2~fژWGqa(Y!)'尽L,C)?reñbظ6oчVMϓ♴H@^{& ##3[UH'u:OPGQ3mNvo f6׿D*#:8o0x "=JИ\ Jc7&E xyWR q7IHO j\,hxFC*P.lLT%faDŽ$ 2r;,*@;ц.E%~Xus?8{L$GעvB/+JU*Bćd'oUm:'I '586ܦwB;q7~ZX c,= -&7eYly'ʛ|i*oF{q62~I u9vu60?pI򗈩3aж],)Cq1X$ma^ǀ2iw0 ڊ3E匉Fֱ(him)įְ0Q[d1;TkX;`;УIepA} ;*4לyr8PI1Z=Ȏ*8>ur9Xv#ʼn $WPw+8MvsUKzщsr XѳR^ f?~