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  KLL ]/ FOLP-ex:threads=8elapsed=2.749cpu=6.858gc=0.157factor=2.497zXZִF! ]ŗXf1-)1v%(qO>G7@݆w@>ܝA q1)Mj?C2qReFw.ۓC0r儓a@=XeswKMmkTI$^֯6'NMʛk kCPf*!I[ZR~GgKP*`gYZ7zXZִF! ]ŗXiɟHR,[?%߆nv>M A󓷈_AsBO%#4HC#BʞB1˥h3]jV/-ς)r R?uSet@+;AfMn:MɦD%vSUaz㯣j\ |hG^[bmo;vOJ)Sh@+d"82"WׄADNgYZ7zXZִF! ]ŗXi%>p߈/J CS#Wu$^,x rR -_>U6=Y(ˆDspw+'dmSX1F*pvԷ1+`Ķ?@JֆL8S63ѧf Fo26Q.8llXǀ U$bg=E)Ȉl^+_aoQzLJ 5-!^Y>w$#83) VaJwrRЏ6`cz4ttXP$V6; 2aFI+kIߏg}σͲ %5:$}+^zL%OxQqAg;.ԝ3ץg1R,!ĕNgYZabe502a2518ac1d1f444ab4b65fe6c8fdf93902dc58d21ba3dc8b698b4c6d36f436849048b45c256 826e1e9a4ed28b152d6028e606fe96584c3681d3   FOLP-ex