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 **S3 $, ]S Decreasing-Diagrams:threads=2elapsed=22.173cpu=38.588gc=1.208factor=1.747zXZִF! & ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4tJlR6b9m_r hU+3_Η|W?Gk8|8{I<,{gYZ7zXZִF! [K]ŗXiɟhb[@%= (]T^ѡ`:|[$En;F][t48`# BIg\Uh}YZ7zXZִF! { ]ŗXi%;DC< rsedjHX \aa]1ic {wf;u׀^;#[}{BXL)80@ s?ZZ-V+QKYBcu& Ze?d^!yKb$[F r:C ;xb{UߴJ%ɚ;h0 Ռ*03_7Mn!A@O¼jhTzmJ-'.0^1݌⽺;Aq{, vnM=M ]sH$Pf2Q̕'BZRrIR,ӏիfRȥ'mbdA An2*6t+\˯Aevg+^VI+ڌmEzu1lncWfBMBН9u'GK͟%ahTvh5q)Ccş*PS.mfԨ ^[oRQztKrq2Rӕyhy˿]HzPndX@Wz%7AʏA4P*nbݵw_U0 L̀!x^`;MQw`Jܻ{§õ@1{e#/k*r},mB%M@F7)A ?Rc=ODgwh'*HV F\>jSܬ3:wjp89O4k=LK.m0⁾;S@Ŋ|lC>MjY_-8N;@*X%I61Y> =bgYZ0da0ffdf8d0355b588656b10d0721f0d5b5742d8a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 2707b3f87e5cef0dc2f9e6041a030f687db207d1 3 Decreasing-Diagrams