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  x xd4 S% Triangle:threads=2elapsed=5.221cpu=6.920gc=0.100factor=1.337zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHӢBe+[}sZMor])/[#a]&;v*z*ܽ/q ,ex2E‡VO689=_>MgYZ7zXZִF! ]ŗXi%6ҿjZ5K5Jm[dWҭr1ٌJ`n]5[hT+ ?zxU9UoC&|Q'~ h"?8F)5Z*  _ 3T*"~Ҽq06a#?Ȍ[{oecZ(STIDI{FI0idN:<)(̙44][wå_l*˾A5'T,iK4W0<, ʇUzP?T8(vku&YGU`K?>Csw&֧bjg )hPjY콯2!¿Qx1W2E񅖓ln]}r{c *d>bMU[5~zC3&y0l*aQۄ}׫gV{Z3(~"JA[gYZ4cd618489b8bbc14bf88f1c4570adf6f7f31f68a 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe c8c0d0f53f45831b0b38684c9c05a79c669745b4b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 f0510f2c76a5403ce56881da7392413a0e09c10e 0827bd8ab1601bb0f3979d5efaa5243c815cb833 5c89702c611f6f4460be6ac13512ac61fe19e555   Triangle