SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c ,4 ;/ ZF-UNITY:threads=2elapsed=17.644cpu=31.412gc=1.120factor=1.787zXZִF! t ]ŗXf1-W_X vL7Blv!~͈)lHM}?Ԗ3`BYxد L:[w%Ai@V`h:Yt&.jO8a [>B -٭epm.\ihlxacmQb85>^_8+Bt&x~<ҡ֍Yx{_鬼<:HQb/-OtdV8SC@^ !&qYb|y$!le| OYK *2fb{o})ע|')NsUgئvi?)ߩ¯Q_`ngô..GfgSV/R8Ӑyx01Qcܿ8"`*9`.Wr(87"$]Fa7gnZ c"Ϛ]T\=.-]UY>n87i\ocdy.%\շN`〼?G|B;1G,R?7h4&\ɨE R)jf vo΅B{G7<sc}\%=v9%Q:ŇȢ׾"ϖV=*Sl|~V5jP 34*Sh.=XE})6D䍔v36iۜY\qUI]{j Rž8^J uf!@aznMae'y8i:_ij9S#+ /+oHkl&}T}6W^6Yr<^ Fl>^mIe2]Z棠Sب,?FWI lۀ֊\CpU?,Uv<ͭ;}oe9+#SSX [0 a'-t?> +NqM n'5ͰO$Bd/%'@bGM0(~J"5W aQy-9!N-ȸ~n\}8iu`¶ +by~,J4< ՊxJdPQ8FNKTDXn-1 >I|Ea3Sbb_t}cq6NB.GC糛49#iQ?Sy hKQ,$eU~ewq6LkY;`}[X}EOiy},/L,-68BमܧǾyBoko{C].8p?oNps]'~`<(]t%/BeQPlI !|sj}ϲ*O.)To*\E=;u/9 U(Y c dw@~YoӿH_*\p#gFxV_˰uD=IWnX\FPC=mUJ1?Qt!m`ĺ*4gG|lfT`bVJdXI)tG-{b8k7HD'WoAU)$+E7Le|k,`ZR lpk 0<pR/73HiYJ`;(;||ϓ>?EfFYmd|JUAtë"xXӍ}x|$H_!ϻٛ,{f1hXA%Nw%ErpNC#[Rfi-``K}7ӞP` tĶ~*js dXiu5G:րDx#s4um <¢96}d$˾zG3wWWat6',%ܒf48,zX6'NbHbp#'80D5ܯ%x]'c>j]A`<{yr>_)oyr (@Gwm|o lWD;i8x[pXFSA5zBl$͛yyȅ,k|Y~22oMeZ[وGAgWVSpW}$NTwbVfr ȍDgf7}Pd/ Z e-RY:; e c֎nS,J((ՒV~8d?$Pdp$7БNAOE\՝%e ;gkWMXZR9Owרm(S%Ka>yegYZ7zXZִF! RQR]ŗXi%B$@9` p1/P!w)wh7*n2!#nAWM~2r Pp #µ X- j%8:4k 7w`W5TY,uF"geko=`ƀN_-z/Xâ)Np]u q$s[f=eY=Ji\Pfw5J"P|wn`ɛQE> Ij ~NLj #\ 4w@W_Ԏ t>~$̦6< eLT{=J.(fzW/6v!"/Cu8*; -]}a[/ĎDHX2b3eR'|D(mNUZ 8Lz>6!a* .OeӽၮCd @W sm)=Y'!) XQ{GQSpO%bQ ؠ]esRs6 ⓝ Hk0k1㫊 oOMprXNA6`3DDzPh{]hN#, *8|޲ D ~Xa#,5Pp g{2-+3w05f2_nt`ToT܃ݘF6d}DA,"Qn$UdZ"߽{50qO쯔FpqTa2('uΘiq¬UL`4+8Z/Jh+S~#Jž OQ? +j*LX ,:א{G'"D:UL rn5SH GOh7l;m =TV ҤagYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 1de571610dd535d91aec3c0e4179958f706b06fe 25d36e152c256908a18b0792a5344e6043680b74 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 3d042c01ebe40811fee37ac47fce7b6ea9e031be 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 7413162bf661a814e55d4e68819c87b062565a18 772a7387aa921ff40b9a641b7f16b54d1c199351 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26 c4ac8dc1d359c2084e08495882ea5245994e4e5f dd3a99112e079d3315463008fca03d05dfacc330 f7cae63b875419e8da6966a7daf6021aa71911ab8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 7f8b9608355870d405660de565874803ecfed86c