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 HH5 $| ] IOA:threads=6elapsed=7.284cpu=29.272gc=1.164factor=4.027zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K C gәd߆ݢ(QZ[3(i&ŅrK[t{ye.HJL匂Aϊv(/RʯYh`&8q؋ Us ֥cj[PSEtvK?u҆ԩwv{:c@D;=-k oO_עLnNMwTE5 "x08qhr}&q1HњYb C) sSL2a &0dxWU8`fg'c >Lnص7;U}v'I)n\ϱV9"ze֧tˁ1A.Tj5ev77u<0,FӒP[e_H5$9x8jn!Y"N6kv5/&mgYZ7zXZִF! `w]ŗXiɟdN'LvH۹Dv`aFz3stŜqA!y/(ћl]M>DFBb iFxX)Kb>CO.ˆh要zZȏ*9ptMc"ɛNbzoit/:i>opn;(]*W|:7(s$zAh `Ej Ew_dyOcG }}G. K=9~P \)UҶVptk9vt'?K#}9)as{JA[sO8hus5jOtDp}5+ kiS|gYZ7zXZִF! %|]ŗXi%;=O̊Bs: Y\<Yد3#]Ieg)$ fn&HHJ7`7N0^fKgT*)%v5Y&غv׽ ? —oG=WhfyF#2IoՔcFZ -!1 8y+O&( = 81oZtCUH<1 uEY47v32&\+ĭXW'B/a7P#'Av΄/k!)ڠd;L&qddٽyK)ǞD|:j; (ʟrNSS?A@\`!(lF5I: Ibxl+VlGڨ;nMc$qqE>GۅM$ub!o Hś vEJJ,OR *2q!:Ug\嚉L`dC:㾳]2& #~ ]; JWOֵ.G,h~6GҘ-#j`!KgUU /u<q]–л !<^[OO,J|cG6+*64.L/JoņxIkg㇦iAM 僁dV$>f' G@SM ߨBfvMv{8k`Z(7aQF񇢡LQuEo( %@ Va8>z)Gy4Qהû23ox? T$6{BݶǮAu7yƃ 4*4E H1jsv m 8PV-K~3,gYZ6e25928dcfee65f9d754bb670a8a8597e91f864110764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf 5d58fd94539c33248592dbca1bbe0e90d754e822  IOA