SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 QQ 1 t / Robbins-Conjecture:threads=2elapsed=14.737cpu=20.776gc=0.356factor=1.417zXZִF! <4]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{{)#n}P([?l $EA=UsU;&&=5iǬ=]®ε'u0[*Y9\qeeX\*XVIFZޡ< <Ų@2AsRMtukeA0q⸛²U= YB/e$MLI?Xu:v_]vUD5e`1c θ+T0zE<%8؁5nQn{I;qqᘦagt:V>S5c4oD#(^2ѡ 3LӰsIx+^`.͐oJ8·mwQa@ċV(o8.$<&>9& [q{ g&w&TΜG&1$ؘUbݔGh@K`#QjBWGXQm,n4"9H]> b7Ό 1 Robbins-ConjectureB3>.`bY" !nJ]CVGŸypcw@׬_h|䦞h(n4q/bMΡ"xJ:;̹dHY ξvC'g|9ONW*B$h6ܡhh9h@5D1CCjr,|-Ŗnb80w$xej.Xd'Xc˯j%V,VJ H?,Ϩ ׋vmz`i'1,CϚVrr)KR}ՌW6%\LH~s0oswqOnjm16,ڍ0uisZ_że[NKPU7҇?z,d[~^~k<!Q[HGWlN6 >p-jrA!OyQo]"ޖl U٣"}h2q?˦s>ģI ذ y9EgYZ7zXZִF! RZ]ŗXi%B׆CLal8K!1^ۻ%ߢ+#K2 eCn oeX1}6y`Ə+ }"ܳf;/0љM4Rg4DP)!J gKcΓs(z9R|Y=LJK6t\t.*&=CZnYS*};?TUex\@l|X~b37i6jܖڜx ٪ԥ4j2 Wy;׼:/@k;&_S֡y{G}CTދRv^sR|q|hh8=p aTifF,u4O9x ]Y5$ORqA'eW& gq1a1 y~ɂXYS}·]hQ 7o%0Z>fQeEx$;0,i ,+ȿ+L˘o '6>P{u.'U?TB 2xgX~ G QbiibᎪ8ma#nA{!jdBC<îwV"FSȱ8Sͳ Y#gX =|GV~ J;"7jdSu7X6|ʤdr fp\OxFѻz59ˆL<'URL 5իo.h7;vbAXyoSj;xs 0< S!)hu}ΙEK&ySPTQPݨYhscAHۀY_ PNL]q4Vծta13_@]ٲY*AW@_If,iOwY*v٣Z։ihfXeI ۤsKgYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 7fbd9d58fa0e36d0e77accaeee7fd12b4e105ad1d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295