SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info BB/% | S Latin_Square:threads=2elapsed=6.982cpu=13.168gc=0.180factor=1.897zXZִF! .u]ŗXf1-/6vRZ(bϼUƬs[R]&C~Yfl?⡁үշ}Eлc@ͧ_uz\`y_]i),su{2ŌKK:2ͣ`"1"6Il,N)YdsժߍfygP`9t'ie':N"a,QDԘQ*L9C ПÅ$hGdҲK&qz"LWM g8RYf~D)"k]~׸#nI lFCqVU uc} 5-GϨ0LƜUأl%`":t! |kڡڅ7JOѓ}G2,zY:#,D>-c?< ۤwhlF]*lU  MS $|Nw8qPO(JǪJ\OB-!R{H&݈Q*&*=BG_U:֩FiW<f砿_˙L3hX@;:urb^%(9z; zTe>-LjPV6= n/}qoYR2`fV@/7Fqo#{/ )cׯT Cc<&ŒwѫCaJ(X C#BX =H#^#'=ds0R 4L5Nx{;-?@:iy;!4:9D]`·gYZ7zXZִF! ,q>]ŗXi%>\ x k,@sBӻZB ^U6#7E⊎^Ӂ..M#4KLQO3$z1)xߗB̾{Z8Dl^6R5Rкh:Y(6TWDIGydB]TOl* ܾ wI!yΪ]({n*:6XzQVJء}].![Nj&'*QC^.}.͙+fŀ+,KK+]XpgYZ8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 af55cb6879d082b81d8f6c322aac8472997dc7b0 e587efe7a31b45fceb8cbe8e31287d5d15e8504b878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 41e9c363ad19c4d9ae0b3beaeddbf79369bbf42f