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 P) 6T9DgTEj?HPuM8]d?h'q@.ƬlUZ˜Lk,/RO稨 O&Zr?a']L.US{2|{!շ@JcU>Fc,:+ 6BqKV{Hj +ڨ*R8aG1sd+ B t^Yb-˘i1`)4 [~'D{ JgYZ7zXZִF! 3i]ŗXi%6 q=; W@ٰwβy8Qn oef܊otX6 )z;#hC/}? l~Ad4rݪR(*mf/A\۴gMՂ.Z]PnS«P+O 0"5ЭVJIlX=?] qwtToyFBwƔC0#5@)CG 4_lFA\חf#TD>9قbu~;l~_EDtO6\Hy! ӘDk7aNa}y'ywz RiH"Կi. , JI,e+3]kkuX- ^bvA^Y)@^iSP땇GL9L)@&H# D (.^cpFiϛk-3`n%v8ޭ]OgRgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 3e9c6a25f76ca585c2d019019147ba6c7b3c37c7 ) Dynamic_Tables