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 11L ,\ ]/ Menger:threads=2elapsed=10.601cpu=19.132gc=0.536factor=1.807zXZִF!  ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC# jѣ]9;nx{+LtbF櫶<=l-;l/#!ly JXТomjgvJE!II]ԓ,uy*90]>[AL5f$+Z'u#Y((sKrP?6Y8A&3 WinrnVf5d:nݘ>Io[^h5ե /,?  Z*m~F/˔ O|:κس.21œh|&?QnхخQWT *NZ>(5 5fq#ħ$E1tDMڝ_x=eN9ǛALL,Ta?Л8|P<Ys_Ad4'oKHC@%u;VC[.lcӦ; 01|"бgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈hede.3tU?[Ď>V);֜}4DD చ4 L[ 2A4KÇFtO܁̮b}CouLK8}EF=>$X^hI˙-; h'"55BȎ`~g$Awh#CgYZ7zXZִF! Eg]ŗXi%>gi|`_ֳxh<3g^D;L $p7=!"TG<;)q+}/(iT0^~8$d(+|Dʬ%qqp x}=$F]dvD!@m6oqa/9<Խyd/>tA~,%k>pNFpOׂ@YߢY< uWV‚,0l}Ήh[ǷyoCN-KJI>iV>)Bu)O6 tW@L9±Rc ô2y J;V7\^+,S4EҌ\.ҔPM"Sذ독c&DT(t }X V?INV1i/hhxIn 0 K,ѮM!rLq2s8N󗬨/rF cbppGzv3Y}F;YS̐9vNU$B9f AH4IűyU*3o4pIrnGsV)?7 i;='R?rA; *];躘&2HSc_kZJO6ݲp.aǎ- hҸt(!K*AWl$\b*$X<`@v aK/5B=)bqt܅kU.:/ZeMe|.k'ҏ4]`PoJnԕAb=KކRz.`f7gr<bT^v~98:&W^r_457up&.1\Bo6VF Z8`T1gY>zCK $ʳ[̈`'/`/- -' n];=镜lNcc.~iUst ^ h}$P\|6C"=|ֈjK "  QgYZf552a6dd2a77745d809e303e5b716306243d431b665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7   Menger