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 $$Y $4 S Show:threads=2elapsed=13.103cpu=24.720gc=1.320factor=1.897zXZִF! L]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFFRe ,.߸m 3~7`0Ҝ$Ao͛v=YMˍ4 %J"xrrg(I((]O1 .J>kIu v2(r:6A|o7S 3# yENOќh$y]rz YO= xq LB+U"QC0DϫD,/kdkB1]B `3cϡ7!`B^-Px.NI4Iulp[?0ľ;)|Ln 8_Kxڍ5fY#u`'SV8|~11K>a'Hx Demn▬?yF89ٲ wu*j^ A+O\dm*[HqaN?>Mw>_8jFc̒+.R/O4zbjtd(!QҨgYZ7zXZִF! HT]ŗXi%6ҽ2ܟ{] ØC7*M'^J ؙ@qyꦡ E*[N S@U90,}&ĥb8\ 9KdӷeQrCdh̡"qãud'Ia9BZQx44mйŬ"S?Lr/93N,AAs Rt,6Cg_1!`Lf>ᬓU$-o")<:mrW_w oB0CU҂焦͎FZ ]’@}մrXK`|[ajX qv=ٻ\9^9n0e9va|$q>܈΁ GĉC)&Mx ѯT?7 }Z]e'⇎pi1Up4]7 IpQfI1i%Nb_?duާÔTCw2b׮s [LV_RO0{ᙣI 2 /Fnb ~z@Sku˄ѹ'!o=v5 C5ύP..̱߉s ng!œ}*2^Us=;dB&7ө3AY꺛!0D#}gF;D=xC/}"SO^=i)f'WxGKz9᳝=qۭ% 3|njQ*vxAfiLxxq;}\ 5VZf'w⦵HGڪ♰uύ+Oց24oD"WߐR\J!6x*(+2Dqc5z%FoRm&0fn߲d'"!~ϕA}w6"ztW6{M%VMbY>LHRB߀b C܋eP bBpe/1Ӯ׼ݰ;ݞPC}T/SY(?[קS9 _6QrpK;cFbElye. ?-aWI7-HrkʑkgYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fcb9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 f0510f2c76a5403ce56881da7392413a0e09c10e 028569f86088129afd1aadac2908f4b8f9a2bd90  Show