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  t| ]S IOA:threads=6elapsed=7.524cpu=30.896gc=0.968factor=4.117zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K C gޟ 㞳Hj0 sL/ݛ|@e{|r/C2NttMیTtzZctp;ݻWn% 蘟crz]T,kh܍o/k2ܗ3 tTNMkVz-dZ1Dn/TKͼLǎtͱ6 Cc."k4'|%)=6ℽX׸@%%w=>^Y,(*L•1kVE_ ݚmԳRVlC! U H`&:C3Wݹ.+ܺKȹ udM9YyMnYj4o !gYZ7zXZִF! %v]ŗXi%6A{Q̤@sWVe'3.t<G/)2w8BFZd/88qz [&5En}yXkwwͲӔrWozM鳧(uZ1=$~pWvji( !-cR&;Kj <ji\bFC ۊS[VpEihN(&"Z _?k1k\*BC v(D^9.aY"6̯jk=-ڊnϭCۨ4 eb(4HXa+ZlA֔T<&v~S !c;DeFo|mu|k(`_ODff\Ԯq*u;:+pk>\outQz9-NrL.{WYӔVF1E6Y1>1[ DADukh jSvĿ_ 43<(z?|bqa۠"C=ygxZwStÏҠ|C$bJeD.i~m9ZC8ƯFF:PX vOdJ|(_. u-w@yvzͰEla5D~E$H":(SwMKKgYZb62961d6493f312bd977ac58bdddf5785c2cf4bd1bc35d9f5c260a07418d50e521d7d63c2a5eee08 ceb5af7e7710e56d8e11a352c6a6268c805bceaa 61286f221934408c604d798e58d2aec64645c74e a724614e71e41e9ccdaa016a9c68315d708bf4f2  IOA