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 |#<|D ]S]HOL-Algebra:threads=6elapsed=49.287cpu=156.580gc=8.792factor=3.187zXZִF! [ ]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!f)#lږ^Qx 7-<#rؾ[l\ rm[@qxu1mOԋޢE tib!L% wSHXO?mhxq BZ08u߽ -ɟd:1Az0GGQ[+"1ݓ_*t';XN3 ]WU4MQ%t+,$UMf$1v*׏BJsoVS?q:h +jrr=P(e9'e[~B2p#lćImwਰ^} %+ăowe^"02(#dZAF"@<|{noAi$ 3V;~ n탄`?do8CD&{6pQl- д6›Ls^MV5KeNiݓ޹xQTiMcܗk߈Ûݏ}{0knGIC{Dk0; ۛo$j$0ўdsY+]J|(@~hP\--_o {l^RxT%XWȋҬn>6{Q?F#xj/ٴRsus y~,< Mrx(OGP;CĹg=@hyT>S*fLҬLJ8;:k(pAS=Z`Ez:7P6pM*g)v#8C;![T>a [Zi)WLP\1`qv>(4(R*]%׺:!\Oі>58\W2{pc?*d>\fa|~Μ) Cܞ1i0t_vwUU31Vx D]_M}8͆CYumn<&+"ߕg'E@˴Yǖ!0CK۰ѻÂSpY{52 uk cDLh]T@?O/# $uHL6q֗POݴޠIDQf7ZO 춶U-R[XTzuN㦉M#?0 Zx򎒨61wfk\rM y|K~:'? ŋ߃;vcЗ}=BV0H34ƏV%"8Y*F49M%~mve%U_G')}i3ZBMne#xZ1 p!?NtULz\tX&J{IMJg_h j811}V/yaTP&+t= WV1Oh૳o" ss+8sQ_eڑ_c!`:*-/PE? ق]`XU*8&mA_M4P-;\*=Jk rvcvڃhvbi|-vߠ 6lCΑB Wh{,:ge^]5}k.6M1;KT-: DFw Af HiX8Fդ4a=߈#n '"b.#[gd F(4PT)yimL6n F0s_LL>F?ZfQK={u^NMDZwj{v&Tɾ9~OΟ\V W_RիiM{l>ݑ۾#K *nI xU%"Nq\b_/%jwKX9t}f$֔^p*GL kW̔jE-@ؑl,1}t͛7|$z\?s~ ;! [LCI"L6sH m9Խ;̗':*}} c4KT6?ba!wV$GA946n a},$Ye1 x7ʓ9;jmhl&Di&:Y̸1o%c*/Uh߀o/Z`dyndtXOƸ1~<N׏>AaH0SOK6{I|,0{s!` `s$LgYZ7zXZִF! M ]ŗXi%9,z3_|BpR1oAbXAI6|.Hm0G}9Fl Oys@78 n2 ã?RoǬql'՗&UGu7x5lRw&Gq*A4uxwud`ij{g`V_Nb729Ũ5f6U=of:xY , JK kFiJ{U{A7dL=M 2M(*c;#^-S2 efucYV⏯\*+@F\{.9@ft4D%Ԛ)KƒQh"AMRzZg̲8~^6J#ŲJ2yݚ:.yzpq]] Kxy;̰|t{AWE~# ר܀Wԃk+Up A<6?lnHE ?Ufx*y49wlnkP7 6rQe1Ea떝'"j>Ȯ,&}u[e]e]O/S 哜ڐ00 Y_Δ*Y4O%?7% $*-P%3!#8`( ɍ"8JHl|ܽ]'54*cG4;Wu %8f3tny!S'nz1Hhغ'^t⛨[ ?M*B^C)*'f7Kds/8VޕeE# )x@M˄^n,e o,بSZD>%&g\`w~"SO*HO)A$2:m~4L9y&~$n&\"V*!#Y-ص<&2a]۟opm[z=L'B?.T L(g~qh1kݝa煽|7vwqAXÁf^4<Q%]Z7,-d5ľ$v/2jg(h h^۪M[iު"*u8ʾFTDg2Z7n3֟ ͺ1&^{3pD"X{hw,oyP0GN6_)a]Z+lͨ\P1 @O{Mt #>]չzЕD\4σinm-R3&%bah3KT^X캾eEd' qk`Z{6aᩄ7a) [^DŽy>AֵJ%#ӖΥpN/~^fj^B.Y9fxY%$ &!<\1X 4KuD]zcZ8 qӌRg4v3'b Bkv- t'dyfˠ3`,֬嵍X#Y, 8A ' {!c =%=XqFq;^q9uS" js ̒18uYU>*us^M5m[/rᆇT(Jph0bS!= _1pzq>pɹ.پ{`\O6:Bm, 0V;lm gRKW9AN/MdZ:f6gh{oVXd}^LQ3e#feqLH˷ĉ oy7G:fJkqߣrkVS1j_/fPgWJF /!,U9H:=YLE yGk} ĀNV!}J7^Gn7E3tiE_`Gnّi}:0L&=l{|CSn*FП6`!O=+ R;WNA&NYer1ڰsKcGxu.~ޓD|s S%*^IT>M8nt ?@5(I&pJܤMdt ݰu( ~:hD }v} w?NICǠIȗ(@_8mt`$$Pnູ: xIsNѬdSޔE'P:s^m}uEO% ik-;3gVuLZnAE>{^.HiV4dnbR[|@d%KYyrҏrx#o>DQg,Q"dQ@.CQ]̂{*f"P'Sʓ`j"P n;ŀJ^GB 2@