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 dd1 \ / Robbins-Conjecture:threads=2elapsed=14.555cpu=20.404gc=0.296factor=1.407zXZִF! < (]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{|BJa,6B3Qx:ogoLq?7Dq)Љm\VS' U\{xG-_fYv}@-@ m S4j޺5[Sf/,Tb)R&qEi}J^ vS}>WT2s]_ݳ#j*YG֨mC(#f~:];j"Aay3S;*8s k7WH8c?B,7ɘ%͇2 }~a=_%{҄u8VE+LMEQ'P;DL/hzB5y+AFͅji@ܷ :W}A~dfd%ZRb](b=)O+ :\(%=Hs =oULs) N{j~xszl/7 z`X;%cn%ݬp "<3kx@} i@VX∅z3KHG[hC6nYv'JKRIt$;)1ѢN6N3ܝ7:zRP֙'Z1y'b J$QNӦ3Cб{R(f"a齈, =X=x&3 ߍj=yNbQ)O=m\ +ۃL pϐc_5a/V;&vEN2N -G%òɁM# uzgYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 a1d6778ea1c69fccd623f08d8e6ef267979593659711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 1 Robbins-Conjecture