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 VV'- <$ ] HOL-SET_Protocol:threads=6elapsed=21.626cpu=87.992gc=2.096factor=4.077zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3STj⽽2_>{2hdyC"t kAIZpJ$4,|?n*S2&iS0I2(@i8{Ӆxpܘt Kixj(F?^8Qj&QhB;,@mx_z?˾33W۳:u |M,+ٽR!qYZ9yB+.ky Q)qdtJCD*}&.vՁ1FCxfS+(HQЦ,ܚ4:. !\3q 2R|CS D|1CFm6BI4_i=5cqى<û & ΰbaw|dZϥ*bd63 lCa)Dws="-݈OVYJ[kB^r}Xvr@\$jg@PN<_S^5d#@e8oۧNŤx3rs2߷sJ<"EǪhy+OH0kUq۹r6[m=Z7SbH\b'$]5) bbgS9 jkKl>I pJ^szc$Tz2eM ="3/۟P*Od\'`">͏n$O$Z?\:{?aTؑsWua38<#I}%.1`-VۋajSE [ŤކhvU@pʨETqGΐ{^q&v|@3،FgHD$-pYcQ$_֠{sz@Hm26Z2 7TĖ=e@xPNz~a0ֈ^ew? EP)3R݄G ܧO-GB.;ɲ 6C8- B Y`3ysjt+ Nk #J'] QA;l@rT1 H 4Q\K$9X ĸO=)Q]$o"B5ma k^Lמ2)Z=wVIga mͧ5ɡ+AMS!H8F"; >䀿"Tcq;˔*:m!o[ѨmWT5382eU'Rz,/1[I}@*PٱF˚,1$I%Q] {G^`)oRw [7ߺ"O/Sk~Yr8|uLO>wO QP9Ѹ KNE[H/:U\- 5h jb Vedv:QEp Ki`lk-a+ediuKm`38U@`;&R#Ks-|yɹ`7X:J:]2p`$7ܐ;s(K[@B9}W*}u yn;Erzw]j8-D&~T"NrY[a5!#Th8TOZ ڷUTdjmu dֻ$ȃ~ѱf^7ɔ#Ȑ]T+g-|2WHZF+<\"d|P.NOmj+R4g^f/MWd0I;,bཱྀlK,5+r)QE7HG#4+ TߐԷQ᧡DWbƽߥ6wMۨyOHk3O.3ePH*9OD>Qyz; KŊH |]OD¹q攼. G b0ZBn -=+&k-,U=jU2_H{˕֚ڶv