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  y\$ S% Triangle:threads=2elapsed=5.377cpu=7.116gc=0.144factor=1.327zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHӔM?UiAjx S~1?!ܤj <`!DY9o҈OzD#ȞbSAek;xׇmYLh=7gYZ7zXZִF! ]ŗXi%6p DZ00 XXtlJТЎ8RﳛR"[30jjTֆ`ot6hI>n3T|^%Cj}\q/0ͳqֶi4Z AE%gz@4+n$<8cdbb4z5nG('cU`Z4<ZVrԐ֏kAƥF5GHLX<}D-HE``tC#M1pqAz<[gYZ4cd618489b8bbc14bf88f1c4570adf6f7f31f68a 5e6e55d3f0f56cd0c9a445cf196783ad8eaf3a51 a19e8b1a5dc2785cf0283d4e87ecc1e6e3925a90 c8c0d0f53f45831b0b38684c9c05a79c669745b4f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a   Triangle