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  e<, ] Triangle:threads=2elapsed=4.147cpu=5.672gc=0.088factor=1.377zXZִF! a]ŗXf1-/6vR[ltb7o- 5vOBK+hÇe,Ud 7>|X2C_"=XTz=vp#m m+!\=m[042&gzgJBˀ5R;P|nHұgYZ7zXZִF! N]ŗXiɟlٞYZ?@Lx!ڿ|h ҩ* G1/ 5E*;ˤ1󮥀 cj7)gYZ7zXZִF! "]ŗXi%W~zO?O$$Q0$9nD^h̡cjdl* 6 [+g.- t{-3X^@Ԫ4\8+_к8j@v 'b G- _.襱=Y~4G;0T"R鶎Jl_WTuXJU>4K%+ή.H+˞֘ȗ%4qޟJ@-z': %kL 0e"I%,ZV\V@jIv(XQZf-6CWc1Zф&f&CKxNj{tct_qٗ~dDidTTfӬ^e%># ?ŷe֐U.='##^Z`7{ŖYHV,3ТV=x ]usk ZZY@!ymgN٪2[+NffRe ?q`,#Ml1,b(:sIwdjy@ǝIGA:'QA0r8N fR\;{ijE@ڱgYZ701dba18234036c7bad77e08e379212ad96440bcd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2   Triangle