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 Q1 <$ / Robbins-Conjecture:threads=2elapsed=14.773cpu=20.576gc=0.300factor=1.397zXZִF! ;V]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{(c.bBs!/@je( zݽpO(yJL:瘝ި'w.w_N5Dx,\y ~Lڄ\Eq~;|h VX nuGF*;/:_+w;Ǚ*Kw |"K{'l"61Q:4s&Qjͳ:}h,f%8 _ZI_`܅↏B6Yj!a>ՇS 6\tWYK~6Rd,S9IGߙ_pz(j{F"ekb_ޅUqkNK<05d wc.zdl 1 lZ)3YD vKwe pVL`x kTV׻UiAӦ }u]a_aqh=w1(:v' 86tx3avRکrLHne3h(ZB4TͲ#F"Zw)W@<+v" җ (t'=X/=mote#l<}ԉ!`run(֨IX ?@Jve_ɜ\F |)V~1'Ubl/>+g2БqUxt@|%: <')3h cQvKTڋ%yyN?3]YL } 0>qYK/HC%$A((Ar"eE­LO6,Bit`%Xde^Fp5~'Fϼ7(_}0gjPT$$H)U^Ppon,wt6ž6<~B/gHUqSB0>hE,W* ѝ~juDT\Yڣw,vkgYZ7zXZִF! P]ŗXi%s#1r!Vw 3V#<)&rsUM:gSZëc&p4k\-º_iD7)E$u\Gm-Y׳2R7!`~͑c[4$ŁfG G)Q6,׫!.V|Oyw"l782vUSje'NJo{)|u %ӵ?%Gy _,}Xi'$)2/U/RPwĸ'o8ِsڤVbCk!O44Ro~ߡ|76ٱW@/Qа