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  h h%D| ] Pairing_Heap:threads=4elapsed=3.156cpu=9.276gc=0.364factor=2.947zXZִF! A]ŗXf[&зyY(}7j{ 7wٕޤLcO:]sv٧Ǩ۫)+aթ宲#f#QSQI8SsICM*0c}c 3c4błAm=Z>;a߳I&9#Yb G[DhgABLB8\X̓IqYEzD 8Ɩ#|56{V8rL@P{6W6 $QqM^EA Mq idJ@gLFgYZ7zXZִF! W]ŗXiɟ1]" M${np^PTܶemDb!م^hVE36͗œ^w&yXUh)KLxH>cʂN}8ϼO0+yUe[ $bEMFE=?6-U^\BZXq5-pz*K̟]UE*)B.a=isRcބ?st4hԅBY~M&am.( M\~k4vw `S89Tz+5S\8'ј 1,e=҂ǣO22}u~ KN-`RM`V|hB/ȑ$g0l,_y)Uo%P 䈠:b(;>uTVFlNz W-jSQG'[:;jd2_?E fB=Q}WCIPn5x%$PYdRN9%^0,GPE/c vBf-Ugpn7ܩqJqxW ЛVТ.t +H/7DgYZc7894b29f47075fcbe19ca81373829b81a108f1787d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 % Pairing_Heap