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 ;# \  Integration:threads=2elapsed=11.508cpu=22.392gc=0.796factor=1.957zXZִF! 5" n1X9OÉ{臌p~Zq eCP99'raԢ)Š3#y0y~Ճ9AR:b`"%?xR㆗ERM$O(yNL#FxnZs ;;T?u/ɣ"8ז/qYq<ջA5:ׇ/-YLk*Б`B 2Tt~1q14[ O߶z @wNYV]pޥ Dl&H~BDb+sbוoZ2GkTS^.{9yU<э w\ 4ʓ}If,=ZR>Gd|&'Bbu8@/ުpZt[eR\$nϣl"Pe8˗p7IL7bmg͏jv^qؠeK5l y({Nu(ͣ*_nUĊAoИ 1} ޟ~!KXc8'XP-Vc u' ^> C0iPXM(LOnoY=[W.PYSRj(Bݲ}{ۧY~![sBp|]B^{  H{dZTͥ@i<;|?)va {h%3;hÖ4Ԡ{Zґ҈j֮U,:Q0mTN\wTKKI&U,ӴNW>|=qv({R{q{q515kX?vn~W(ײ=O\opvrv ?(Zu+] xdCgYZ7zXZִF! A%]ŗXi%n8**T`ɃdWnnʩ#Kyӯa}@eT y^ ~2T t`ѸJZ=!o(d9&b*{|\X[-b"/8|#?3A:i i*2BQ?kB(i4vPmn rm -c/3)_}&;,jg.H Jtkkf:^e{aK_ k0 06̒sCA-گ393lDACkMNxI}K#V #]~M3Z){(?fHG2JdAcoME^r{-pQ h:C r8$Aa i`%%gm\~㮿s_S0RzS26 "V[==,IBvأ1oKd!k'pFL?'l8Hfc|”woT14,Oa@ A(K|Iv; w7C`0l2Kj8.IH#i?tD,.?BIf]RjnLyAEPœAP_(vѼgH  ~%_SnB1 wŞǶ= 8"˸aF@v +@TVRdžb5Ƭ ^ʯ=-6"E1_\6G׶sc, 7 c#v a^bH$>5 8(O|0I@4Y6EMpl. UEp6RIAJȢBGiJv%H|iv"?@E@dPG \Ù(=AQ%1)I ?@vɝ&cw9 f*;-c,|ŧf;*2p!肦 &,?fs}}H~x+>kߐ s(r'B.:'YYX'+<$Czm΃_kEgYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e71008c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da # Integration