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 LL S/ CYK:threads=2elapsed=5.406cpu=9.848gc=0.544factor=1.827zXZִF! "W_]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣ׷Jf|(f})}NDtӸG͙Ђ 9RovZMm?:rLJρ$G лgrcRcFO ]//[jTbCĎbFݕ$1bd3=PDk:_KFy]|:3v2 6#U<{01wnj4%uhxK?|^~H=^E.G|+c {;C~s4-xj3Vs8l|;apoM+6+xE YֲE_r\Ak4BS^3JHew(,MQnB5ijqV1kvk* Z\ εLka_^i%J$-(:l[ѦE\$AclvT0?6?453Nyb[j~#T0gBn6j<"]m#Z=xd\3,[<Go/ lrY5t]I2<|\Vp[\XS*|%2`]kAJ2`L@ a,ئF|5-=Ҳ@\X_<&McJ8G_y5.S(je݁o&#g3yݨ/ <-΍?,gc!9.IbDBˈpUѵ`>:dowPZW'hT鄥=ZǠn?$M X6)?J0%uSD|3gYZ7zXZִF! # ]ŗXi%n8w&aFZ`ò%;ʼ6BiN-h|zk`-%}}) 7qG|[-vguɻ1HPn9JVvgt<áX p*se h; P|| 㶔"{YJO(P_ Afց2 w%.29 4DxӮ6|~2)sѧp|P XhE@.i[dDbNN؉)s+HsvDM1XмqsuWmmH[~6֠$3 ޣWq|& u NsoV퀇Y|7yv]]g۵1+]WWr*%R`x4_dn6E0:wۥ ]Ƌ%{6o>9Dс>$o`)_5%^i{j