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 d?   Program-Conflict-Analysis:threads=2elapsed=45.165cpu=87.484gc=3.156factor=1.947zXZִF! ]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUΆU%<z>n7UA͗*OMlJ,z +/zxSlmfCd*L~('񷩘W&zJ##c3+Web#0?`V=Lf1&=l*0V)={lZ(PUcw}RVp1Pn ix3CJR}-ƭv \,g\~ǾRGk9#8XmGjQ4hߥ|meUUiF*+,_ UR {BUybayyb=L󲙘"9Zt0;|w yrFT!ה-g=5-٭}DSEOB wFwvph4xfr ,L!A1|#hA"o(`a~j.Y^9]ތ+}"EM "/C"gz;,;#V%S/?8Q Rq5Ƈ لI (_/Vvujy6jAu6uwiiH/ )>fr3 4 Fk~Gem߀+q_1AUG2kߡƱ{DS݈ YkQE" /7(F<((5$J c sմms'|#szA"E7o2s>TJl'!B#b:',P@niQ{$p뻈77yÇ% mdECz";.pN~Kyim:"55YwcMlR* -}=:6N+OK_jB 5~ i#% (t<1,Nh( P 4}g,dS`chڀ3wyxX-+qSGe‰WhFF>Ug) 6K5-OoMPǚV?[Yh,^2sQuHFJ`]I˱ J鰉>@  %Bs?|a=2֝"S!v;V8ڇ:}ԼTt6h޼L/gaFKjNQ_EUЩ:3S rpW"-Zҕ6Hw;>BP)Y!~,~f-6vu̹˕էZ:Ny ۛbHMu;Nt27=p8h2$#CLspO6sX2L>\&.>:{,z.sn;:մJiϺz2D\ߌĎpy!|l({ IѺPa_HVO;|H;9P $IT$r *̨ A,տr(&fE*'Bz=Dxv߽[7'_>ތ]|(CͪhؘZ/ >ɪ"TJ {uD\BvJ&Ya׸S bO~';,5^OEWCnwI 2cMG*q 5*k`j^?m A fՀ-meɻ]7012XO(>+J¥l(7!FC$6 4u(4xx=Pj'$mIiCq_ǼL[E>[%\-UFVLrbkc||<|n aj]`aN@ALH.bT)gM2(:' )>< >bX (ʹU 0hĸu-Ʀy`gv`bs!ݪto>ÇGY:}vmpEDܟNz_rW$h)ƁɩBNspz:4<˾V^zW ˅%<Iff_}Yӱb3ʑ W?$o55 $Z.c1?ѭr>6,$TB|A7vNPs w.3Yć6JFZ4<ږ<< tCL +ZJ)h(L$YTDmOIKޏ۔Ye0!Q4/(RCG:{܉irʢߒH*7/--u[&cj*^C?dfKϑ5iY srœUDq`a+M[It;!zRh֯_#q)hd5(w7+ߞHSOI?),'8A$&FOP?״%P}Gw2t0IӉXv@Eg_{K6"*—>F:S& V%Ƨe #tjO|B|g8SOmPgHLvJo>7>Y) >фKi-{g#Z2 B h?ARFkS֍E1RBbafBtu`&~Xf #K)xPo̵|2dS"iG;o"(AR_ݹ  ? Program-Conflict-AnalysismƓnf"CqsPgmsm_ae(:G6rpd!B8gYZ7zXZִF! > ]ŗXi%g(dAܱFa9Ue^k:um#'(yT+E`b-ai(k:WB[ H@D"Y2Q>SMkԜ?b3  +aԼ5I$sv4OHO@;Pf^]`f߳<6m2lo͆ܰ[S䂓;;ڃ 㚗\R%-̬Nh~y8=p?5M2XafX1Mzj^Q2^r@T~C_¦b i~,1޺TO<.0P{W񷿪a]8N%BYCX? z-8;DA'"^(=0XǤ UYx *%Wzw/&%l WہDՐ6(&sg1/ Za·iȯgZH3b!n !8N>ץTra!@Sdh6+BQPq8v1"A#/[ggk\+Pp4wh>A'#Ř:4xRZ^p_ ?֋<K(w1TOUuE's@A%Is{CSջAm|ˡ=N@LI#[Ȇ:oɭ`*&DEυ@Vsϖ9(0g  e+~uA@37Ϟ' ZߐWj S*&ީn$:"1tMV5.67 >IdAF3cvBӣv#Ur8jdÕ2])LP_H2YuWQ&bT8SUufvx;qr}"ڦ&--6dQX 'N*qbmS6u?Omݚm=@h@󒝨@m?}[!@7-bNxM*K^Ixvz.__*Qs?Ӏ:?+J{*ry; HP |0soILBRyuEw&)!-&$Ϸe|RTBݽqMt&'e9%l˓F]1í+K ?6j w 3FYq=~z^ơ0cMT!FC=b"G} }zR*̹N83AcuAUVK0?3QT~Ͼy͟) %0?@ۘDڵS Q8s|n(Il)\KȈ:%ɒ7t׊=@b|P h-}x1emWE1}Ĺ[3B/HG`-j4?Tkyn4t*Od̉7I֙*w/vX[^V-WHwaVoJ^q 爫Mݪi ,5a0/dX}%'>B4J#)Xt0xpvtr6tnLD hnΑ/k=`>@><9A~TGA