SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  M%4DL ] Pairing_Heap:threads=4elapsed=2.749cpu=7.888gc=0.376factor=2.877zXZִF! f]ŗXf[&зyY(}7j{ 7wٕޤLcO:]sv٧ye"1i3ɤ&PLB?\U߷U -ʭJh;@J1ĊrD1>oq?i| Iqt QW~$B滟M~#~/Sm?אn;([̠J;Y6^hoTv$&&q~)F  SF!]gYZ7zXZִF! W]ŗXiɟ1]" M${np^PTܶemDb!مT>A!q%c.oQJ7w/\'XO! t;JsrF/j4v 7 @t)f2=@+$=gYZ7zXZִF! !(]ŗXi%B۾2U57}E /z} F[tXx,k_×*4z>yIᡇ`6@Y銽2` D4ZiTU: 3ND]9I1"3h?q8 8k[1`ӿ-* jh#B#ݪVܾb8p.CNa>lO~~թ rj6]d֪=ki;7pCj?4ʛF&i.㇦5/EexܵVgMȷI|Vȍ;f^AL;Z͟`,6*VQJC! Sr1x d J@C[Ny[/NqSNaE , O¥bb"/E3B $1X'hr@i r4a s=` BJKih$A5KV jOB7+9bO;WOc,HBV7gYZdf65acfbf9a213c5a591f50e2bad5a52aa213f2276b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 % Pairing_Heap