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 {;  s/ Proof_Strategy_Language:threads=2elapsed=38.137cpu=72.072gc=1.920factor=1.897zXZִF! ]]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a RIȚ*N_RVp.SH=G\u nNQM97ܠdp˃lz5}G_'Y A9iZP[s/A#٥ssb\uH텐 /%K}\!'t$,Fw(ge~-fxdkurMz7%ۄ/{zDnc YW2ۮ|:^1 nNY`mQ.fI (]R`%]űgYZ7zXZִF! ]ŗXi%?8m~_+ZwrtX\iVfj1G>~fi1A]Gm6ѡ"1P[?yUF!Ln9Z GZ-j #U~6#H DR ]K"] ~̽񮯡u2 ګL d,#yW +>#jX;MD kDW< USͪB>(v,cW~H Lt~`)s3:uq򌐬-6=/ɛ>F+piᒂL]23ɛռq5]۩t$iÅYtğՇ}l1.R0|VQ(vm^qi5:u<=\Gor׮L5gw+~B?.iY4Xp(Ղ25]º;֟p:`0i]0\8*k'em j>G]NI,PTK=Qgk֜ɧp\$-Y_cGIa_y5PW2茞ioc^ʾQj3ÖDaaȜ9+V* ]1k{/JiJqI|J|Y`{j~y C Ec9+oo|VG1Ҽ }ԕq\l8jmxKzHW9omI]QB7DnS3_Eֲg 4Xq)zMgvSPJ9t X/cE'Ϲk9hD/^#Y2O)%WwEGJVmnq+;4ԚїquYK]P¿V,Iޗ y0О@9g)8β^Kw}OHS`(  0([s=$Mͧrg# Vm!&J l˨\gox&:qF2m#:hъE~`5;5qSDs6$6 9/C|G]" ^64޿.Dd6LP2,#J&svt _ IcO6JAV+I,w1lZwIX{[zg[yC áskA%۠ε^FioJ{GS'-v4)>_z[n~jժ[k,}4y2xAK3V/1dQbBi8 T$v.n59X(ӖV}7