SQLite format 3@ .  YYQ77Atableisabelle_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, "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 A1 4 / Robbins-Conjecture:threads=2elapsed=14.451cpu=21.792gc=0.332factor=1.517zXZִF! ]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{zrH, Ӽ2L3lkB[t|3!M²DvpnDp%g=ՈY = m *2lS|V2֌'di-^q |>nFKr *eߺ4yn ~E5Vxj:t{B,TksV"UNhHh#i/Mn3@(Ӯ޳?3ނb;ʏͰqmˠ>08^H[}}?c)9Oؙ@\}-00f*0m w~zjcDAB.?, 뙿L#璖r8n<%n}QT퓟HeQͤfn`6o/a.k3.#߭* }(%l:)f4-㮓zH۷zH/T8gYZ7zXZִF! Mw]ŗXi%6xq_^S2h=%O έ7UI zש)̙VO>U8X9՟DۧƦDnIEjjL%z[4g|i/8Ksj  Xܫnq5~M/XP!LoelEm0po g[|,svJkˠ~$wlC LT| ҅] Oʗ'i=Kh/I*̾S$=Gq<4ӲB#5 DQC \l%ezlXEM5zީ7#. a[:ܠɋH'խr}os3bt{85J>A{i0MG#^tذ_8Enk7Po:Ǔʤggƍ x7Ǹ꧷ _q2Sgϱw~,H_M|4&3qzJk%b7!c NQ+1p|'L%1ya;#D{,6N w=$aVן[󆲗&Mj6ňVǥy/q^8/k)3FZXCf静^=i+Fq|S"{kM} !>>DNTw6 P,>:"K͂lFg|V&+Ѝ"9,!KM`x`s`.WQ-71hE_@C+әTOr4oI:)=qpV%&OцtΊI[!eMT閚?׋1QiFw=VK6TI9-E+Ghg_$lF*?G) -:7#\xQS ;p}P(~ Җ ZfU DxY^7v5N̚z)I.2$mJwi?*F}wIkat)Ss{CriCԪ-r6 |cq!@sЗn_HL ~pj+.9/~zM1~}!%=!JGϜ1M^cP,h:$Ԉ=e˶W e/]{,q J'# Ho`QϔpsT 68q gYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 a1d6778ea1c69fccd623f08d8e6ef26797959365554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 1 Robbins-Conjecture