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 4 S% Triangle:threads=2elapsed=5.632cpu=7.172gc=0.144factor=1.277zXZִF! n]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH0v_f*? fj kc%@5Ԗ@76@K'v}tlmKeј[ZK~]=j;vUeg"rc/pY`&[ <(OAՖ:nս ֛Mx&qc f'Bu x4ʃUcfG77ePFܽ0={pk_7+wx˳JrK+Yԟ[g"[w0dO ˍ]-J|aque.Kn0)&Fk֡(a$ӥNJꧫ⊾W2 XEwHwR+خġ ,Zd3g3ӊKe".B<'wv.DW/vio(fgYZ7zXZִF! %>]ŗXi% NJEs6nK(Kf@k N`fZwDfJsuT5}̤!, /vң0G[}8@P>+Pl>Pt^\Ca5جd9d{,oN.j뺉n_6D&lĤ4oe9-n[}GmOAlޑ*v+~'6G+PDi GJ:B pI~x hPLQU{!)| ۽EɋmEF׋s@yyG3[FU6%wm9RJ%gYZ4cd618489b8bbc14bf88f1c4570adf6f7f31f68a 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe c8c0d0f53f45831b0b38684c9c05a79c669745b4728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b 02182b45aadb0d8356d66d9e1f182d1c5471b8af   Triangle