SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ##R L S Triangle:threads=2elapsed=5.783cpu=7.568gc=0.120factor=1.317zXZִF! l?]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH0p\)tv2Mr' j`fADtX`7>ȴcYߦfHvXU?|U ۪6౹:]X%'Jnc3X"Χ.v貔$ֈԪyEۨ_ ^/CG28j6BB!r;m5={ э6uAe+ *HSLŦ@ L33!7Ԙ r#0+r;_P?TYo 5.)ƍ6@zʯhtp?wa.X=0Xj_xZX,Y*xOm -'oQN'K"sz"3 BO͕&q9YZw*fq@_L 'Vs8hm kIݲpHYkxۑWU%ԉ oKQ۬ˊڬ2" ,n[gYZ   Triangle7zXZִF! "]ŗXi%:4h,dU8?{̎L +ek[#hTEY:;UZ> ֩)K(LVGXjqc+0&mѕvxWp2bR5+҄RD}lE"˱LTģ\q:_$g e\yEhO΍Uk[$f~ 3