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 a% TD$ ]/ Latin_Square:threads=4elapsed=4.902cpu=17.736gc=0.240factor=3.627zXZִF! a]ŗXf[& n@W2rlU?P9ѦΜB تD󩗤_7;0/H~ h%.*KݛRmi]I1dWM3קMX8>R@9/x7Ðz} m呇BӉw#O[ɖ-1wI5w cY3ZR#}l46[.nZU; 棞i5tΙq4pԴșl-qASWH򂫰^}H[T_%ZlAdk zk1="m%(Bc2,P@‡R#gYZ7zXZִF! Y]ŗXiɟPaOõEWDwSC6U*aV+m_gwQ B @I'eSke ;:4`p5ugYZ7zXZִF! /p ]ŗXi%GЛ!k3z>$ޱZdU5LaN,07.Y46P%٩iE)9^Z n5z!lQf J e"iyƀ3ް|j-tcmQfHJ =*;]hat/+ghȪ hYMXW42fA|yǸ3NԔgAv-ڎˊqV"ީ e#(:Y[*h1/& ]: a[tzC5XFۓfHsJ/"ꢎ.?M1 c5oj h/YM^"VR*2+H1  5E Gj n2@i$Щd^Zח Yq^~^gYZfaee8657914dafce5e9a1e8b2d313d3acf8e1907a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 % Latin_Square