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 i1 T< / Robbins-Conjecture:threads=2elapsed=14.739cpu=20.748gc=0.316factor=1.417zXZִF! ;$]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{Q7N5R^m".5r;GhK0\Hב0jַʏZPGNoi5z-\ZPv)xǎ6g삮"Roϋ'ꞁUVhkՓu(Umg QoYAts?jV)V†)7 |vط? ]R>ف.-[.94Rc7<V`f̢)ð 9?ݛ[UD/u8߹~%wn@YU"^瑷yv~szjW5643ɪCӢO0Boo'U9U&:rEB]+Iݦkڋ"ׇN!v/{sDmv$G& V AX;[ev!])`D - KM 9ejuC%Mk5L;lՠQ`b]֚Gm ]%w$q7=9}9mIAfXr09L$Jfy EN.WBdP\t6|jrFmzr+&8 ǦаQQ%cL\K@BO?\EGT1 JC}i"VYyoe|iv|;&!X&ƈ%}#bJieN!z7DR~rl2uxExp>xo"ćv~?kٔnȜLX1Nj}9Osqj}mл!/UGSd0 SڛzG׻+N9Uh{T?zɮ fd|y HrAnb9>QA3#hryW~h{*[1A(m,TAO1B{YA4Fͷ @>ݑ@kãWpʜE#kr֢(2BB m&nT/0tZ+")¤,*M-qqȂFJ] "WuyLO\,Xߍ;>HA 31Fƥ,jD@kk/O @tdOv=Zh'tYGJUfOz+N)=E(,n?oYqSi`|MGZ%y|DC@eqk6gM2  Q!QB-ƎX\RhG^L?\ 2z`zς@2A#l"ݺ!P=[f+GlBg69T^=94D( 91OG_j? +uK6+C4>3挔 Mq&qUGddβ ©YoNo;lMg