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  )1$ w% Stewart_Apollonius:threads=2elapsed=6.056cpu=7.700gc=0.100factor=1.277zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHk6s }Gy(9 Iw%'涴Hv *VRs@k7 m6xCl;j߿gb$zv?ogYZ7zXZִF! %5]ŗXi%6 wLM6XLq^ NP 2WxCP@(&_#un 8OH)H!ҏSG}PA~CYu<6[(0[<43[с2RVv^`/+;7 nq{ AA5StFj up5VѤ(*A$='[s iAa:w $ynfbDS2HA 0&ە̱H>5΁{߹#/.–գbz.sŲК ,>ح@21p.l]0ցl u!=BT5!"ik9g2984^nL7O \9 ZƏjJ,xho5rwݻ >kqhY? -uM -W=rj>-$$W~ N`Qap$RŬby!ڰ),@g;9.|W*l\IY 튻,EW,𰧎 ]Rr9N[`{[G!7 JM!_aP5։E7Jo>߶zZ]^|1獓N6|M^l^+D~iJiEgYZ020f06dd13eb2ed532ec0dec0f89bb4b0383e034 0e0f097f06721b90cbc34bf928bd857646fb74d0 67e9c1086d27650a831509a3399f27d4871f6567 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe 721e4ef6a784a88167e95fff874ee5ba5b33b094e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 59803954f05cefc5f62ca1ab8b43e1f15a1eedf5 1 Stewart_Apollonius