SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 k1 Dd ]/ Robbins-Conjecture:threads=4elapsed=9.976cpu=23.320gc=0.476factor=2.347zXZִF! ]ŗXf[&':lt66LJP|rv[BպEǴ?X0qlUFo7`Ν.G)B煕HsXY]0!X8*ycF&[EP(crii%HNDq?H3!t7U͙6&>^;P#Jl3XϩmߝQ׍!TMR@EuTyA/n^gYZ7zXZִF! YK]ŗXiɟ{}cCs/7~f+#cխ߅)D6HΠ64x^r֘{:IgZ}YZ7zXZִF! Ml]ŗXi%L S ʄlЈ|(5 j@f&0k",F' \ߏn{܄60D9ql4w?;[R.6=qO{v~MqCEmPך>Y|'䚞p%N5d{j,7& Gڂ7ʁgep?K`5,0QC D{oؑJt r<4 SЁb\!gr$/VS5qY/N;鎑weG:7{ sD"PڌVK@bSz`ӽ7E?8_n >j@@~n58>Av'o9vI{0=K_ .#K98WVmؾ<#LA=ۍ29G=~>=BQ5nЕu$)x~"*[O/<ѤOޑôO]Zi΀Rh·}^\g [Yё;$fؽjm\8Y4ln7Fm>a H{VEUE,ɘ7 UEb0&!MНcԋr ZH DW5wr^WSan 3Ѭg>Q>TiW34BzU*%6%W+]eDҏLԭxqRu 2zIޮcBResZ%N5{_ I9?8sHB52g߿-ӐdP{AU<5UK.ǖ)a}D_A(YDx6E4V]":wi ̝=Gg' q_v5hIH%V cKp @WH;Lb'(pPRǘB3%lX%3?PkcS]"4>x{G:|h|S/"}*@G6A}ɀ&uJmS !thul-y 2l4XB2rudC&O ZqDh`/k=Wi2ZaY\!6{POCAIQ =d&?\: ybb"iEkHX/A{~B֜')D8NΫk]Tƙ-VQxMͧ]_} F؛ƒ]а҅P"> >vmPkO $[$ D\~nIIǫM岚UjznUWg~  (T0fH.Od[~b:nk'K02 PWߡ8l@,hb9}q "LjWk$, RIH4{HZ '5"f6Y a+gYZ8958eff7114cb83e98dd2c0a37696b6e9614a7f2d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 1 Robbins-Conjecture