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  1 L / Robbins-Conjecture:threads=2elapsed=14.022cpu=21.284gc=0.352factor=1.527zXZִF! ]ŗXf1-/6vR[Opc2 DvcfǏq%^ h9R4I 46(ųJܸYZ74_MPq`hq>۞BLmd=pk/UGb~\W3+VlUߘfK" PQ@6\ok!oPz?MkBQ'|lw;ҁ'Z}2$-EF-,pn;L$:y/1gIN~;؛& 侔x ͇Apo?$I!^.eB)%5z$GuXqKjlޥ'P1䩚ۈ913(Ur+pPhqG.Ņ~>]Jb]>‡f#1D8$?Ť'DNz;C-y*4vfbQ`-V[EevI-HdfSgYZ7zXZִF! K%_]ŗXi%6yKڃ'Ujkw/ZnIz rjGyʻŞfb'ljt4[Z(9 JZ0TUg:nM*sy (˽)+W>P7L]GIl^C3 NU"7Eb$F Zz., kr=2(^X1vޖ/IfT`;k%AiuWX4Iw\v  fD=G-ڛ1Cj_gԮcWned1tZ.1}~` ݘ+;'P%/|a,_w"˰5*^3w]pi4\&mVE&Y#HwYXf/5JgUTV8"$p&ekQlNv"@1B@ Z0JE g]  z8,kފlsFr,1ܮcvʝ &nOXϺ1*VQ |1s&,.v՚58 6'uE C`~:8j'ԅJ.Ⳳ7R:w=뱐<"3Xׁy0? )j7}vUT,<]R@`>Кu=)CZ—k1x/e0xP"op Ik(0y{Uk^ea{>r.H;һ) -E}:"R y>jg>Ai [UTv-\_M̾t+cxzu1;,c"8 Ă'NrdU.ow㰀?ĥ3cptՑ=L<%@,iNƭ}?y+hg h 'or6ydU˭`x&^K _0È0F)KJ#o>nw]uK7 ~iNVnFkEbqʕ:&1 v۷ԬZ )yK*pCӬgˉzը)2I;03`knTQ.ؒ~gRˏpG|U7upEU)fYYgYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 a1d6778ea1c69fccd623f08d8e6ef26797959365f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 1 Robbins-Conjecture