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 FG | 5/ Possibilistic_Noninterference:threads=2elapsed=41.807cpu=67.968gc=2.584factor=1.637zXZִF! &*{]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(y/i jn8#ٿ>5 :]b]HY?z\u-T}@MUyCӌ|: m&/wzuyvqYJueEЭ1\㬜0FsZn~T*#+UU ԃW'.׮~1w*Xp99D˙aٹyh4cC=KA`yjVtxbyCZLe(ojuـ;Y 8.p  G Possibilistic_Noninterferenceu' u(L(U߂ytD۝l6$j۪TȈb< caiIh:bK1r$1 t:PL"NFߨi9zT΅J)ҡwmS\| 3u%ncX";/'?l?% K .zXAdG34m\¯vW^Kck:dIZ@y~(ձ&f,4XyZ;ܠH4O򣣉r^*S\:MԱɷZZl?%J> _4c~ GSvȕц{S { ŭy|9=za3~z 䩗iƟr /}N؜&״o%Y-ݐnHJ.هsH{9G[)=7^2*G%$"™Iav܀UN5uP:~SXjȬ|bn}l0V3,CLgYZ7zXZִF! ]ŗXi%6j󰞍{[=ID\.)v՟ sV?l=1~/-vDҐreKhF^d( Cfփ++QEiCX4H_LUf6Ryh0Ja_i[% ֔;`uMAD ; D-VE/`` 2(&PXUN bݯ =ݩ:M坅24,DSYՆsJ*(fS/]X+/w~yr^rzƶ$@5 C}3j ,4s}0t IIϳB*8CeF10tCѻ̒- *l>RĹ7:j^?+m@'$سegtI3u³<X+S^pH0(7p@K9Θg|"5V~b`{&ISX\ /sh TwasXPBDX3yՠ|.'>q;<>H $:R16 ʣUʼ; ZC8F#>|}/urif_u h7YK`R?Vvܐ %@:˫`%F~:o+BBFH?- Fsf. Y,'H}YY`O+]M\Q?xǨa|4X 7u`\[T'/1sÖ-)k9U@V'\gQU:@cɼ!ZyOt o" L{ȶȘc|A|@%29#.aKڜy6tBS_"/&ԯIdjIv0`^(Hi<.L9u_:Ln(gfXͺ>c*eALQՏ`bMw0ioNdbf V:60o I7lTY{sٽIs;q~evGpdinNK5_C7ns1hyu 2KŌ vΠ(6YuUxq`>RGF$Q DT.*C~7ǫ(