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 `)T\\ ]S Multirelations:threads=2elapsed=103.624cpu=121.476gc=4.532factor=1.177zXZִF! 7]ŗXf1-/6vR[lRc2qJ)=?$~)LX8igRNKe`du5\덓FP ɉrd%*Zk^B%5 6Z S, ﶒB:u ]N宔X lឨ5Tk%Ox*İEl(=Ei Wb^gJmP״kl?e'S%0^T/|=nkF@>C7<мJ =zYynYѸI5"Kܻ3+B!)`-1;VJ&ύo  XQML\rjNv+>}V owW_N2X6j%[!Y 8}WR 8/zkmMCx5lz+PI&۸D)LԊJH6r/*){92 e޴q_QK8C=7gP`gZ;n~ k{x*kgҏ.ߏ%Dg#9Y; ]fAл(}B6EvOdjr|,nc v-i7Wp1ЅX=u]2&mDˍ`=Y|ܸаKXm<BJ.ܱ> ?) 'nd1 )ʎlk&Q7>[i4 oQ&gYZ7zXZִF! e]ŗXiɟ9%Vۋe! O13Zm]=,a)x+5q?̝`ziFʊa dGQ d۶SByͱgYZ7zXZִF! ]ŗXi%rT\e&P.>L^Y{O3)w$Ȇ뜩 2tҐ*_=6/yger4,C%a6&uZ&5YC {fc|D;l WJmp)`|qx&-Ҹpͼ&9LD94`lLNy:HLU,#п8QZuvhm(R!|z &W%a U+سoRSnJ=cQwxv y>Zvć$2z5J:: < k\Ir=Vz6h ݋5&weQܒNᵞPu5Db+SDnT-6?t{yt(q\ ob!>zӰzܓ,m~|4y$e?]xo!e"gXw*?^' ]4 L^2DG=-7NST.Ƅ}t2̥]5/=Wv覯;_;&xTJ _-ysiFA7^Ѵf, h|ܰٯJI]p0 w/7gbRvRM]Ell]Lĩ:,]]3=@O}jX,sI{Ζhkr -oT ׾\E Ƴkv:.)_^6)ʤ* n`-enX;ԿH-fW(3dSS+z"oo\3* \~d!K4i薢`ej"ZD$qc~ЕT#;Nk~(T$SO?L Vq߈L2/r5扑Mdz)|O~Ijlk9VUH[H.$VFcyQ^NoJ<*^Jft ŮXIww6xx:䟟r\ELӮ:[L S͊n`+ӢP" OWcˏFE&؄YI\^dSB/c"y)܅pmr΂Hd *Z<wO铛Q {[g+Al{yƜ]~0q>!h$z .4?b7eXUhZYcR,#i] ,%?[Lcy2 e]V/AV'pTZu\ p{:D&WSzR+CwO2_,~RQtLWjپ `VT?l/Cij` tKr\ܫwDu3,e'*Қk$wD 8#.m(mؿLNx,7P)z=}){@m?2JE5KZzYsbf"AsKKc:$5퉬՜W6am (Ёo(heQXަy Ռ_h ,q~х@hSd6ꛣH0MRO†▝=7Ee ,4#hf^\z(p(WI虏>a/JDnN` Q*XӞ4/*lsmiڈ i.̋nό7um;\;{Npo_JR/ K>ы-5s E1X BAkJZNkEB0,MoKd.G 2u[Ge> 4p_=iw |?rJPoW`3dZŠEG1sS?Z*jA|FNhFˌ'0 k \θrJSsV uD 4# DIЄiSHZdλ=Pqg);oHxPXI`j= bNJrJvcډ1n o@Ӟu633ҌWũE.'1=GZq?TG#) ZN}Afc&ElⒷAX( M ֖Ab[,d6ʒ~>)^osIYӈE}Dz}s'a 4e{A>DFP bI>o1.s{gS?ޥ:i0娬 e_$wp,H'{iJ Epv7׏ApFwWjl& 9;Fg-Mi,kW2ߠ7С01]{q)w &|4x򫞟܃ aٵyT?ֶ."͌"