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 41  / Robbins-Conjecture:threads=2elapsed=14.940cpu=20.620gc=0.308factor=1.387zXZִF! :y]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{ɚ:lCȋY4t; eXdݒڲ5~-3l>kR?X^tɖc`#n!)Կ4PN[|øORO'WZ`C^q==`Sô;GNe Gm֫GȺ_QV3F+MHri {#4"66!,'љɑUuC|Mla:G9e@ƓZ4ezIFVF,\vFIxJ/^<'Bˈw4z8ih֟ENBB7`uIv޳gD&O? dq5J 1 Robbins-ConjecturebPiOGx(1^n倬^8vPیJ]3` [fƅQعqKθ?%Mn$dC~-RӮ(K+rYrw#KrIW'o)Bxk_90ښvad(,l@${OS} ^ނ̓k9p<^^d=/Tcs=aM>\WJ-p9mUUp* ܗ իW n{`y/o0Z G`Pp.%Y&X`#,[7KF$ L؀QfwQb@Ld`hmYbA~N'وfdtVSGp,txQ7lɦETTθK.+GX(6]IJ^O@ٗj٧?{O?|Ėf G2k}C! ¯ ] ۑ3凝MFj+S;%$K=F֎A(M45aH LF&C?<~E!UjM2(#/rh(^`M6ʾLTuOb'3+Za$xȺ]x9iO MdHA6,|&΢Dy Tr0TͫG&ȥ]eAہq3m۹yMNSPcžnT gPv2^׮g1qCIyY?nR!Za-ޅX Ы?Y{o 6bAXBH( se%1̑nIIɨFۮٰ)d^3Lޣ!Kħo tƆ-uݻ1=zJ͒x ^AJ\nu?Ap &m?F O9YWk*46\ 3Z!U8$dEAӡXp <mݒN8yq?0^5X|dQ9'f0㷶~T<K f>́3JaD8)C]'us !Ji۳PiPCxpMd[Zu9\/JxS=lw3UsB9fmrbYIuJ\iUN\jܤ6~}SF[XB켆@K4 9"WsgYײsh%fJe<;͈|~ϼnʫk8~jR؎N<|w; JfvxZk{1{ _k2խӾoN&m{]@OYBu2۱cj}sRI~GK%M!OH9Էu <ޕgYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 bca2941f32693f001cc92de19a8245825e8bd49b878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457