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   g) ld !S Sort_Encodings:threads=2elapsed=48.009cpu=93.660gc=8.336factor=1.957zXZִF! J]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 6ZJ"K!1ݸ:9EAk; Bںrp)O>}&!~҇9 Y Z7+}(B⤥/˚ER^j#Ze__< s F坂JN!#>s]r/4~͞xO6i#b 0UDkqԮW"Szz<:?oTҭRAEO :8 ɱXUFw\ov#S{k5K`M)c`49 o }gQe/yZ=+n@DӋU~"!x&ȖxΡ!!Vo>aɔ8C%i8Q1˾V}v,Q"8>LEEXG_1;lQ0Y c`~E1î>UB%%hK̍rM".kx^.-ZKYk9*> `N⼥zu %OY}޳/h/^Vjhr'|YdM٫ȷ5΍ oKa/)ًED OB|B[UgQT͐0ga,bx֭kz\=i}훳Iر6`&-A>"Mإ+O&CzA0aAhW ׄ}&\%_o5{\>l\zNS4ywe ΋zq%=GwժJ̊0Z<ݧp;0g77 ׾d2TxoYלcDHp]cj Jh#{kW_m.|: Ң6ȱt\QO3\D/kyIТj!sJq̹V:q_ҿN>ԥVtRgW&,b2$u2WORa1AY J*4JZ@+V-r:sYaveWJ:|h3`EĩIj-p>u#PʎֶEԜ]1= ~^A+ Ȑ\O%wn=uS; j:^m/'8@)9<^s tVے.W<+kSWûiZ&gZ0݆b2~kJ]&cH+ mzQ U6GKnC*C B!O&wdYťo5@Ͼ*Z˰5'Ջ1;4*+b6%s~U6<'ƊqC޴Ί8`l)&v;F=a!H^Rl y~j 8P5o apǵ̡Ɇ tفag7rVa0KJCG KVB,K(2<5:;x['wx=%wb"/ Utl9}W1B2{0ZAn|͋wƎ C_vO3٤KIj\sf&UBD ) Sort_Encodings9<+7['? [uϿs f6Cy1߀dzA̖t"+Z` z0i"Nn Q&ٍG P&oi&rāFK޹dnGh}z|Qx\P бom^gYZ7zXZִF! i]ŗXi%3g;m.mlw/iEcn _؁^ݪәgQYVI<4yb~'nZdbV)J~o$8_%XKEj їjjb.O'A6O0ayh4{һOwVz Hwh37okA)A-޻[(q5UXfi%?ICp^Ŧ9Oو<:3ǻq;'kFWr@'ӝRixh<!YCjfHQᄑWМRsG=B\!Tnw(p$zafa K؉5sRsPXBYva]iQɣ ?\aB\"88Tgۍ=hɘ!y/_Eck#B3DF}֚,O6@=̈́j-Z^}\ H2 ']QMnC9\ʪsNoSbbI^ZfXGz=|8CB[a4^αbqg^!KtSɍdת\J1?|׵ٴs\++ +l8-8 ;eȉ;m3=5QUPH 9橐=SmtZM[zb=+nU /咀0{-QȐJZ<[ʬ2!Y,8Hgy+w`03G;ծLmSZ6;Klz~f8g^t9_I!r /C%beY{XW D?pWn6nJ;1@j$券yHa7#]^0 (A!5ws*c>D_ONXhTz&鳵⪣hG~/~ ŠH0ޟWA9X ebEIP=kKU=wIF.^qqmwJb mt|hF IzKbg>+$ qZ1448L-T0k[ K{9IAm,Y.3X&57#puuw#a:J4!W!Go/ PT(IE< lYFUvY_Կ1VHdjb9]M lҶbU2iRc(UKLQ08=1,٬}lIUfsK-I?] Ւ{|\8A`e43!MiR^?hNGGÚpwdKe+"~lx81]$'ũ/6Rd XǸ3tcC:`v4mUҔƼSdk#a{0=9gzm$ t?ݾ$#9OY^aNA|m7Sܸ=8r=Sj<*=i.x q&T8N5Bݹㄲ׌w6@=vB"!Y!=]fW%x,t[,#@tneKG&|}Џ iyd2ڡ%F.y-- !Toe)S:V.l]}GUdN'r4ǔ!P)eKA&[Ij[xVwn:H7?t+)<xJĝů2JȂߗ¦U9Q}"^t{R)&cS QclܖMQYR//lX=w6?)8&̢[.KGfPMzZH! =uWB4{>7+40 262k#0"y1*իaHuՠ_MRndv$zBrOy,s DH-'/&޿FXc|C9w"Z;10҇邋}cK7+{?;ZrO"BC$Ekp[T恲X3*&V]JkgE尿GO