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  > >7)DD ]/]Stone_Algebras:threads=2elapsed=68.208cpu=106.788gc=3.324factor=1.577zXZִF! A3]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTŭdڧ49RT5zr vM> ЁGsyxAHQ%||6AՕ˻ 6;* b^([4&hwl}3,xX!n6YZTdwr0AcD O6)G],9@G9di/q&h҉Pؑ 5LLfgi~mZP6WF/XG>?S&ij@I! .R|1)W Ãzf (­…bo9-k7[X<,u3B.`2ȶKsԂv>t"sb@{h3sٟ9\]+›"VTeu0&`rd G?u2v&DE6:Ĉ 3Nv9%W q#扫АSϾ$L՟?dyL]Л![M5y U.g{煹 S.P9 7Xt c!Vy>\9 Dp0XX60M:jH}Ʋ̢/8MLf~ԕC#{C~y@(kIT'F -8u73^^J[H'ވk֖TEy (z3y 2T*]Ti%04@iEAy%H \2hѥ#],m{vk{`Hߎ.KDv@rF M޽ςUѭJDn¥۽O.Nc#ΰXYuD<0 QD/"&$A-T(> DM1XD,1[B{eG"^&rHzZ6[ptxLHvmǒ/)O}P5[hOQF9ʽknڥ\\o7D2ND-A| SMH^!zH.`E}8 X{=\gUh&2(:1='r e?skQPohFun"p XӢh >-DM83KNjl&a4p[$9=[c:^Q Dq~?Sc&Y5KXE<:rxjPLZVV<۞)dҧSo^ djY*쮄RG^R{IESqz)OG^F@%-N5'G[)qUA#?0@kTuF`V]\]H[f& &wg#ܔ.G{_lׇ*%lޗښB}mTߺkg~XJwBɻdQ\Yt4&YOUǬo<8Q ǮyՄ@ U#Tff#< 7ᨣ Al'a=NrͿ /He+LVpA,h[:?y,&Xveۼ\X bsOc&`.e%S"e}nj'F2$yݢ1_1X韍U 3pw~#*!ct&6OeYUkPq8A/Ho`H"" 8Vlq' _Q:p%h~6s5`+,H65n3[1d'?B*!T Fm+=T!yR0xVqyO]{^\Cø<ש>䝨kb"/4xEq=yAPp v;w=s :y,YHzTuX,ֵpBriX`sħl>•hS/!z춏wŌ%~Pဉiy W8-8i}eeHea4[7AtFjG-\$N;fש(F&R=Z\aar:)^gp`o"|t;s3]CHx!ĞVL'* d^[]t=@^'m6btT S>N!j[Jn)Χ5Z/1F>FnXdM4 9ۼ7#;Zuu6YJ^$뛛z}U.4J<4yq| V Չ 'ƽ`ȏ`sR׿~ߣ#[ť1$4Ҍfu` SNv_n#0*.k=N AƬC!9% FΚCޣo$ϴf|"|x Ii¤}`ec抑O?t^̵D;Sd\Q "HjÚsD dM>5`L-W#{(wńF-M,^jV)⇌tMrقJҷG7q! v(d;3rD?Aj.0TOlCs?Dl ~|:{YI|N`RaN"A-Ī_]8頺]i6Mii2^,)Zݾx+AC>q__$k:nP,,6BvM XDa kB3k |3~`gΈ]@t)4s@Zb$NuWt$w_@י'CK.m9(UqTUdP$qCzu&Ѓ"Sy7j3O@dݕ^c7]!ٵ#ĭ T0; O n|G'kǀ(3 -SV;ՇoX"֔2%wF030Tʹ&$m-scVe&,CdDŽ7YͅѾۋdOOC©hU%[%qaxSï*\Bvw_\v=*6Xm-U HKfPhXZݷ$ YԊP-AnXH$>I^1G]:N&Wgֆ>} J9RLTtzplI8ZóD˿Ðra.AtE*;|<ٷ-G!'>1z6Gv3Ro|K6HW-XA7aË iuP) GGcƟR RRzNG"2+*7>t@iz(< .(9U+=Ω#ў0q_@".ڍ~Zbih7V3|W:SX&n;> blYfvFCv\ B>ɓߜB&H3s :$tp؋X6cs(p2g+!J-߽/̚|4+%p h)T'R"#LrƩ` T/XXކȓ"ggYZ5d953bc58271effbb9ea8a1255b064ea0638b59d1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e85c5d7a2d255d2e294023275bca32d56ab483b7e6