SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  .%l < ]S Fisher_Yates:threads=2elapsed=2.953cpu=5.384gc=0.084factor=1.827zXZִF! n]ŗXf1-/6vRZZZ J.LG*7*A@oI9S*7[ylGkոm,M79;Ir;9oj8m^ǰvƄ%!wsLv~~ ,te*S',(v cıgYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". Q8al4$_]P%:\s^Nfڕ}YZ7zXZִF! W]ŗXi%>g\7kH8\ ؃Tp tRU`"d~vF:i=Rija6QVo`tJ|%9ZRt\Mr\6Sy6U[v)/I$&1_SIa/LZbEW[Y5B ),ЖX7?z#&΍;pnI&~O#4DFg42-[:3bގ(h }vX:ҟ5[6)Zlb9, `^&OZQ5XA>_˛ -Mp`kߓ.Pw| `"w+QQ5fW("`g|\rȾB齇N`k Y6T3 .?g?:'n I0nE}7ݹa%d4&0(*=זY&"/dئf\EtwfuE7s&߮p6f3f Cz=1l'3 _TR`Y9p(o+lㅉpZFұ*/Y=M*v'2 La9`Eio4W\S@wYWQ>WڎgYZd92df940e2eef52da55563db7430684e3634b298665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d % Fisher_Yates