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 z5ld ;]Amortized_Complexity:threads=2elapsed=90.936cpu=157.340gc=6.628factor=1.737zXZִF! lp]ŗXf1-/6vR[2F*DlIWu,|".Vbȟ_BKx0@{1*zǨ8`UݨKظ[`xfHȡ8nRj+ƘD`]rVAiyIw 2:,$gvg.D  S?@eWSn:^WZs<v^p 򌸾j(|Bd69v$tn>a&FFk1 `E-G)=nkыrq0Def6!\zipEeG Y 4G\S 5 Amortized_Complexityb|ÏG0Cd,Efh_bu 7X G]BӞzŻpFEDXcNn) V܂Ma[y+.W50(s'n@Oc.^>yhǣ9%?&0\*dK1_&=m_oD^Vīc|8KXi^qTT=ӑy-YY)]:%z6(gÕ:*jq`piʿoepvU )!i$=92k?%60c8A}2!>r߫dvhլ` ;89x<Kj[kP`m/2[~eQ5OU sGrni]<IOix! ``^0x\7z""r̪~}@LΕ=,(CNQ1wW2)LiЭ (y/IhȳwCo8y``b qnGo[Oy[P1{~b>4`o4ȈCjΙ];qMPf+Q-w 6yJK4xRKݖN#0kPԡfNd-ы2 IEv-fG [-.#ĸ;A Ъeaޤx_bSۧ^4PF̛-i NJ9k'XC\ YL-GNgJ>j٤b2. C&0t2m|U^jjJNr-}k6?E2CZ| `*"_N昦&s,oZZ۸Ȳ(QM /zBɇ;#SsO2$Jzlܘ;b~d[6,?;)]{/ϑ߹Bņ=E-+SRFdVg\&f9{mu4{/r /ut$]wPa$OnH5R0bG_"XӒTg9O!:pN@=RD3x3 gC@oxgAB+yZ+ [QѰLU9#:3K :\KvBc CLHrB+5yyYb! xj:J̛iߥ Pǻ"+pUXCgJ|l:o)e68Rί@r-d=daǔmpqzinfD,vG&a J5PYʗlP*o}x`fF7ޟ*:ŷ 7uΙ:6E3}K:EO_q/pm9/[\3 \>G 㽫*ȴj(>HDft2}Ge slgZÉ64D ؘvB\ [DDM. Efhˀ ^׽̨5W-2m[zд<81N'FWuoLc(4n-}TXNLf4@ ^V Ċ0X?Ll@Zϖ 73ۆ8Mm˸#gYZ7zXZִF! ᫞*]ŗXi%3djjRZCy ۡV~[v([zd hLcUsޓrmqM0(O^懫}޿s~t:-W*z>+.wЩR\l2lop,v!XŅ ='0DXsQ H.sHPl V(oPk RLufl|6FWF0%f_l.-똛R;lf}9i w?w%gjZuۯƍYt8"ZޟO.V+hC`S(WPѼeZmTaܖZnÊY9'J#gL肵VGgO-lDqͰ2 ZhӧNY3+b8”A=v0=kr4n -I# ]$$`53oBtGۈFζ͌ߓ(3S#M7s̊]@{{\}+;:}]U']2Ol>ԍZQ|\E6s?HA8u@F7nq/-~M ]dęGtq vI;lܲ!8A2žj\ vQPczbmLF*9;o({aƹz,R3km,ćTe㕊pI/3.I|:8u i0۔HW|Gh-/:+r;*Uf3I%:r42S ge'YKGGc*;TѧyG( cJӗ?3uLmD7  ~'xXs2%f0;cl?-uz3J ^5հw/ދ)2z3:vKł |E g، bT nݬłY#!ѰHbϯ||w8YKr-]YC/A2QPi;ۄ@NF|j#18֨ѥ@*x]Po9HZw lV~c![QX.;yڧqL_Oģ|Ҭ6Hk~誳o2GHج}8E1c#w/Ы T`,Tyuzzʯ}3,)ۭt-`*z?7GT)odcln=1/}|dGo HoBnۏwܩ wL3:1&LWK̩x'h~֒VH;=̈́Dѹ[)ߢ?r,@|1WА=Bp LŘzv텛^~oc.V?^oi>x@oC&hpj Ǐcaߚ7ぁ\ { sӞ2 ep$Uzs3YybPM5bB`!WԬ׎>HVґcLݫGDpJ q˙H괬cTu{EطO)MLbn>AQ Ll҈_(ߵgrcD*ZWL6<3pNC3ibe`5]ȡU8I8/ާqL؀Ӟ}mM砋R13G. Q: I:\\[*H"I+j)P%ICs A^WP" niُ60|M|ҦxB臥x@9 ZBHrrՙB[wZ+pËZNoKG]@"VPt4,˴vor:]ha:.Rxg#H ;C#jؔ%_RFYb-e\ iW0߿6ass2)@u{-!-4c=ܠ搰N8N(mn-K!b -!ZpBMB4aE̤kctWFR$߯!el`9:Ʃ 8!]T/p֬/~7dqj1ޣEs]V++X%diJ91F,%@$uV ǔT>Vʖwߎ'Qv!b dFq3u7$M,ek9_@^#$ H,}jJsXr8hzxfXJ#$u.yyIQWV-q}(?ipgX3[\!_Q"}*Z?j\ $*"]t#W]_p(&Р28?8SF~hL><]T~תI`?ڧ* ?(ڳܱ+U@$Qa5MB6elښd;.4J!4=} QF%nOaR: cqK8Y'} 5Shh0fI%mjU?$(u底ގ 񺹴e`\+mmt_Iw ;@ c]رXvOKUJEs׎*Iã8[hGZluAA)_2֦PjV.<`boLeYݭm#9~]Ÿ58휙?yx䎪bruнk`^ϣoRRpрU+ wf|2+|[v +ʸŶGcYuMBG 0_>QaeN}EƵTnk\ՅGѠ IGv"$Q:9vs+f|>l8=Q`JB@M>xUJRn T{zpQ.,"{2d?Cf9];G lP[,w}]~ƿ!Y kГPv08ybK0ai^Q!z@oK}!A5jyen}Y  1*]|4ϡ&H24Y[hXLNuڶЍ5D`!`Ak&.y<iUr "Sfs\}DX`fx\n; #1uXIMX~>ippD؏eOCj/Y{fK+f%CVkRܒ ,#"zKW9*Jl4xeuCm#*bN