SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info O# 'b] y ӺQNHc膅P W'1liBXvf4Pukg=^)EGAH3 .Kd쐦2JsCI2 ؝ 7ILa/4~@PnEg?rq?b;rW*ClID7V$٩=c*qi̙R[a$NR=LDjFvbeܸ#wLwZ=#(=ѣEvg$P],Gnlʜ/,=Q))a_oHI( 񅕷<X^z\i:Cq\G rb]5(nGtJI VIlU '@Od?Uqwpt.=1X$w֥)*CpZeo?3z&ҋL/ g$E 6N~kgJ{J$ /3,{1^f#<2#m0,E~>d|s@6QXڂ̣Z(~5HSNHOz{ky%!ŵ'򇻐uJνv2S@t^tޫ X gYZ7zXZִF! A]ŗXi%s x0(zSRT=Lpp3}i25*|Ljnc N7'Fܤ}ƮӃ9dLH \ߵ&h\Jzs] . ~&8 q 5-;XXF$1O E~ʁsב2k&H3q8ѽf8܇YIZi1V:W"!qێԞ]ӎa\oo| u]ps0_/dXQejzYM :ٳ0+1!ͱNtIWvM,FmuFĒ2g`s Ax̏n҄D($Sܫkv4*©};W^űHtb~\J7~hkwwTh}v4B0 3#;D/2TVn}E#o%VؠQ mA!%h\5_Зom Dt be\:}Ŝ:KJb{XLaaұ2#|{~TZEHEp#] hV':Ry|zq@U@c٢}쭂iL.?g)x(6!Ku j}1_aTr/y}dfK~bbһo DSK?6lH́T#Jp޴TXa9 .0#j) R eY7/fT3P2UJp0u:ʉ*ؾ5X`(ĐʃogYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e710089711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 # Integration