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   c/|$=='pfi&+#,zЄ:{BsiJGq+n}4f!3~vQaWL^뿄e|sDʌ4/58Rh250 d ֠ʾҜ|@ yuV#=gb"n=(WVczw 0^S"4nӐ*ْ`@ LNq4'CIOhjpT1ZUB62p/x~<)Jsm2jjZ O+GfYT,b9('CҾ'\4kLN_-E\[qe+rmP*90{]/=ZcXZ&׻ײdKEuψ9#"ثy ]u~藊 3v>%HgT 4[@(|$ըNh"]UI"԰/qOc<,#5W³$S'LN)_-0X/AHH|e.9LJ&'=.^j'OeLY3>l4w;R4X)b? * H*)H1wE.$'`jgSABmIt qэGwgOdEO9yF+(l]=_sTre3Ԥ qg딉xCHLOR'bjH-ݹay7+mrrizt-Qkb\${~4Yi>9О6xЈvbNd`,מ2jy:"Z|mCj7rkf*I5{\D+ / HOL-Proofs-Lambda p+-aN`F"rTq4(/ ca_zeMNHR~ܛBg1Dcvr&_L4`?Z$Ms}Q [{b~Jt̻SWi;d͞M$ِv0|!N3)yzr0olϙ_DnD$D9K¿Q*/b)]B53վ᐀jMB޽ayc}|pe}"}d8{e+X2JLڒF$ 6Usį0mXo&-8 !Z:qݽq#Ǽxxx9/I& UC Sogwpfݡ\(1K 7 FƘ(DڗN.leƊ=MAA...0?;la ]PM4P쎽u6?Z k⪃)Ւ֚<ۻyd618$$h \. 8`ԋrȡt AV,] zc.2BiB^n9pݗJiY3}5jA@Cdb9BK( ȒC;=(8ydetP ؝MDA3Fbja6@Pf6l1'an} "QF-r+a;g#-@BK&vP5^ EgV#+XKː&Xf 5s%@h6+$IPPs1#>$Qہ!#z'62@?:YB7ZpMUu͖ՂA7ȼFRB$yXjh\@%h\/E_ 4eL߃Rd\={k ;N_DI{i.#uGhКW|Wl~TB-1+Q56H]H~k񁮳hzh_( Ln>5:#v IP %lٌצR2bz•XDe) R=0BRV7;J\ :P+2,V7yr2`q.p+ Ǩ>+(EHlωP%U7E) pӭ^RRW&`b/ s G|Hr*HA7@M|9摉rou VKWp5Gǻ\GwVK/? k,Rʴy>'U.dG.q=Ԃq_Mq ;P A!r(dgfX伦0<6v%یO z]i hsAI}HjֿʛpMƦlDEkV7ʿܰ1gF_aLI6d6Y; mxs2)+P|>ԩ%^i/i۳")MF5{u⳨|L1DE3n}Byx)m:޻iҥSwgCDn&~Sf0J-3zHeb= Xa\:j;pAXԟd H3WIj깠A1_M 6=m2MZu}˦υLcѽn_O# >`5a}$Ja&jS{ô ݧMXZ"ن;Y|NAމ|_S6OU&d!dfET,CF#z尞 c_KES2|bvaINٔ*{$z tF5(#ޗ ӞjqVH a>Ax_ǮX>2j&9Y3%zbuC -10jᥐnHe7/QI3%wՍ@:c6gBڃ8hC+jE-.c]L̋ ʴk\+d7sȜËJUF.ܢ iR:`E 7f+!vhB+7v^+͚g؂ySũōm&mrN,}j2Q]zXҵc/! ՝ME/½F+3:YkD -n8#!;QC|$Kq}S:-5-Uv*;d.&)Y}:9K7#w$ ZC7}z"sxt]"dI"x4 ԔjT/1ՎFsh#my軣kAdO?Ȏ{p/:_,dܜp㴯H 5v _6Ftl:q|^qE8R2iOq0Ex1W"UA/h(/| " DB8¨CIL\wlWoəןؖ `Q.[O#9ωPZ)ˬ,yĔj6i:@r8ZE֦x O:= f.vs,\fHlTU Eo F72۔K^TbZߐr{[XF5rdGn3vt] V3Ta<-[oEY)z$Շ;MT/'B \b\ؠlko+0Prsq0ܬ-H }c]_}PKyk ܦ [0Ey½ڧ/Y6zؗ* G9T]# U c 4W^÷'=*8qɬ I[6Qz78IoKr^m 1ό+N.No 5,U#1%9CIq튇3!&q~b m&xΠoLp̱6(%8־kU=+e2r. [U笟?V2I VsL ӛeǣgC|B\ǜ,&gYZfacd0adcee413f441ac452dc351362ede0f285971bc35d9f5c260a07418d50e521d7d63c2a5eee08 0ca8a659fe90365fa9158210a25d8fdd132727b4