SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 a1 l\ ] HOL-Metis_Examples:threads=6elapsed=11.964cpu=52.080gc=3.236factor=4.357zXZִF! Zn]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVVwE.-̽Xuh;~gA.[13kqT456qy8)C " g #FE:  -dVF..‡p[6NV:AX{<=6!ВhH?\@Vx lղzyya,e=Goѕ`p"1 EXPmdMo>$J5;t@wMjn(Yn8L#(;Xy$ZG7R&(E(K.4^d9F7DMRt #ٕ?F)TQ#f.tp Otg\BTFם`ń &!xss7e #qƘ )_/@0ߜo Q1fN.aj+Y`wEF;7^਒(>5(~dG=٦6"L?"miyfŎ!C4vCፑ>,Za71k7j̘l!{p_[{#'/oC5%,fpR>0V'Fv%^sw /jؤx]q иX +|ê{)?0JI,C^U-*WĨC9>(,Wv5dd׆w%O8 L#C "‚pO/rNJmHԧY._ڿLy>UZ2ڕga~v5]~ t36,J([[ E;tchL)19DF oɞtc/XܷJ&(7F@*PTeow }u$&M~`|'' XHR'^olbB jlژUE7kQRvR3Tw>q1]~nU(ʰF{orQ;IC3- ~QHAekY.mu~kfs'J{Q#K 0# m.k.9f߭ݓDt%)` 709a7cͷisPwJĿdUvZMg":*d+U O52U̟ e{oO"BLXap1(>ߟXK.% %23R7&eAX}D`TtLGef r5{morۋ/D~&/}z]FK\5bSEhi5'Q`In o"%'eVl{"tf틉w`dwVM7, C5RpdY6IΘz}mQd9 T0gYZ7zXZִF! ']ŗXiɟ1$Cܨ }X 6P]!ẞ \QM3|kt=l)4Ȟsw~^gVne"k' tzch@aL/3k mQ9te/laC[v|>7T Mw|D, qVxlAȔG_(euځ4N !0ɍBЍn~'"rAߍ}b=6k(OHBT y6Lϯ}tu'dJBߢfGRcKgYZ7zXZִF! 6]ŗXi%;5CږKd,:@=_"HL0$`QOOڏɡ@NKgg%1SOVtKW6gd:6۫eTo׎Hvo󽘗4L1]1CnF7앫R{W݂&qM*1Q ~8ΜYH",˹gN+OyLN2>9 b~nPC<;gAT^Bbֿ5")ݒCa&MБB)|oz7WlD#, Xd=d ?1n"ϱ(nT8 Ƥ8S dvy3pNPvMs"b$#YKoz+:r4ׇQѵwEvURg7ݨ-ތJbj oeXv*~lXjn8@nۘ(h:<[%e*yo\M{wbl[PF8 e[Z[AfhBQjy#XBN~b~ug.GL Ɂ+|;8yᏌ;pN|D HzKMp> @"j~Z@it sdȢQ-(xB<x#FLyf,q~S "tda)1BV$ r ,bKo~P[Сw`0sرh5IlK%"KRY԰BRuj138\ޣiU&u&Zlj'ij