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 )  w Binomial-Heaps:threads=2elapsed=18.450cpu=34.264gc=2.936factor=1.867zXZִF! t-G]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|$kt7{VG "p{촇^ &F>3V\N2 ׊[|_;Z r&|o &^cTc/^n 57?Ga*5Su.rh˒O9ymf׿0 j{5ۋUuXA䭩D'eth=[!aΛKB4Hб(SKvz MZNؾƠy$߬j+;  ) Binomial-HeapssW͠v("49t}p'x~xZƎU#prN[,ӌbt}_*6ug.2Z除q-1GZc 7ƚ:%3ޟWӡÅ4we{X ~nqH:(jϤqd'/8I!zGTE˞p?rZ̑6ѣv lWN^O8o$i y L~־+M#! W*ћgZ `".]s h] VVm:R0WӺ5[p)[uחN!k7_#Í%ڇ\M@8ʁl @@;4o5uLC5T9Ji)F9{2{Ew4V^VOfYZolVR|zZB>; C cǴºSܜ3f%lٳ ƫJ 8OEFЁ,ʢ7#wte^37Y/3\qtX)q[|Ŏ"z-ر ʸ}< ׎; @zԃ珅O0~ yrgQTqAx{gʄƛ]Zk6dE''O[)8q}8P4: k$X'\0ǜLГ_a%.GbbU*l^#DDOth;b"z4Y/ ; gYZ7zXZִF! ^4]ŗXi%s H)fɐ_}/ׂci'ٛ{c}78֭K3Wц  J0VN uRK dT 1ncuf`APZדQUE,P--GQ ls_pfo XVȨ13g0ln8g_\dx o&|`"2T[fH)"l`^9;}SHxfBVJQ IDo|p*vf"&v PgT{cgIH|̹yػa"A~:g"˅iswb>yQJ J*aхVXxsA)^ G% \c4j[6â8;'!j[0Z`cW `er 3F*_IN\al=y~ M#;n_PAz+.W(F% 3g`%5/8p{,4YO4׆lX `+ZBͥ -;ۤ^QgW6C(j{0WMg BOyׯ%0Fff묁"m)Mћf$Zy Komtd%b*i؅ALȥC{$7 a"d#z dݶzf9% CȎs(FULOm>Ȥݝyѝ.$O)%t0o*tvJ2Vz(%->aU"wAۃjUJXA ;Bj/z1!Gӻ6mJa]=ŎMD5ࣙM8*W͓1e*$RHqj2uҐԖf Y?iWIdM"8exe Gr-&PL$BbFaLUFlvԾ)bNn-Zɇ,\'zY9ɱgYZ04eb82072791d00976062df95e35b81cc3afc530 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 add258111776de3303489072efdb722c0a076586 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68 f0c7a41e25c58d76af306a704e264d1fe7fef4809711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567