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  %d  ]S Fisher_Yates:threads=2elapsed=2.820cpu=5.488gc=0.128factor=1.957zXZִF! n]ŗXf1-/6vRZZZ J.LG*7*A@oI9S*7[ylGkոm,b/LlT+Q#ek-}C,`KI;6qbJ6ܕ +U5R^=;ꪜ(u 亨34cs-gYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". QϻլkK~g׿ېyYe^Nfڕ}YZ7zXZִF! D]ŗXi%;3 Qwny V+4=7m\n .m^s` e}ԇ0@Zd'A , 래,ʟlO2_tnw\1Ikڕ|ɢ69_C ?͢+;VLK]jxs|4jŹ\Ƒy'_v#9*,llȋ^hj2Q-Ei~ BU<KVFT[@VJ NmʝXfU틢*d|C2A&$EҼ{_,.șЀ{杺WPH}^,ϼ]"D;`B s.T7<6K560O`x"xtE )M44Lꍚ4;WX,95ul; g pXC\ @Cmh5]){3"˲(X]la+piŇB/scփ7YQK 2d-^%Geit)p9Mn;gYZf6322930f2a8bbc268e496fb9efc859413996f65665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c 7059b0deb1a41419deae0813f26171d1a4319fbf % Fisher_Yates