SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info GG' t,  Myhill-Nerode:threads=2elapsed=34.937cpu=56.648gc=2.404factor=1.627zXZִF! ~ r]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*bG 'a>fC (X1k5WzB ψoPI TWS'9t M fHxK: bQWql$wʗ%Kt% |ox:PokjQȆERH͛z- JCk¬@z\!bfrYneMOrrx8QK#ey| h>庽M.ĊMCkj[pK֐#b+e_1ބni-XZ-7B*/SKbӃ 0A3?7ЙdI/d<,gF{>SS_j;xR';AKNoIϣWBeHHȿlːWʩ5y|wᾥvhPm[$bMLco6\WZzNsLtCQ@lXqMbLg(E[҈?Yֿ]f qpD[ ]}o44 >H+Cjo?A8!>j./@87Y[FzȖqnܢ F'\G%,f0 H#:"qf[ iA D:ٻcPl{2AbNg(uz"aMb'<[*Jڇ[H4߲ϼ.^ڔm[4:r֘s @_E$ul'5[@Qr ' Myhill-Nerodek7xT9m$菉Bfn(,VVuIYNDr?ū|;۳*KrF)Vm(ܹ,L5&(]%L7VA7ŌIm1deXlԩUIY\7/:s=FPcjU 1-4L?tPrѮ)BQ(DZ3f8GFzէUEu3Z K7mH-+"ze+- 9BRB繨`jADKK0pv@B'%kYCw?0E bQ11XUUkF%03G3d"9;Vn‹E B7.-< XWmMWI>\7_텹UPD>Oھ> OizXsm"F>EmɳS]ٝyÕb=#AͰMAzW+e<#T}qCsUaC P!>vec3/umn\t\mXV9ka;T.٘xB=X8㤖]xXVD:O>Y)j1FV\2p~{ G49E#T)D,)Vb! V{_wD;k_䵊2tX[45y`r]h ;D}ntgvN0D I6 ' t:&Rz$eml1=di5GxvfcMyݭOЏ @`Aui^11q▹y+bˬsFQb*)8/ҟqIH :2RɌ~.N8=פ\(wS,֋>ݝ97>;0zE^x{bOH|Y1,Lq$rb&!ş߈CˎL$T {3@_Bom 6 h";}mF;2~#Z.Ei\zZVpepͻ6CQ1d9x|RPL3VxDTwRIi@H!G+msUn|F-^7Gq<4pr@z/1GFFf\ID:kP+'mU1b)u:;N ޺^94c52g0tSgd%ۚOPJ"UŽYMMk67i, 6NU@UꮅF,W[3.o>aK~N2G.e``)-?L5{g1wSk)8L'EEGYa"&ʟc*9\, ؟QDC5fxD,jt=җ&)9nEVlj6 Q!s泞z.ˏ@LTTg#`Dgg^"1`qa", -þ1r/T66S:xxoW ɣMւ̢Y? M% *-<dQkEyN:vG;.IC@*:ͫ`a,e{DwД_Fcc1iتҦ *%+IbfKT [0 3zTtggYZ7zXZִF! p]ŗXi% ~3D,amTOTplRɩ Bp> aDwʃ]^G|unuaӣPXajv 'Ly[8V.Zt[09#1Dȼ {dfEjev7V|`rr^53m]XW7wV$GՔ5"Kd,]¿|նUHnϥio&Qg*7+lA9O|ڔ=qKZQ,>՜8mِ%fŦ' l~'3/a`˘j3%=Jwzy5a o pYi`$/ǃ.z$g9ۥPK;H+>}^{ -)p,cn7J=/b0u hm:Dݘ[*㦐2.J=.kJEL. $nߺE݋+ Ip/bV! 3uD(|3Y/uғג+9&}P&CʫgXFNum@[3)v@|l x]*H5 Mx.խNd 8hCj6zv"PS3;*k,$II[TKw`YIˍ#а;dw]JL>@ pƈA+f54U0 `z @L-1 J:(/̈́=Xd^yK+I 2ް_a':LJcu!߭\4<_"SGi5h−ZTwKaU1O7'u433ƯU=.K.d@K咬!&f9iĴILǢKiv,"z?͂-S*O5E}hR)yc|:4\7?mp]xEʐ?xR9$ԉ5)TS[1٤6whIFaz;#mhBy~Dk$!/L-! 4;P4 + @f8O/] '{sg0f_p ,Wjd:Kk³5%^h9x^ĂR[T{Yu0Ai  >éJebMYop!W&N,VNRUʬLɝ^˒ =yrX~/vN&I 2;@@ ;%OF.} a%KfW/{)źEj z-?1*ɞm`nL^BCuOL9+"=PGG~n2~I d9ow]oEP8 R1b-b, ΄yh׵G|F6 WHI=9(L+A#2 f?)cǯz7 T%Q5g(IcCǽSgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 1d6dc1579605996cd7794b7159da262073c570cd 2232b04a67667704ae029600345555d924889ea2 2bc8cc6e9be5cf95945e579ba08ea994323a0ec4 3032be206441c7a0278a78e61d3c80965912ef97 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 489cc83115622e6abec1120f6a9cb06376b51e20 52b0aace9d7980c050fa4e0a384a785c607e5f31 5554507406f2219d3e72529ae9e58f6caa1f2e86 71a02cf1a88b6183f35a2a220c2b22294341faf7 74a314581c98361286a17f50616f0524af2b7c10 7bde2941709b90ac9aa476f401da3017d4a53594 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a1430c36debb751f52100e7681c0c22e8d86dd30 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b9f45f1359f659122b1c5dc28e3affcd3f2783da bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 d0ec1450cfb711e77e017a32b4233b76b39def0f daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97 e48d98122032c816a7fd9319f8832fd816eea811 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 fac8ec90e4f007b9008fdb809babfbfb06349f8d70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91