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 `1 4L / Robbins-Conjecture:threads=2elapsed=14.581cpu=20.576gc=0.300factor=1.417zXZִF! :]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{}޺sRg?ka YD('Dӗ< W7]GY'TPGX #ۉ+b+ ADڗ&Ovϱ q:VM뮿Np+Jr=4bTeμL/6 (H'sN7#ۡT* :$wߢ{-E:]a\${. ٴBSWdk$A 1 Robbins-Conjectureڽ,&;arny(Uz \>00e0.Zn)co)iDRJn֊· ??N wpG56޳s;Q^Lh {݇s {*T1\_1!VR#[NC4[xP\lR-3*;XR7V\(Oeh8FU:H|zv V AܐPI.6 (79e!0NQ Fqpz_RZ;0\໲q'OtfqV8씔%^W> yD)|-Ej~;1=~ҿN7ՃrI[<I2P޲*9:j€1mݲ iH *Em#;΀47[QXHiaATO"L+nF|,{=v#4΄aɹJmAt X?-U<(^ `heeF>EލB&(4vP9(.`Q,઱/}fuIRh_<0늒ٮpX^Y[6@3;~+EZE>4dm wO$A©@na  T .!1ӎ MW:( \+:5Cyv3uqҲ7aݾ0TTG7W[zwVtngVwzħMW7 ;0U3 <@5qJ3?_zQ>V?n]%5W"wu]iɏyλ#ݜyԮ'r>' $#8DEpL-D8%qx9rϸAH=|0@8\5MWAd$8UNw9@Gjr%57贵( ՘xAsQWv"`HRrcKfoph{Y.FHV1% ^`_*؊PV`c$WM5GAZgm| (&N[^uϟAcE"t5qeVf![*v`B2 vH JgYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 a1d6778ea1c69fccd623f08d8e6ef2679795936580f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4