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 b# t< ]/ LocalLexing:threads=2elapsed=92.309cpu=143.196gc=5.632factor=1.557zXZִF! E;~]ŗXf1-/6vRZBf뱷O]XT=u\gՃ6y*"jEܝ=ҍ NUzɝ&mYŒ89.yGfyGtsQVֻ-}&8Mޱ4ǻMx}ki)Lq@T2׆?qEuae9ʱ[z#ga3pt'V8#KzS&=l[3 ʶ۱3΋ /x#VE-nP>1Ewxǒrv-^gUvz%2\* eVw^,fa5Y<‽DֹNET x3̎c=^8sa6) oCsd 5Aax32AZY!n kqkw)].,:}1@9N) R+}mYybILjn>~[ N7,N{&~Y RCWK,0CK# f11M>CT~әM?&-"<TilOϕN C:i:M]:-h}aot}(T3{gZ;T9-G @C/y5Ã?NcV~Λ[2{By 4´nS`Q&Q@UKӍgw/48Y1kA]]["yawnvɊ~iRg> oSu<{:>)i>ޒZ#(*_ln ~-'n]iփ.'3#˶_y,>΂kAxb\BUmhNrc\Fu*=,!VP¢N_REOzaػMYI-K0G317Wvw?)j% #>ZZBGb ɫSoq؟FO('l]b K$$_ NvgYZ7zXZִF! X]ŗXi%;:zs{S܆?Үt5 ٚS%`(nX/&k\cu*mq?מ/M0vdgHnk{*6ߙI&_A`6{m>TÔ(Ơ{!vP-;B:j)>9] qRKΜC&&cm9%BhŪƼTlb5,QPO]\Z7O,HCW1,OFƒ<%l^U4>km uvHY{|nW6٬yKYXj4i G_[R%u^ nI˹)xپS 䕭jhȑddz.>YWUHv/ B lbǒZG؉.?gpNj{3g"\ϑc9'_C0*6(/,b1tAl;VLWK/h;*K͏?kjl5R5]YH@ au^D50|C|: ܿ'SZ7V{Oά= gcL־6~z?*-TY>qZ&WbSǎh}L^J=[Z\UA=€>ʎ | rECMfHR,179ݧ  Ċd2X_ ~2 D}ʺe:oCxU} CG+X/m /lMq4O6ڹ =@] .7pEAPQuַ)!F]fT/t ̉|d\(u媽(:I' %r٤RTvdDz >Zr٬2u\haGjh~5u1enf=C@Q9ִ,g3Br3X؎fBDéx?zVe4x*~R5"UkxV3zxaЈ4;llƇqG "̔S) ՉS= )\u3"J_6ZM#r񅂢`+8i"c{0iIY- h{y%Kw,5cحwsqR1CSG/ؑ#7Kw3=D`ORTcz Ŝq>نUq oHX;GDP0]qݛNis.BE,.QS7iVW,)LC:*~YN?,ή3YnT 5kF U-+^pmjnj]ML58 pi$a41ޅ d3Z|1ΕVM@oic 6/3`(/p1^pm xm `X/ޥ_;} xwԁV+ Ct14[w'ͅ#Ϟd'@P\0b Laט;ķ+ \4Kb*)I_ncDbc=X3Q~1cEe9:'H#ZFOs+qΑn¤ͭd KF*+(YJ &^቎ld5ERMBN|j^m<f,֢FH%ޱA-qVJ֞ZJC50@£rz qVtc(D/wv6/ƄX}/A>|[/BPPA >h ;jUཛྷJ[wMDz%I㦋?&l R'|s'¾l;Z4w\amcźީ[hfI/攰P)BE? xV/~Zt7.')3HFαxN8 ε=~C_/Iٝ0xsXv i~wJwވ}~o6_&f,VZ-) r=0qt ך7i;][C>#UG p`pi]d&\9QKĻq ^ CS>hE@; e6i`}SwQZE0ƸB4Y̴!"H Б,WnހI5]5d쾄Rs޵*~ȋZ`I=WWTmЖ? 9+o>f8='.30)\oIbR4A;"\ƌ~{2wꎇ!I|GOehb AWޖ})Ţ7)=~-Q!Nذ:$:u :gv氫[d2 q|Sn Vamk[%d=]x01#݋naPS̱x K1+oe{pktB$-l5!8/% Urs6R0 ?k, |׻t~^o*3 e77]9 ]?rroDb !569wRo*Cȏ%pyk 4̔N>-mHOj::Pv=Qʓ]SslV^S cJKz]qq-eNpceUL*ql9e6h&̢n22!\ڢT= R)R"U>#[9f!戮@peVX'߱bk1# ;fF%xS#K`ĠPT75Lpu 4)cmуS^ 0 jv.RrK>fr|nyZmDt-`B&;uUpv]00:r.8i5 +)UŊ|hN$:Qo;ך,tADLU:I^q|LМ:f&4`>dl ֖Yv54e|Q\N'p%ZB 6{ >i b8%Bc%))\4P#u-,a}$Rv+y(BR*65Lyu9APfZ4')-^\^NB3 @7I syNk=©5֦;jbN08b㔹Le5ګ8| #O74b51y*҃{ M51id(K;~gYZ25e64f4b1f7292e25b64e472efba0f60953ff5c679d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d