SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  '4l ] HOL-MicroJava:threads=6elapsed=57.326cpu=250.604gc=9.336factor=4.377zXZִF! R]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sduʰ!Kݏ#ܲ>%LRƨ(X .Vdy=Tg |tȾ%FOrƨTv{i?l Yܵ*(*FwvFq#:<!m6SR#xZ*ZCљoULֿ8 .B7F>^2-o]ulJQP67gQm3OLX a -ws_ps4KR1,TNWG1Fd/#*C#/dby<ّG6Uk[]4,LXL0"-3`*vmdާNΠT\y" IyD$IeS::m_]|]V_;w>-4qT+nc(gK$IPoE0-$G @⇑w ]伤t]C5|Yp‡{:` jmuEZCm(huŀr e* g^-j9ɶ6)ּ4{2g#"&Վ8{4툃-@1a9l{J,#~>Brϸn~MmmQPaF9X;j5HLoDsG i VcΧzJx}VYNjWGj1 H _}mP6qz3gWbcӁ>PL{P ӡA8{#ؙTp?ݚ:) ?+._-8Y)0+Οj ]=ymяLPxF`*]-Ju㟼V${ܤ#40ѭI͸nĊIA@c+3UJAqY{d74/2ҷJ0^m k4 0'"◰ހuQP%Y%!v~$La)JG^X^Bg ILQo^1od` A 1>巔@po%P2ʱIiq" ƦiyEF$o3d s3Һ%Qz,YZ TTM=A8kRrEZ$&ZAv}<۞ZDWT< SqG& Mc tBGj8ר]KgE^Fj1ζv@ Mv)5af98gGHZOWd3.Aj6DbT;ׇP`*c2?-ٔ7%*Wc~推6LQ)i0n!sx-~f7{sR'5l?\Z\*=o!+(Z.ރ2Hgp ۮ#56:2dp:A8PwB\7tN,Px9WV<40:H`3 陷3jVՊ|#ЃZ2 fА1}:+C yxI1Hd(= H,P j÷Cמm^mk)I7txd s9kLl8b,¢g5u՝kO C/ǑfPr&Bijl orF'*&d"lL ,XԡRmicrUX](T%@ku8%s̟S^{ USD%=tq0C/:D#Km~zMþ`1C59d\NP43t숑uZnW',Tcvտj?S(Հ2h !`sct'^ Ψ}K*{>JXݺ)S;D3@whn NlTP Ϧ%&8d~,1qpO;NIE$$\]n/?(hDNmY&9?pxoHFF")P[^ C&ągpm??o{Oi6s|bzy I0Eao; /l6An=PІ^:^C K 4']CZRa_nPkvA<;_L W y:*hWv[K%Rq.˷V1 }љwúg<LB| }$_A]j|#0+ERVӻbOA?B W7dX\o)c1Ew&hU VH`Kq+ލ|{@3 @/&#;wEJ.'{5Z 4.'jۼ%Qyk(!#w^f1U ЧW-R0k#GuY8XS%(֭%껫F &P]@HVMgYZ7zXZִF!  ]ŗXiɟ1%c\aE>A}hN8%`qBkF BtHp>"l#XgtNG,s97CO7"ꏸyg.k\Gǀ^&8Lfv9Α'{C U_7tV^r1ydz>LDq p D{q9Sn[9 9FP +젃K19J d~o!2V˧hzBNލ*ltџ\krT~`L$ya5A䰞M留0ֶKg|ϗP g͝7,lX oˠП{\f_I(T[mHVWKR%l塐0!i8suSu"pUGvGG{RfSfPɇ1+1E5}Q :q{dh!Va{ӌMv@f6_e0*$9^gYZ7zXZִF! 0]ŗXi%;ycto;"ZyA-sUL.!? X׭Oa\Y4p7؏[">݁} pՉw`#QǦ%(qqzY-6Bۙyb?(|rGNr(Gbҳsz#Bܲ8x1n Hùa^X[a?>REn~ JZS) $,lSt 8w">Jįx6,og-ёvVp%R7,L1`n~YޏU/.ir@ )IM)4v-zTnmzŗr#ZF%?īk_pruK=GA.zթCL)!hZ$c F`n`m1tb|do d cs{GlC=tV63a`K'ԩn N7C ,V&N-A{K~U28E\= O%[/ ,皴#׍*U4b2 _1Ӳܲzn} ˻9'P.o>j %3f]'ģx`.N=Ms=KᲪ|zL{4 2@!l.i@?чn` )ӭsV{n1 1~ vМХ%!SF@=g x /8ωSyzKj#d|0hAvEB=MNYPH6,>g s3M*t7b.lp+zS,Pa!#յ_Tp'|X]l{[qz;}q%&=hPG4+ 4{uG>bdyobHVa ʩ;mSsVz-ftFhv {¬˰3+rzPIiKm\(cPqm`9±Mi%Z(Pd՗*STԡp(E'?+ l+WSLE09rgt" ySu\;v '֏* WD3 +n¼%pȲ|A05¡hf؇&Q=7ZI#jteZ>q Hq15AE.vyfdeh~{ݾv|R>1dBw3ꋟ=ɕ\NZ6<<}*ɇ%O :2x."?kLM :Zs׸+@DbQD*#Z[ Tx}*y Hac͹2)_v>^E|L1\G|趌??t߶Vszof f;oG|CFO6;MiT0"e;#u8D;Hq1q3@Jd>uY3)۹ޝ eˆh*߱~vŬM(*\JlV%0=$,/<fi].9$ *5n܅,eқe O8Stgab[՟dNJHO0Z"F_=b aOt7P\1= N  `.J<`3d\̣~ zj ">Сd u =yIuOV$3=<ޟU`sIS!^L&1Z!2q%j⢟"L/JV\x rfkͧ$#$`lͭ>w.9-oF+徚Fvh QZ'տ6Z8K(܉6vK`R0hW3,6Y*{ Q`xǩح[L2sPN?!Q_C; 4Hz-~rid?:M<@hVb:>5Gx8{ڴ'1hNMnKYMT\GM ep _*,\Lsh9`Ncd4"%[ &}m:I"Ʀf0p uvᜆQ)DgN$L|*1Jb,;1jϢ"b+'@R'  Arz^"SyܜDz$]-J/} ZΒIasp7"6h8?.V-"&l|Ut:׳A(g{+#: 6b:\LQ̲< ЩUDw\`y SxM#VNk%M= 8t}Rrx'9xbb2gC2p+vck On)ʡ5]/gApOdt&V87$+CUUmC۾M?HZ)W&9&=nt$D.v:`ET夈&hJ)$o-Y#v/ :B@(yzVuF-LUOv8jViG(۶yw>pؑLv0׋3)K!OZe|MF[Ow 0ׇ9Yș dpH͸ Z߶Ꮣې.[J OH.Ġ4vͩ2TtF:2uH ]82Ks!s]hB+t}.WX:ԨuH/^2FXC[Cz!`Tv67vkua8G ]5cwW_)&>8=bq0$OoJ'InSR*$u&XO"' Sv#lƜ}Jq4X ]]ù*&鮟촭+z<$J1i F^F0:AbxcC䥱E^n.ea_{>[.>7Z& }nwk?KNIF*=ӳ