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 66;%  S Latin_Square:threads=2elapsed=6.617cpu=13.020gc=0.188factor=1.977zXZִF! .R}]ŗXf1-/6vRZ(#V76$Ta,X6r\5RLp?#k%)8&t =4(M¹ZS2Mpp )Msk z WKx6@cWOr$€g <;Qq2MkU}#"t!~ՈDu 䅫=]Fڪ\GDB4R1:y32fr^Ѫg3qs1^=+C3QJ@< -!D!-ML6sGBX|+ OcHr"T:YC.9h7vu'6=UϞn#,_@ I3]ڶr Vh)S\@^{hb7y1|d?LsJrVﳚ~gzN%3Z >5>gE9t5{B[.RC;m}9x:[ʒ'ۤFlu\e*L Gs_V(rc9WɑR6vܦW= \NWO咎4^"i=K_(YPP$ x#U)@b:klN5խUp(W%Q@E`2\[gYZ7zXZִF! *%D]ŗXi%B׆[P+iNn2-hR糽Y9[,bP|[eW駣ۏ$01۰\e Iِ"/8 ա/_q !A>i9*R? _H5NH=2Ir ]߃4"/kJ++ NT=JI"=c`֖7^‰n]&҃E{Z s~?k1',|=*J8av! q5^?^)iaB*c51l>*;5q-DD-R}c4ms|>0Qa:iW)5\ HQ37C'NaQRB!󄾦C;뇲sD_ 6.KyQ/@8t__iE 0/Ӧ Z3 l붧BcoqՎW'}0|"5?G3uT?u%T 44<оX%*Ƞei\̨{B y)>n:бMǕ }ϔSXҪ8|;eF _F!wBf"ϐsX͚U٤oZƽV*qB$dIq@5TJYgYZ8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 b57694c750678fbf653299774d67ba3e3b2cd85a e587efe7a31b45fceb8cbe8e31287d5d15e8504bd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 e9cb036d47cc13eceb15dd70a4422391af78e6c2