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 7Ll| ] HOL-Datatype_Examples:threads=6elapsed=83.227cpu=298.620gc=28.112factor=3.597zXZִF! N]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwT׀1C0<5*uq)N78XJ < #t#^E`3K#l<cKVn8e_dH_F1Y{ٜuq(@Y1ܑͦ"2_H`ϱ 6(x/ׅRt5ïc YDb#|ҐАM,D{oYbLC?֨U!vQ=ifda <_+#(&7 *2b3X-" Oc<,ugr@1|d~%|znEwV_nr{o ۬r@#(]Vʏֆ<١:5 Ccҁ3tT G&%[يH*u^~_Y /j!!>?E:kq#M\)RXK̭='[Ŋ-hPxXg~gPrs5!.SŶy⑧]Af wʮ污='1|P)M77:_i#h"eVt5.Z2~oC?7*$(|> c;%5JքuK:&|OiŸc)\x\o 6)܍! J&'a_dd^ƻ\@jt{XD\>tුK|tA]{YZӶtqĥ~Om/.(ܺXFf\VB(D9:))6ʸ(һCB͉Bp=ŰXd$u$3-W?ȝ:Ձ>єx3Y?€'ʤCYj!ߜ5Z  K8`a;֣SWYASE Q~eקI֪znOLWx7&v]8NjLy٫]l_Ez$񛺜+I ~ve2AR=D22brzl71 Au,QΆ:cl5fv$f&uHz(@@"ws p)yi|&۳w:D̅JimŶ15lkK=tO9V4qނ3 xt7+$&2W7+cL\qTcSi4j죋NH~zǙE-['; IDzZg|au"tHWα%X2ep C8V*(PscYW83a w+ lgYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&X/o/c:aQ' %iVfrd)^5'WIE#AfLJ<?~ծ'j(*Ī}ƷryĖ$ Ssh.d4qszյ}YٷrB}rPa_B]OI.erJl kԺ HYMPOdž2q=)]i)ӳO6f )yԍNx92iIr}@P}*^U \$M4`Qu&2RPF1mI᳠i$;V ,u[ox#KeP?i ṉgYZ7zXZִF! zE]ŗXi%;IW0]t46R}۷9r}r5|)z_7HB“9@y>9.tg X2(.R)ɫOvS T]Pٞ, DeT΂RBf:!)w+2K~Mq_*.]oPM8H5@4'j|,{[Qgln H$]Rf:;'>~gnOdq$)WLaV)r]͠Ad|J} 8yr$.~ ȩ'iV-ۯb٘慍'~UsZ:h&8ǀ1t 4(cM-Aڌ0Uyk{x]ݢ,Xҙc0oh¢|͖ܝ/k>Np4ռ逸'^UdX~gN=M}}+DƂ0L:V:d-ԾHW'߲tVp]1= ۵χ+*]6!b &=:ff#:}[^/"fxv$eq5d{U!GNZ[V3ΔbÁUDE*&*-LbՋT=:ǁ3@yIH`#SX_b4(o)E3m7(l<'<=,GEh(97k5y0nPxP<2?ƘHxfM6HtJh;B|NJZN 1Lc+9Lˉ$Ir^@"I&P|,~IZnNAaө{[xN '*q# mRw|5M#M;5~eƎԍ1> CZ2.0ә t|y( p/4(g2m.PI4 ʉo֗ElKDZTm7JĂ8}"m\Yтdc e)I<-躿`^ S;ĎoT`<0 8Y<~βwѲ2>me>វ7ܴ4ޢ'+FJH?::d U5ƿ针 ⊞t}{[@ 5QLEo1\3Jd#Ij@3C`npi"OSfBC|C3Ċ~#%\,"qՖ7JӘON76,APL7Cӡr_;ģ U4wل l}? !2ƽ(9,-CX ˡ *[m#r\]M[vi5]"f? Gݤooxѵ][cmlRvYpaכۑ9q`LO,ҭ!o}L* [rVM{rr "qglXlSxXom&}բ9pKj1k9ˌ#v 1-|z~*r("=*eF-Sn{2~h+TF `䷒j+) knȓo kv}HՓ`zд=-1+0qFz;SmL#R1DhuS2^99Mnv'2V7(P!N9SFDni+;Z@g%l3Oة"3#L8}C7~.#yLwH6=,]7 8mC< b$p^|ZM 6I$r9YT4Dz w4.,ZV % )RH*!P ,*:Q-觰at9I@5v|}pX WS`akYR|;"KߢW\ |TُZZZp\ n2-J3Pdѭ4H;z&y}4AicoL^6)igYZe95342b21636488a40452617cb31db1249030c304842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb b24a626926d116f90b05bb3fec45e8af4a1681fd