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  ^|dd ]/ FOL-ex:threads=2elapsed=5.573cpu=8.052gc=0.280factor=1.447zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n w>db  _)\N *S˄u Qƅ5b>SBK;vо]wIt6;/4`9~pKWz751찐&D{%.s4FL'aw. 1ې'XJYL e3Ԛ5Í1Ve GW amMt)nE&+966`kHyu"'Ѹ)$1W(h0OGQ`pyAQ"0 B"@ "IP0@"NOz1WZ;y Q$d ygYZ7zXZִF! ,g]ŗXi%;Gv螴LmWE6dVy%kcAyQ5J8&,upb7t{s@F?Obg Gh Xre]D$]d1'?wGڕYӬ'|>'{c 0VYmOuX >qnmiXyw_.mpt6s}b+3\pE_GCPE.$σB ?!O官Nx7p~ȏöwyawckcвa m|UǬUt =;fX>洊ehi:AS8RخUSߞޞDn)'nE 9Aqz,!I5\T߷}8Z@L:TBxY|fyTkM0 JymԔ×IO;J PC@.Iܳ)/RbdQ9$j1SГK]-n{XggYZ0c7010d43caa5db7663ca80a982b2696b858166dd50d23da2fba2fa66eac370561c930ef78815f64 73a7bed3948729a17017bcd4e6ac88a993dcdd4e   FOL-ex