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 bY , S Noninterference_Concurrent_Composition:threads=2elapsed=9.384cpu=17.684gc=0.516factor=1.887zXZִF! ~]ŗXf1-/6vR[y(&j-:6Hu9MSՏ%~a֝UJ 0qJ-OB5 %s ?X Xv\?7&hv!ֈTEZ_%U$1qKYrNJ䳙>~lM ;qAkr%P͌.BE:pXzi2f#ؼ9Mj'Z쭃̢34mDJ|RL*!-az(eʚ, ׫-:1H c{.d|aDF`N2::Qq4!Gch!'Rף`镭nz q".7ɸ&G{):5l4ll#6z'hNQUjn9!5T$OORE=+ta.8PYrpqގZY+ Og:"׳xJΟ%URg9K+V33kH ؗG`QcRWf0ZϢ*-^ym(EɭySO^2ExRtS=Kğ(ݭu .Nߥr#$'+?\9p:5IY֭Al[.a FW Ꜩ_5 *GIy5,nCoG= #q8HT{DE'}$?uDGo} :uj_͐g4U0m>-<8^ RRTV{/%ܲ 9Ao{4[Q8J"1{XOy26ٍ?b c`wj;nc~#9U1$Dn(R4mdpYkq1̌'(}ӵ)ﵗsTxoXƌm.ǀ}5(ԫ]Y1?r}}Оȫ13/"ՏפT}NԂs527r~M_OX#.͟M0رNB؉gԞSNB=cQI|RWH)jΨQofغ g:zcր <*]uu|K !͕D08w_@ɖ<4]Ճ*,>wQ+[dZc? Ow )mN7&{.xz:#py[ Fz%ܢl'OX5U]5`>oV(JXKd`]#/WZZЃx=YnV,P/h>N/'T%XC`,Sn$600b J.7iS謜HXOnHC_sQU8SSl%8T6 -t\׶%Nsֶbp9'ΈŘ ר"q#J580Rk} 8OOp2 Җ{ PWރmx<۰?* vSܞD=r^ 91&82ufa GR=昚Jv6QͲK嚄qE-3a{G\^s`x]pxQAjrr )}b~D6k1^pG uWӃM CI*V/]/yNkGYMIH'e,DxJ~+oP/ft.nD`q8zgYZ7zXZִF! 8:]ŗXi%n8D{O_Q0 fz7.z% NM>F ky>x欳Ef{*{tZsNcL5BhṀӜ&1?:wA< 5TOc#KfK^uP4lI }aZU3rQ'w;Y^5_!Yߔ Ө) gZ,TU7z̝+tdywP-VGYDTx/G_4˛p)q1ÅĐ ඥ|K;|*|`5ȵW^oOwpfq~6VVU8]&WE^Jq:#Qmv+DDZҥ%2Yvc |hH}q4}%oz܎gvjH8W.6IPp'|!CK٢mm