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 44#D< / Statecharts:threads=2elapsed=89.324cpu=123.000gc=2.948factor=1.387zXZִF! :E]ŗXf1-/6vR[]f])_١Kh-UWvh )u{~Go3WpUa}] ~Nx;t"c99'?0z?)t6d' "U N$9Mǂ{Ԫe]Ms3NbazPmҨZG\( 'Ÿ~J3`ENsRFu#oHV?,g=Ƥ4]ՍYXk m bw;n{o$CB;vZdYLG|v֟%#0wif>u`>hL\^O_EdYNS'>PbٲXjpMn2VB5?Go` PsZ]8V3K4GظUȑ9:it\Z"&,<@MR~H"MouJVYA8d9ޓӾe W,]/JxrUI x!*# E\n2ϑU]V}`[K/K` X I/ƛs% tIƐD0!%҃b # Statecharts{RϦ!VUA4yw<&}gY-/7~?EgB`m}6иco!BY6$?`WN5w'8R\[=1s1Ů4ǿe? ;Mfi9[u͞Z$ s^_-kB\B _7v4BdeZf'G9$,:+Y@kμwdFlFNl ؕD\ߛ6JV']t|-^w~!ρPiv˴@zn4mbA P0&68OhHM_[Bp"e5wE;y:K70]ԾrmH1B78[L5 VNO@¾{ 31a 0_wK@Y\%U==/h? 4onup TX`6S;MJu.l> &bVL)dLhY '`$YeE={DצhS XbgI'c|V굙{T ,̱rnQ0oAqc2VmOKd'Ū!x^̀ W)?Ġg$eP69AȆ .r+ b[Ev9Sn}./&LgO%k䠂#0jfǙde u:ynNTp̧`.:xj3h|0-骢V-a0HIOqVKy{9^W$"0M3-3m,/~ EDU3Y8_orُ@W;}P izY98J8:ƭG{w x/𱫽IS`49ZSB,'Z { bX8p/5֝P (NI^bR`"zEF-jkWJ#= z#,߄o8)tu.4I ͍վcx&W.0hП2tcZ7;ZSo /n-7=:m W%Wl`ӦFͤRx>Z_s6%2+7wWؐiK)"Ԛ6Lܶ~+tQWNE'mIGؒ_ CO>qH7ܨBt|X]<^0آYsw7D)}Ya}xvHwUn \J:b[Y&s;PqBd/u"Τ*]WUd7C (36HM ydmCR?GT\23lKEU}6Ҵ+:)C-^LHEO R[2z]V﨑Rvyr|`x'*ZSvdw/2[jzO9m^#szfr@ x'X7JN j O4PնtE[ZW&YC5 v4TH$Q9sUAiP^>CWf|nXN*C1ˀW95pp3 ц):X £+m$0hHbpKjg_1$k\j|[x1!!wܹ@cW<ĐqN;‡[UA>O: P'Ut&BHU/bmJmQ ҫZ[=A#)Bx 3:e=Nvo~'(pH{AԟQUɖ!(%h|kxow%嬰\D0# (OXmfK >m+keA9b`{OKH%HJǁp-^!ngF2Uޛee @.Ig+69) M"ʡV/H| "*|.lj39g}Qk[)mlRdɄK$؞뻹L@ $GDA ZstZc K~Xs=.L_*_5eUiK ?-9bvl|W5"\zwfdCB@`P4cE~v9U8ʓu*SOܱG Sa i><8p7?3>m&JV -bu}&3>Az<3k-Qeگ/g%"RRyp[@|/>I1ʎR§@vP.E ׀_'zkDyf,tNJ/ aŨh}pBrxza Z|n;UΔ;=?T_E]b L3 ы/ +LLܮ;xK2K" yzy\կnNnl3&-(m\-x<$I|qY$Ct VeF[*S o*E Z:^L \`WQeGHQ?C5vI~"v&!JP?(X "&VHC7buPovIďH񍇫Yfx׿A ݪm]i0V45g0<| Gnh^܅ jr8Gӿd;nmȞcg~hS;,n#1sMlS@~KI=UB'-Yte6zQkZBwiui7dJAoZTd<. )ɌߊL9PWZ&i7:9yx%yLL7*nMk*1zH[>ZFXW#ٓp< Cvr -QvΠM(H?(QzN8VҪD۩~uЊk:XOUMs+3gYZ7zXZִF! W]ŗXi%8Lu^ p"H K ~?Kư@(t:%!dL 7WuùG!RR[G2Y|L̤|/9U5 x'&=;4Zp4(]q] Q_fCIqptvHٍ%+pJd~(DTޞ),jT)[e6wI`ț>| p|2 DDsyb.v,>Viul=P%cqFl$^@p.oO$LǷ?cB(!JwKIF;:ϒ}=K'u"A9xcP7q{9~IAiS_u,l)5Ck,z.U=lFݔO[ aR\M@?2a o #b# EV}6sHÒC#dڪ+Eѫ EzK \t>e5%濏CfJ,ICy覵ߕ^jΊpeE/ݢڡ6_e^zI.Jжܤd ufE<)ШH]^̹ %2ddKr丕mMe4׷ ]&C;+NWs4C!zNJ\ClQjC/cʘV c޿AmNF"]cO/ G``J+k~19&q?jjJ!w7捐(=֋ANs̼F#%h' QvRݨb\ vr9opRdc{Uq a+Itц3:ifAUxB7uZv [)^I  a?@4S^+!fUwΞVfC~ҹ[)y1\9OwmU0 %|339AܖXs]Ϊ [c) pK ~O[Ȅsgs[\ ~]UJx5OJ=^oQ )`I )l;\+ʏ"Z @R[UZ ;$* ? _S}L+[h5(D+)tENH%MPMj/8 RaA?#/:'7r,X%\Q@Ԧ *}/%e\kJ"{vOj9FoSVDhyPK)Vku0Nx#K5F9OIR;kuЏ ⯴&8v-Rto] ΋!3{UyD9\SHf~c'{ctZ$;ٶ?lx MY VkŔǜ LS[*6r"P$ehEM_9#b6M&kt@װ@Ozϛ1^D ^8TlԽh&ӠgV2 j<|7mJ`#{Y1=3{rc}](27*޻AܧuBcY&.{`| x6ad‘3jh V%]{" @)?3riͪ|_# Zb>nKp%육 șLvF7fB<.ɳJTj\!Q`]Bνi}LYE՘<]O8Ӧʎ/̡޷wÌu2LrֹeagMQB:npR\ lIV=> vMza nk.βLtCK[.͒Okvb"i:v ; ]e#W+LH\;TTF7QJAAp.YLJ-cb{a^!ɄlAl|*V :=@ 4ڌqê`dӕzsL! YlcPHj֬)?:4'EEj0WgG]\~*BY %XARĮS QF1Nؓ[T`}u,1(5յ@f<]N(ݤH͇𹇄fep~D|Db40R=%:Elۤ^q~?KC|ss:Z-2 ۯkDvwI)PE"/~ۮ7":`x&Osa]r\AfbYV&ĎW݃䓘wrdbE6%p0%ۊ۪F;#@Qc͹l{mOofӦ)R/tso&a/Q4Bdq'O Ϸ +~J^-'S$a}ԡaڎć*lլj |1YϐR3n4{^Rt&n֥A°H$Q'OuWuX(0zu\O}?׼-%<{0 `) NpuCWU< ]z۸YNlBt.<ߘH 9ULsp!rm%icAQ%yJhEu%ֵ`@`@3}[\ڔ|="6 · řʗn,f U:Vkb~3B?iR ?I8m[ Jd%0)Eܭ4szH'0Ts܊%Q$ϑFYм,}q !G_Y_=wKWp W;ۘҒ4K"{U(WOXͼvg^GM {;p4SqpWf:$%X J ]˔9\vɂ@fW||e-j'rJ%EɫJÒ)C]PhjӶ=2#LiZ7MBCQ5+ܿ]%. '>U`̈@z-՟d)xqL7nM\qH;[r\p,?AQ [n壢ÇD rE3F ^tW`eַ5|=ٲog}]Ĩ-m{d)‚ m0w=qƚ2mNg?7#SkB!A@J0vڇfl'yrFȵg=`c&`q ȰxsēWNDuEeBzdǵ YHPhc @O~sӁzj | :$^(8mL 9)nchU)Kv_BgtdDMŹ> cFuߦ&ywE׌N+0nR[\ra,gC8 6CC@E79ctqP/>dǨ:&?EmC