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 EE8E4d ]S Formula_Derivatives-Examples:threads=2elapsed=55.777cpu=101.024gc=10.260factor=1.817zXZִF! Q]ŗXf1-/6vRZKƯiWٙ*P59#;Ջ+yXx6T'@#īc_RP'IdEn~ԡj{0cJ{#r%]y"Bbel=JaV5-MGCoxgP*zGP}MLisT0_af;NzdwBS㟾>8*GK7byb*:-D5\,Pfbvbdoĸ:xi 7q2(ibE̊%3n"z VջaPq5cꨔe(*Qrك<Mm*.zw ^^9:{_cf*)[iW ^7GQApϳz( WGa+qBS<6ZF`=$9Qt$n~͂O*fB_#|Boc,sh. ADd ,lX=(m\O`?9~)ކgYZ7zXZִF! ]ŗXi%6n}lq'_T ~:" tFR}]rbxܔznϵ}:`1/hs;,!?q<PU׵J ~B:R23`uW[p13/+ؼ'Hnb': 9AQ3@4NX M{$ IJ5Ԟ/ #-h4"@,t>m>AxalG#U]miP_!T4Xڋ(e}7)8?5@uKlؠ̭VtmЬ&KԲ6r3`mɐ!y׵3Ie^͌\K]TXEO"F) .V鳥 ?5 q`a3u#*0+ M]ï+]R:M-LKM[]>mcXo*ſH?龳 w㤼]V.)x(M5&ǫ嬔e$M!G҅LXE7\lKPФ@ѹ|X/ת/~qr \_3D5 \ozڧ _e,`Kg6++[R =fɜiu_;d PI \nҏE?I#L򻛎7 /evDia5+$0q⚀">xފ;!u/G'$!RkYNj9^GE&xR-a3IN&i_7BMO:5@q [ ն/:*3k}d"+ww, ^g.ho´L$M ;c$R lqC(bH⧹%4Mdk!IXuPZr,:n7C=EPdwWaf6,ovn7B*q‘ 0IQ}<|6ڑ*CRoE&P+$kdpqn[Ŀcd:9xd6 *(i\At^Ƨ&L.s lßołcXW3·Q񜅚o6, 2/&4, 3IsdM0TATYyD FʓثYzlOHyYЮ;ʪYׯo49yChy|O%dht,% @ؗ 5>a,B rŽGL#t#{En,u+8@bjV` /%uc\ĉƲh9]?<~d6㵞" Pm 쐥%XME9 LzhOn {'ij 1`<-e@rY5]w~8 ɷVhG/S$4R jj4@׹+UYgml 87$iꉐ Q#Wyu;[k%ȥ 'M眱q̲r{~Aƥa'9B>LmRfr.\P6 U?ޮC%d (@Wn