SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ;#,4 _/ LocalLexing:threads=2elapsed=101.580cpu=149.696gc=4.468factor=1.477zXZ ִF ! ᰜ] ŗXf1-/6vRZBfߟsbq\Lʱ =#rB3P .Y:E#͓mjeLn)Jb#g Aw+ɳkoZ|{VNܤǛܾ<,mk&s膰SIkP WϬgA:Qt!þQ_q9BKwN-xLV}N\E9.4m6$`h)̣Ũ-*:?E*[|=*t] Lv1&٪`璘рcC_Yc3=ğ=U(}Ua@,7MXPJ8DRJ*?f`t|hxWfh|o3xlp4Q^Y.ƪ٣gJ-+#Z5救+v9'Sr 0A!H)UT&K _4ؗTkBϝqKc[&!T)Jȡ6R!\Eg8dhNd__ҒZ:¦5av0yF1O m2dX.x,ovT)I2UesO+c~!LћdbE5J8ŘMݏCBC0vnF@~?]4xXg0bfB+|2r%y{$?9po D į "a6?I*'h>~ԅ5=:HfNhxq^}'4)R;gn㿌d`XV. 8R;ܩVMCr[F "_X@2RCعw^LRNϰ~ºg|WyJl\O(zbo]0q`zf!Q;d.0EBy'n(d}aI *)IQ? Τ3x`qyQ꧵=6W"w&~v 2 +l^UXi 3G+]]v c1>ufՙltj,x4weIqΞMd+A3$)ܪ`&+d#T1vBlRd:l8A!bߎXpEp8g5verAFx)}O|.!jTo| s@uFıdıy!Ζrz2 *%ܚu-1qмye).oY4|SD]0=,d'8iJVq{"b9nc}a9Z7{N,Ea7U& It}<=9~bP [n]>J/2^k#.>lC&%OI]2^xHw@~@8,ST/ $Qӗ:ֵ(ǰ~Pwm5|]3&6?[:6`~@">*ޘ$fy˺:"6.F%6 ac86]297~7o24/uoUe8bGDr_ w9MIJpcEr}_ٷOq+̡RzL?[9"oé6 ^̪ˉz"[\˖kHISp mݭxLaZ"^;d1@20`@+vЊb`6IxQ,ZȾ[S2F &g;DvbsN:2d8ʼn$XCr1M63A3 Dkt-i+$KlweG .XНKtg+wY b&22>(k 0a$yK2VM/pK«i#+|z_Eor6rLW$.6D$i,TTe&P@'k |նkX^b@e?m'qAs,YKc2ݨ1Z*oQ`p&߹Zdךnk<kN6}R(]H]Ѭ V/%ۤz>2/Mt6=ijZ&8#D;] e!81 哱~4.amd-Dq뛗$P \ > N7ZASEaZ^W|.:jHRwmܺ5ecT1_eClV3h)_c,3ϝT&ʱW.G1a ЃOM/,|q+2c74w$>ӄ,a5 ];w]h+nH,tWܓ}ծ$ǎZ8Q`b\전'Os-xڣ։5,ӓUOꙧ'F[y/f% &IKw)DH48TUaZ1X+>`l1;l4 # LocalLexing h:2h*b-\Ȫ]CJ㓱qahdg5Sf?.־2?\2Ӂ/vwK2Xȹ+eF1@V<3|`b=A{c!:Ga`NL#eP䀶ZozUn6Տ>z{}i;AQp_ǘR_͞j3.VtDb/xXI%e%44`)! g<|bO6;))Nk9~)Nas'&PjvI,bgPZE$( zh1jw/F/t3.8YN,{f$?XZʨ CI+_#S.;a_XUxiܘ3KCt1mX/Dc>@Hu.#JJ) ([3
"
H)?f Xxdi[d3Ųt]Cv4>r6V4~ՋDpD+Q特T;hĈJ$Haw7(/i<1UOYrno6&y_"EJ8F_=*UdQ%"-xFc&b :vb,JbEnگHUi ILb:(,M